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
9 years ago · 751e95fa42
1 changed files with 1 additions and 1 deletions
--- 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