summaryrefslogtreecommitdiffstats
path: root/src/proof
diff options
context:
space:
mode:
authorYen-Sheng Ho <ysho@berkeley.edu>2017-03-09 21:43:18 -0800
committerYen-Sheng Ho <ysho@berkeley.edu>2017-03-09 21:43:18 -0800
commit70511b001c8868e4c694ed1ac2f3051ffbe2b91a (patch)
tree40f19159a3c5473ca625b0604fd050cfdda15303 /src/proof
parent566beb9c92deebc82996f5f46f831a747fe7fd4d (diff)
downloadabc-70511b001c8868e4c694ed1ac2f3051ffbe2b91a.tar.gz
abc-70511b001c8868e4c694ed1ac2f3051ffbe2b91a.tar.bz2
abc-70511b001c8868e4c694ed1ac2f3051ffbe2b91a.zip
%pdra: added an option -i for weaker proof-based refinement
Diffstat (limited to 'src/proof')
0 files changed, 0 insertions, 0 deletions