diff options
author | Yen-Sheng Ho <ysho@berkeley.edu> | 2017-02-28 18:05:58 -0800 |
---|---|---|
committer | Yen-Sheng Ho <ysho@berkeley.edu> | 2017-02-28 18:05:58 -0800 |
commit | 902a78eeb883cb97131e03cc31cf0892787e806e (patch) | |
tree | 6a3a83a72d13c1afbfe9a6da4415ac34dd6bab4b /lib | |
parent | d95d51c474fdd5d882b34c8bcbcd27173ba8431c (diff) | |
download | abc-902a78eeb883cb97131e03cc31cf0892787e806e.tar.gz abc-902a78eeb883cb97131e03cc31cf0892787e806e.tar.bz2 abc-902a78eeb883cb97131e03cc31cf0892787e806e.zip |
added an option -r to %pdra: proof-based refinement only
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions