Skip to content

Commit 46db2df

Browse files
committed
README: run test1.c with --exit-on-error
1 parent 47302a5 commit 46db2df

File tree

1 file changed

+3
-1
lines changed

1 file changed

+3
-1
lines changed

README.md

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -163,7 +163,9 @@ int main( ) {
163163
}
164164
```
165165
166-
Running `scripts/symbiotic test1.c` should produce an output similar to the following:
166+
Running `scripts/symbiotic --exit-on-error test1.c` should produce an output similar to the following.
167+
The `--exit-on-error` option ensures that we stop after the first error is found, otherwise the computation
168+
would run for much longer.
167169
168170
```
169171
7.0.0-dev-llvm-9.0.1-symbiotic:5a52b0ca-dg:e89761ff-sbt-slicer:fff6245c-sbt-instrumentation:2f9be629-klee:e643b135

0 commit comments

Comments
 (0)