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

Mode	Name	Size
-rw-r--r--	function-applications-are-triggers.dfy	583	log plain
-rw-r--r--	function-applications-are-triggers.dfy.expect	756	log plain
-rw-r--r--	large-quantifiers-dont-break-dafny.dfy	2074	log plain
-rw-r--r--	large-quantifiers-dont-break-dafny.dfy.expect	627	log plain
-rw-r--r--	loop-detection-is-not-too-strict.dfy	906	log plain
-rw-r--r--	loop-detection-is-not-too-strict.dfy.expect	431	log plain
-rw-r--r--	loop-detection-messages--unit-tests.dfy	1254	log plain
-rw-r--r--	loop-detection-messages--unit-tests.dfy.expect	2700	log plain
-rw-r--r--	nested-quantifiers-all-get-triggers.dfy	374	log plain
-rw-r--r--	nested-quantifiers-all-get-triggers.dfy.expect	225	log plain
-rw-r--r--	set-construction-is-a-good-trigger.dfy	657	log plain
-rw-r--r--	set-construction-is-a-good-trigger.dfy.expect	304	log plain
-rw-r--r--	some-terms-do-not-look-like-the-triggers-they-match.dfy	809	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	1778	log plain
-rw-r--r--	splitting-triggers-recovers-expressivity.dfy.expect	2232	log plain
-rw-r--r--	splitting-triggers-yields-better-precondition-related-errors.dfy	505	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	1079	log plain
-rw-r--r--	triggers-prevent-some-inlining.dfy.expect	557	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
-rw-r--r--	wf-checks-use-the-original-quantifier.dfy	1309	log plain
-rw-r--r--	wf-checks-use-the-original-quantifier.dfy.expect	945	log plain