diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-01-25 05:59:56 +0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-01-25 05:59:56 +0700 |
| commit | aa9c87cf8d9d3e729ef5ab263c34d531a8f73d07 (patch) | |
| tree | 6eeb0d01ac0b6c3fe4abe1b9433dca3c11c8da25 /src/python/getch.py | |
| parent | 4bd54729d799513d8c21333446706d387aac7192 (diff) | |
| download | abc-aa9c87cf8d9d3e729ef5ab263c34d531a8f73d07.tar.gz abc-aa9c87cf8d9d3e729ef5ab263c34d531a8f73d07.tar.bz2 abc-aa9c87cf8d9d3e729ef5ab263c34d531a8f73d07.zip | |
Extending verification status file format to allow for SAT status without CEX.
Diffstat (limited to 'src/python/getch.py')
0 files changed, 0 insertions, 0 deletions