From 751e95fa42bdb16a1d70eb6aebb30b9b766bfc08 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Tue, 17 Jan 2017 17:28:14 +0000 Subject: [PATCH] Small fix in prism-auto: make sure directory is passed to bench to benchmark function in "build" mode, in particular so that log names are created consisently. (Reported by Steffen Marcker). git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@11964 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/etc/scripts/prism-auto | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/prism/etc/scripts/prism-auto b/prism/etc/scripts/prism-auto index 18e99869..1c094998 100755 --- a/prism/etc/scripts/prism-auto +++ b/prism/etc/scripts/prism-auto @@ -582,7 +582,7 @@ def benchmarkModelFile(modelFile, modelArgs=[], dir=""): for args in argLists: # Build mode: just build if options.build: - benchmark(modelFile, modelArgs + args) + benchmark(modelFile, modelArgs + args, dir) # Otherwise, find properties else: # Find and benchmark properties