From 244ca04d6c0b2929d4eca05187587ab30331de56 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Sat, 27 Jun 2015 22:11:56 +0000 Subject: [PATCH] prism-auto: display diff command when export test fails. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@10107 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/etc/scripts/prism-auto | 2 ++ 1 file changed, 2 insertions(+) diff --git a/prism/etc/scripts/prism-auto b/prism/etc/scripts/prism-auto index 0fc5dc1c..5c3e96ee 100755 --- a/prism/etc/scripts/prism-auto +++ b/prism/etc/scripts/prism-auto @@ -361,6 +361,8 @@ def verifyAndCleanupExports(outFiles, exportPrefix): os.remove(expFile) else: print "FAIL (" + os.path.basename(expFile) + " does not match)" + print "To see difference, run:" + print "diff " + outFile + " " + expFile result = False else: print "FAIL (no " + os.path.basename(expFile) + " to compare to)"