diff options
| author | Adrian Kummerlaender | 2016-04-02 21:44:22 +0200 |
|---|---|---|
| committer | Adrian Kummerlaender | 2016-04-02 21:44:22 +0200 |
| commit | 59bfdf3b83119c9e5e29f94362307b7e8a3df43a (patch) | |
| tree | 2e5545be0c9eb1c683f28d8ed520baee9a91c11a /src/random.cc | |
| parent | 78b045924a0b589f599546de7d96b7154f76983e (diff) | |
| download | justify-59bfdf3b83119c9e5e29f94362307b7e8a3df43a.tar justify-59bfdf3b83119c9e5e29f94362307b7e8a3df43a.tar.gz justify-59bfdf3b83119c9e5e29f94362307b7e8a3df43a.tar.bz2 justify-59bfdf3b83119c9e5e29f94362307b7e8a3df43a.tar.lz justify-59bfdf3b83119c9e5e29f94362307b7e8a3df43a.tar.xz justify-59bfdf3b83119c9e5e29f94362307b7e8a3df43a.tar.zst justify-59bfdf3b83119c9e5e29f94362307b7e8a3df43a.zip | |
Add post condition verification and some documentation
Diffstat (limited to 'src/random.cc')
0 files changed, 0 insertions, 0 deletions