From 72cc16143634a28e17292c13c03ad6f478f84c98 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Tue, 7 Jul 2015 16:58:22 +0000
Subject: [PATCH] prism-auto: Also skip the export tests when the file is
 missing. [from Joachim Klein]

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@10221 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/etc/scripts/prism-auto | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/prism/etc/scripts/prism-auto b/prism/etc/scripts/prism-auto
index 4df5c4f5..23dde36f 100755
--- a/prism/etc/scripts/prism-auto
+++ b/prism/etc/scripts/prism-auto
@@ -368,8 +368,11 @@ def verifyAndCleanupExports(outFiles, exportPrefix):
                 print "diff " + outFile + " " + expFile
                 result = False
         else:
-            print "FAIL (no " + os.path.basename(expFile) + " to compare to)"
-            result = False
+            if options.noExportTests:
+                print "SKIPPED"
+            else:
+                print "FAIL (no " + os.path.basename(expFile) + " to compare to)"
+                result = False
     return result
 
 # Run a benchmark, specified by a list of command-line args,