Update tests/mbt/driver/generate_more_traces.sh

Co-authored-by: Simon Noetzlin <[email protected]>
cosmos · Dec 15, 2023 · 2a1db2b · 2a1db2b
1 parent d01e561
commit 2a1db2b
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/tests/mbt/driver/generate_more_traces.sh b/tests/mbt/driver/generate_more_traces.sh
@@ -1,3 +1,5 @@
+#!/bin/bash
+
 echo "Generating bounded drift traces with timeouts"
 go run ./... -modelPath=../model/ccv_boundeddrift.qnt -step stepBoundedDrift  -invariant CanTimeoutConsumer -traceFolder traces/bound_timeout -numTraces 20 -numSteps 200 -numSamples 200
 echo "Generating long bounded drift traces without invariants"