diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-01-23 12:41:55 -0800 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-01-23 12:41:55 -0800 |
commit | c39fd3741a777034a2cbef247a1097222ac789b6 (patch) | |
tree | 193ba416d463f0bb6dfa2e4de6a84bd0425d3e72 /.gitattributes | |
parent | 14457af21aeb475b6d3c42ab1926d41ef00d3887 (diff) | |
download | abc-c39fd3741a777034a2cbef247a1097222ac789b6.tar.gz abc-c39fd3741a777034a2cbef247a1097222ac789b6.tar.bz2 abc-c39fd3741a777034a2cbef247a1097222ac789b6.zip |
Added returning counter-example after BMC, which was recently added to 'dprove'.
Diffstat (limited to '.gitattributes')
0 files changed, 0 insertions, 0 deletions