index
:
debian-dafny
master
Debian packaging for Dafny
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
Test
/
triggers
Mode
Name
Size
-rw-r--r--
function-applications-are-triggers.dfy
569
log
plain
-rw-r--r--
function-applications-are-triggers.dfy.expect
61
log
plain
-rw-r--r--
large-quantifiers-dont-break-dafny.dfy
2059
log
plain
-rw-r--r--
large-quantifiers-dont-break-dafny.dfy.expect
62
log
plain
-rw-r--r--
loop-detection-is-not-too-strict.dfy
891
log
plain
-rw-r--r--
loop-detection-is-not-too-strict.dfy.expect
242
log
plain
-rw-r--r--
nested-quantifiers-all-get-triggers.dfy
359
log
plain
-rw-r--r--
nested-quantifiers-all-get-triggers.dfy.expect
61
log
plain
-rw-r--r--
some-terms-do-not-look-like-the-triggers-they-match.dfy
794
log
plain
-rw-r--r--
some-terms-do-not-look-like-the-triggers-they-match.dfy.expect
742
log
plain
-rw-r--r--
splitting-triggers-recovers-expressivity.dfy
1763
log
plain
-rw-r--r--
splitting-triggers-recovers-expressivity.dfy.expect
612
log
plain
-rw-r--r--
splitting-triggers-yields-better-precondition-related-errors.dfy
490
log
plain
-rw-r--r--
splitting-triggers-yields-better-precondition-related-errors.dfy.expect
2159
log
plain
-rw-r--r--
triggers-prevent-some-inlining.dfy
1064
log
plain
-rw-r--r--
triggers-prevent-some-inlining.dfy.expect
61
log
plain