From 02aca9ffab2d5a63e89f83d5eadb7133132c3b0a Mon Sep 17 00:00:00 2001 From: Dan Liew Date: Tue, 27 May 2014 20:53:49 +0100 Subject: Fix lit test suite when running Boogie under a path that contains spaces. --- Test/test7/MultipleErrors.bpl | 20 ++++++++++---------- Test/test7/NestedVC.bpl | 4 ++-- Test/test7/UnreachableBlocks.bpl | 4 ++-- 3 files changed, 14 insertions(+), 14 deletions(-) (limited to 'Test/test7') 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 diff --git a/Test/test7/NestedVC.bpl b/Test/test7/NestedVC.bpl index be4e0483..6865be93 100644 --- a/Test/test7/NestedVC.bpl +++ b/Test/test7/NestedVC.bpl @@ -1,5 +1,5 @@ -// RUN: %boogie -vc:nested %s > %t -// RUN: %diff %s.expect %t +// RUN: %boogie -vc:nested "%s" > "%t" +// RUN: %diff "%s.expect" "%t" procedure P() { A: goto B, C; diff --git a/Test/test7/UnreachableBlocks.bpl b/Test/test7/UnreachableBlocks.bpl index fd31ebe9..95c35029 100644 --- a/Test/test7/UnreachableBlocks.bpl +++ b/Test/test7/UnreachableBlocks.bpl @@ -1,5 +1,5 @@ -// RUN: %boogie -vc:nested %s > %t -// RUN: %diff %s.expect %t +// RUN: %boogie -vc:nested "%s" > "%t" +// RUN: %diff "%s.expect" "%t" // In the following program, block "A" has no dominator, which would cause Boogie // to crash if Boogie didn't first remove unreachable blocks. That is essentially // what this test tests -- cgit v1.2.3