diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-05-20 22:50:21 +0900 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-05-20 22:50:21 +0900 |
commit | 0e5b950ec64466049c2a3e7510706b5c0bbe30d6 (patch) | |
tree | 129ad5b192b55766d49f829d7564c67ee8902832 /src/map | |
parent | f30160f4be31006c768e2fca9935fb0bfb41ebf3 (diff) | |
download | abc-0e5b950ec64466049c2a3e7510706b5c0bbe30d6.tar.gz abc-0e5b950ec64466049c2a3e7510706b5c0bbe30d6.tar.bz2 abc-0e5b950ec64466049c2a3e7510706b5c0bbe30d6.zip |
Adding comment to usage message in 'pdr' regarding invariant dumped when init-state is not all-0.
Diffstat (limited to 'src/map')
0 files changed, 0 insertions, 0 deletions