diff options
| author |   Petteri Aimonen <jpa@git.mail.kapsi.fi> | 2014-09-06 19:01:11 +0300 |
|---|---|---|
| committer | Petteri Aimonen <jpa@git.mail.kapsi.fi> | 2014-09-11 19:22:57 +0300 |
| commit | 0dce9ef635f8af1b9aa07a43f610295bca8954da (patch) | |
| tree | bb2227e0af820d692ccb5092115f8b64a6d71fbc /.gitignore | |
| parent | 8189d538dd80a89bc6fa1672336b99c9c5cd076b (diff) | |
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.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions