summaryrefslogtreecommitdiff
path: root/Test/dafny0/Predicates.dfy.expect
diff options
context:
space:
mode:
authorGravatar Benjamin Barenblat <bbaren@mit.edu>2015-08-30 16:36:59 -0400
committerGravatar Benjamin Barenblat <bbaren@mit.edu>2015-08-30 16:36:59 -0400
commit0277507a0999bd7502da067dc698340a1efe457b (patch)
treec3a071237dc2a04d9f448ebc82c2b05443d87c02 /Test/dafny0/Predicates.dfy.expect
parent486539b9683b9dc6d34bdaf8971d7fa01f03fc47 (diff)
Add gbp.conf
Diffstat (limited to 'Test/dafny0/Predicates.dfy.expect')
0 files changed, 0 insertions, 0 deletions