summaryrefslogtreecommitdiff
path: root/Test/dafny0/CoPrefix.dfy
diff options
context:
space:
mode:
authorGravatar wuestholz <unknown>2013-06-12 16:40:09 -0700
committerGravatar wuestholz <unknown>2013-06-12 16:40:09 -0700
commit0a3b095205a91b480a0b89c404981c498f088747 (patch)
treece66532fb0a12562335c7d108d205c83f0575242 /Test/dafny0/CoPrefix.dfy
parentd6a7fa533bc0587ae87aedee3ef636e163938480 (diff)
DafnyExtension: Added a menu item to toggle verification result caching.
Diffstat (limited to 'Test/dafny0/CoPrefix.dfy')
0 files changed, 0 insertions, 0 deletions