diff options
| author |  Dan Liew <daniel.liew@imperial.ac.uk> | 2014-05-27 20:53:49 +0100 |
|---|---|---|
| committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2014-05-27 20:53:49 +0100 |
| commit | 02aca9ffab2d5a63e89f83d5eadb7133132c3b0a (patch) | |
| tree | 673526b54101f72b42813d6f05edaba15f82b727 /Test/test7/MultipleErrors.bpl | |
| parent | 75416c24e78d9992c10fbb86ba458e813acf943d (diff) | |
Fix lit test suite when running Boogie under a path that contains
spaces.
Diffstat (limited to 'Test/test7/MultipleErrors.bpl')
| -rw-r--r-- | Test/test7/MultipleErrors.bpl | 20 |
1 files changed, 10 insertions, 10 deletions
diff --git a/Test/test7/MultipleErrors.bpl b/Test/test7/MultipleErrors.bpl index ac1f7e54..6f5944fc 100644 --- a/Test/test7/MultipleErrors.bpl +++ b/Test/test7/MultipleErrors.bpl @@ -1,13 +1,13 @@ -// RUN: %boogie -vc:block -errorLimit:1 -errorTrace:1 -logPrefix:-1block %s > %t1
-// RUN: %diff %s.e1.block.expect %t1
-// RUN: %boogie -vc:local -errorLimit:1 -errorTrace:1 -logPrefix:-1local %s > %t2
-// RUN: %diff %s.e1.local.expect %t2
-// RUN: %boogie -vc:dag -errorLimit:1 -errorTrace:1 -logPrefix:-1dag %s > %t3
-// RUN: %diff %s.e1.dag.expect %t3
-// RUN: %boogie -vc:local -errorLimit:10 -errorTrace:1 -logPrefix:-10local %s > %t4
-// RUN: %diff %s.e10.local.expect %t4
-// RUN: %boogie -vc:dag -errorLimit:10 -errorTrace:1 -logPrefix:-10dag %s > %t5
-// RUN: %diff %s.e10.dag.expect %t5
+// RUN: %boogie -vc:block -errorLimit:1 -errorTrace:1 -logPrefix:-1block "%s" > "%t1"
+// RUN: %diff "%s.e1.block.expect" "%t1"
+// RUN: %boogie -vc:local -errorLimit:1 -errorTrace:1 -logPrefix:-1local "%s" > "%t2"
+// RUN: %diff "%s.e1.local.expect" "%t2"
+// RUN: %boogie -vc:dag -errorLimit:1 -errorTrace:1 -logPrefix:-1dag "%s" > "%t3"
+// RUN: %diff "%s.e1.dag.expect" "%t3"
+// RUN: %boogie -vc:local -errorLimit:10 -errorTrace:1 -logPrefix:-10local "%s" > "%t4"
+// RUN: %diff "%s.e10.local.expect" "%t4"
+// RUN: %boogie -vc:dag -errorLimit:10 -errorTrace:1 -logPrefix:-10dag "%s" > "%t5"
+// RUN: %diff "%s.e10.dag.expect" "%t5"
// Author of this comment: mikebarnett ec02177eefb5
// The following tests are rather fickle at the moment--different errors
|