Commit Graph

2 Commits

Author SHA1 Message Date
Petteri Aimonen
83157e3362 Backport mem_release testcase from 0.3.1.
Also backports cdbf51 generator bugfix.
2014-12-26 23:59:56 +02:00
Petteri Aimonen
9c92410e2a Add a better fuzz test.
Attempts to verify all the properties defined in the security model,
while also being portable and able to run on many platforms.
2014-09-11 18:25:23 +03:00