From d08a8d4c3346bbed36bae4559caf0b69f5a33029 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Wed, 12 Apr 2017 23:06:18 +0000 Subject: [PATCH] prism-auto fix: when checking output files in test mode, fail immediately when the first one is different. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@11983 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/etc/scripts/prism-auto | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/prism/etc/scripts/prism-auto b/prism/etc/scripts/prism-auto index 1c094998..dfa54134 100755 --- a/prism/etc/scripts/prism-auto +++ b/prism/etc/scripts/prism-auto @@ -470,7 +470,9 @@ def verifyAndCleanupExports(outFiles, exportPrefix): else: msg = msg + "FAIL (no " + os.path.basename(expFile) + " to compare to)" result = False - printTestResult(msg) + printTestResult(msg) + if not result: + return result return result # Run a benchmark, specified by a list of command-line args,