Fix lit test suite when running Boogie under a path that contains

spaces.

18 files changed, 40 insertions, 40 deletions

diff --git a/Test/test20/Coercions.bpl b/Test/test20/Coercions.bpl
index 3836332a..0ad114a6 100644
--- a/Test/test20/Coercions.bpl
+++ b/Test/test20/Coercions.bpl
@@ -1,5 +1,5 @@
-// RUN: %boogie -noVerify %s > %t

-// RUN: %diff %s.expect %t

+// RUN: %boogie -noVerify "%s" > "%t"

+// RUN: %diff "%s.expect" "%t"

 

 

 type C, D, E _;

diff --git a/Test/test20/EmptySeq.bpl b/Test/test20/EmptySeq.bpl
index b32ca98f..2eeb9589 100644
--- a/Test/test20/EmptySeq.bpl
+++ b/Test/test20/EmptySeq.bpl
@@ -1,5 +1,5 @@
-// RUN: %boogie -noVerify %s > %t

-// RUN: %diff %s.expect %t

+// RUN: %boogie -noVerify "%s" > "%t"

+// RUN: %diff "%s.expect" "%t"

 type Seq T;

 

 function Seq#Length<T>(Seq T) returns (int);

diff --git a/Test/test20/ParallelAssignment.bpl b/Test/test20/ParallelAssignment.bpl
index b79d1a10..d84b96ab 100644
--- a/Test/test20/ParallelAssignment.bpl
+++ b/Test/test20/ParallelAssignment.bpl
@@ -1,5 +1,5 @@
-// RUN: %boogie -noVerify %s > %t

-// RUN: %diff %s.expect %t

+// RUN: %boogie -noVerify "%s" > "%t"

+// RUN: %diff "%s.expect" "%t"

 // Examples from the Boogie2 language report

 // (stuff where resolution succeeds, but typechecking might fail)

 

diff --git a/Test/test20/ParallelAssignment2.bpl b/Test/test20/ParallelAssignment2.bpl
index 0e36bcdd..8f309b75 100644
--- a/Test/test20/ParallelAssignment2.bpl
+++ b/Test/test20/ParallelAssignment2.bpl
@@ -1,5 +1,5 @@
-// RUN: %boogie -noVerify %s > %t

-// RUN: %diff %s.expect %t

+// RUN: %boogie -noVerify "%s" > "%t"

+// RUN: %diff "%s.expect" "%t"

 // Examples from the Boogie2 language report

 // (examples where already resolution fails)

 

diff --git a/Test/test20/PolyFuns0.bpl b/Test/test20/PolyFuns0.bpl
index 0df74e15..c7d44b9f 100644
--- a/Test/test20/PolyFuns0.bpl
+++ b/Test/test20/PolyFuns0.bpl
@@ -1,5 +1,5 @@
-// RUN: %boogie -noVerify %s > %t

-// RUN: %diff %s.expect %t

+// RUN: %boogie -noVerify "%s" > "%t"

+// RUN: %diff "%s.expect" "%t"

 

 

 function size<alpha>(x : alpha) returns (int);

diff --git a/Test/test20/PolyFuns1.bpl b/Test/test20/PolyFuns1.bpl
index cc38b720..12a8a1b8 100644
--- a/Test/test20/PolyFuns1.bpl
+++ b/Test/test20/PolyFuns1.bpl
@@ -1,5 +1,5 @@
-// RUN: %boogie -noVerify %s > %t

-// RUN: %diff %s.expect %t

+// RUN: %boogie -noVerify "%s" > "%t"

+// RUN: %diff "%s.expect" "%t"

 

 function F<a>( <b>[b]a ) returns (bool);

 const M:  <a>[ <b>[b]a ] bool;

diff --git a/Test/test20/PolyPolyPoly.bpl b/Test/test20/PolyPolyPoly.bpl
index e45a24be..718452f2 100644
--- a/Test/test20/PolyPolyPoly.bpl
+++ b/Test/test20/PolyPolyPoly.bpl
@@ -1,5 +1,5 @@
-// RUN: %boogie -noVerify %s > %t

-// RUN: %diff %s.expect %t

+// RUN: %boogie -noVerify "%s" > "%t"

+// RUN: %diff "%s.expect" "%t"

 

 type C _;

 

diff --git a/Test/test20/PolyPolyPoly2.bpl b/Test/test20/PolyPolyPoly2.bpl
index b9249553..e50251c1 100644
--- a/Test/test20/PolyPolyPoly2.bpl
+++ b/Test/test20/PolyPolyPoly2.bpl
@@ -1,5 +1,5 @@
-// RUN: %boogie -noVerify %s > %t

-// RUN: %diff %s.expect %t

+// RUN: %boogie -noVerify "%s" > "%t"

+// RUN: %diff "%s.expect" "%t"

 

 const p: <a>[]a;

 const q: <a,b>[a]b;

diff --git a/Test/test20/PolyProcs0.bpl b/Test/test20/PolyProcs0.bpl
index 4867614a..698e2f12 100644
--- a/Test/test20/PolyProcs0.bpl
+++ b/Test/test20/PolyProcs0.bpl
@@ -1,5 +1,5 @@
-// RUN: %boogie -noVerify %s > %t

-// RUN: %diff %s.expect %t

+// RUN: %boogie -noVerify "%s" > "%t"

+// RUN: %diff "%s.expect" "%t"

 

 

 type Field a;

diff --git a/Test/test20/ProcParamReordering.bpl b/Test/test20/ProcParamReordering.bpl
index f88aaea5..2532964f 100644
--- a/Test/test20/ProcParamReordering.bpl
+++ b/Test/test20/ProcParamReordering.bpl
@@ -1,5 +1,5 @@
-// RUN: %boogie -noVerify %s > %t

-// RUN: %diff %s.expect %t

+// RUN: %boogie -noVerify "%s" > "%t"

+// RUN: %diff "%s.expect" "%t"

 

 type C _;

 

diff --git a/Test/test20/Prog0.bpl b/Test/test20/Prog0.bpl
index 2aa974c5..26642737 100644
--- a/Test/test20/Prog0.bpl
+++ b/Test/test20/Prog0.bpl
@@ -1,5 +1,5 @@
-// RUN: %boogie -noVerify %s > %t

-// RUN: %diff %s.expect %t

+// RUN: %boogie -noVerify "%s" > "%t"

+// RUN: %diff "%s.expect" "%t"

 // Let's test some Boogie 2 features ...

 

 type elements;

diff --git a/Test/test20/Prog1.bpl b/Test/test20/Prog1.bpl
index cdc88779..7fcf91b6 100644
--- a/Test/test20/Prog1.bpl
+++ b/Test/test20/Prog1.bpl
@@ -1,5 +1,5 @@
-// RUN: %boogie -noVerify %s > %t

-// RUN: %diff %s.expect %t

+// RUN: %boogie -noVerify "%s" > "%t"

+// RUN: %diff "%s.expect" "%t"

 // Let's test some Boogie 2 features ...

 

 type elements;

diff --git a/Test/test20/Prog2.bpl b/Test/test20/Prog2.bpl
index c186eafc..79555d28 100644
--- a/Test/test20/Prog2.bpl
+++ b/Test/test20/Prog2.bpl
@@ -1,5 +1,5 @@
-// RUN: %boogie -noVerify %s > %t

-// RUN: %diff %s.expect %t

+// RUN: %boogie -noVerify "%s" > "%t"

+// RUN: %diff "%s.expect" "%t"

 function union(<a> [a] bool, <a> [a] bool) returns (<a> [a] bool);

 

 axiom (forall<alpha>             // error: alpha has to occur in dummy types

diff --git a/Test/test20/TypeDecls0.bpl b/Test/test20/TypeDecls0.bpl
index cb4dc1d3..a78008c2 100644
--- a/Test/test20/TypeDecls0.bpl
+++ b/Test/test20/TypeDecls0.bpl
@@ -1,5 +1,5 @@
-// RUN: %boogie -noVerify %s > %t

-// RUN: %diff %s.expect %t

+// RUN: %boogie -noVerify "%s" > "%t"

+// RUN: %diff "%s.expect" "%t"

 type C a _ b;

 type D;

 type E _;

diff --git a/Test/test20/TypeDecls1.bpl b/Test/test20/TypeDecls1.bpl
index 7b64cd5b..52f28e06 100644
--- a/Test/test20/TypeDecls1.bpl
+++ b/Test/test20/TypeDecls1.bpl
@@ -1,5 +1,5 @@
-// RUN: %boogie -noVerify %s > %t

-// RUN: %diff %s.expect %t

+// RUN: %boogie -noVerify "%s" > "%t"

+// RUN: %diff "%s.expect" "%t"

 

 // set of maps from anything to a specific type a

 const mapSet : <a>[<b>[b]a]bool;

diff --git a/Test/test20/TypeSynonyms0.bpl b/Test/test20/TypeSynonyms0.bpl
index f43366f2..1703f4a7 100644
--- a/Test/test20/TypeSynonyms0.bpl
+++ b/Test/test20/TypeSynonyms0.bpl
@@ -1,7 +1,7 @@
-// RUN: %boogie -noVerify %s > %t

-// RUN: %diff %s.expect %t

-// RUN: %boogie -noVerify -print:- -env:0 %s > %t

-// RUN: %diff %s.print.expect %t

+// RUN: %boogie -noVerify "%s" > "%t"

+// RUN: %diff "%s.expect" "%t"

+// RUN: %boogie -noVerify -print:- -env:0 "%s" > "%t"

+// RUN: %diff "%s.print.expect" "%t"

 

 

 type Set a = [a]bool;

diff --git a/Test/test20/TypeSynonyms1.bpl b/Test/test20/TypeSynonyms1.bpl
index 890f494f..98ecedca 100644
--- a/Test/test20/TypeSynonyms1.bpl
+++ b/Test/test20/TypeSynonyms1.bpl
@@ -1,5 +1,5 @@
-// RUN: %boogie -noVerify %s > %t

-// RUN: %diff %s.expect %t

+// RUN: %boogie -noVerify "%s" > "%t"

+// RUN: %diff "%s.expect" "%t"

 

 

 

diff --git a/Test/test20/TypeSynonyms2.bpl b/Test/test20/TypeSynonyms2.bpl
index 90450c2a..472b1e96 100644
--- a/Test/test20/TypeSynonyms2.bpl
+++ b/Test/test20/TypeSynonyms2.bpl
@@ -1,7 +1,7 @@
-// RUN: %boogie %s > %t

-// RUN: %diff %s.expect %t

-// RUN: %boogie -noVerify -print:- -env:0 -printDesugared %s > %t

-// RUN: %diff %s.print.expect %t

+// RUN: %boogie "%s" > "%t"

+// RUN: %diff "%s.expect" "%t"

+// RUN: %boogie -noVerify -print:- -env:0 -printDesugared "%s" > "%t"

+// RUN: %diff "%s.print.expect" "%t"

 

 

 type Set a = [a]bool;