summaryrefslogtreecommitdiff
path: root/Test/wishlist
ModeNameSize
-rw-r--r--calc.dfy398logplain
-rw-r--r--calc.dfy.expect488logplain
-rw-r--r--exists-b-exists-not-b.dfy389logplain
-rw-r--r--exists-b-exists-not-b.dfy.expect253logplain
d---------granted139logplain
-rw-r--r--naked-function-in-recursive-setting.dfy277logplain
-rw-r--r--naked-function-in-recursive-setting.dfy.expect345logplain
-rw-r--r--sequences-literals.dfy2732logplain
-rw-r--r--sequences-literals.dfy.expect573logplain
-rw-r--r--sequences-s0-in-s.dfy792logplain
-rw-r--r--sequences-s0-in-s.dfy.expect177logplain
-rw-r--r--strings.dfy174logplain
-rw-r--r--strings.dfy.expect143logplain
-rw-r--r--tooltips-on-inductive-lemmas.dfy368logplain
-rw-r--r--tooltips-on-inductive-lemmas.dfy.expect345logplain
-rw-r--r--we-should-always-print-tooltips.dfy204logplain
-rw-r--r--we-should-always-print-tooltips.dfy.expect61logplain