triggers « Test - debian-dafny - Debian packaging for Dafny

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	241	log plain
-rw-r--r--	loop-detection-messages--unit-tests.dfy	1239	log plain
-rw-r--r--	loop-detection-messages--unit-tests.dfy.expect	987	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	741	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
-rw-r--r--	useless-triggers-are-removed.dfy	930	log plain
-rw-r--r--	useless-triggers-are-removed.dfy.expect	817	log plain