projects
/
model-checker-benchmarks.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
fix commit that mistakenly happened
[model-checker-benchmarks.git]
/
bench.sh
diff --git
a/bench.sh
b/bench.sh
index cbe29bc5bce8f82fd9cf6c310bb0225c0a9e1ba3..7c9eec856f0b3158cc5997422ba9c7d56479aa98 100755
(executable)
--- a/
bench.sh
+++ b/
bench.sh
@@
-3,9
+3,6
@@
# A (work-in-progress) test script for running our benchmarks
# Runs all tests, with timing information
-## Unfinished benchmarks - do not use
-# queue williams-queue
-
DATECMD="date +%Y-%m-%d-%R"
DATE="`${DATECMD}`"