diff options
Diffstat (limited to 'test')
| -rwxr-xr-x | test/test-abstraction-ssp.sh | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/test/test-abstraction-ssp.sh b/test/test-abstraction-ssp.sh index bb44d1c..3b2217b 100755 --- a/test/test-abstraction-ssp.sh +++ b/test/test-abstraction-ssp.sh @@ -104,10 +104,10 @@ fi echo "Generating current .ssp files..." rm -rf "$TMP_DIR" mkdir -p "$TMP_DIR" -# --abstraction is what puts this run in parallel: --show-abstraction on its -# own does not appear in spine's parallelise() list, so it runs serially and -# the parallel-vs-serial comparison below would compare a serial run with -# itself. Do not drop it. +# this run has to be the parallel one: the serial run below is what it is +# compared against, and two serial runs compare nothing. --show-abstraction +# now parallelises on its own, and --abstraction is kept as well so that the +# test does not go quietly serial if that ever changes. $SPINE_BIN --abstraction --show-abstraction --skip-output --output="$SCRIPT_DIR/current" "$SAMPLES_DIR"/* 2>&1 | tail -1 # flatten find "$SCRIPT_DIR/current" -name "*.ssp" ! -path "$TMP_DIR/*" -exec mv {} "$TMP_DIR/" \; |