diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-11-15 16:00:29 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-11-15 16:00:29 -0800 |
| commit | a0052e22b43ff9d0125ca8e71f96589226e44e42 (patch) | |
| tree | 01edb8daa0a79a466e34e55585a0d1102db6b977 /src/python/abc.sh | |
| parent | c2e467d55b188cb1fa5db534a23a4dd6e8291078 (diff) | |
| download | abc-a0052e22b43ff9d0125ca8e71f96589226e44e42.tar.gz abc-a0052e22b43ff9d0125ca8e71f96589226e44e42.tar.bz2 abc-a0052e22b43ff9d0125ca8e71f96589226e44e42.zip | |
Added switch 'cexcut -m' to generate bad states for all frames after G.
Diffstat (limited to 'src/python/abc.sh')
0 files changed, 0 insertions, 0 deletions