From 02aca9ffab2d5a63e89f83d5eadb7133132c3b0a Mon Sep 17 00:00:00 2001
From: Dan Liew <daniel.liew@imperial.ac.uk>
Date: Tue, 27 May 2014 20:53:49 +0100
Subject: Fix lit test suite when running Boogie under a path that contains
 spaces.

---
 Test/linear/allocator.bpl | 4 ++--
 Test/linear/bug.bpl       | 4 ++--
 Test/linear/f1.bpl        | 4 ++--
 Test/linear/f2.bpl        | 4 ++--
 Test/linear/f3.bpl        | 4 ++--
 Test/linear/list.bpl      | 4 ++--
 Test/linear/typecheck.bpl | 4 ++--
 7 files changed, 14 insertions(+), 14 deletions(-)

(limited to 'Test/linear')

diff --git a/Test/linear/allocator.bpl b/Test/linear/allocator.bpl
index ae8f517d..31f54f7e 100644
--- a/Test/linear/allocator.bpl
+++ b/Test/linear/allocator.bpl
@@ -1,5 +1,5 @@
-// RUN: %boogie -noinfer -typeEncoding:m -useArrayTheory -doModSetAnalysis %s > %t
-// RUN: %diff %s.expect %t
+// RUN: %boogie -noinfer -typeEncoding:m -useArrayTheory -doModSetAnalysis "%s" > "%t"
+// RUN: %diff "%s.expect" "%t"
 procedure A({:linear "tid"} i': int) returns ({:linear "tid"} i: int);
   ensures i == i';
 
diff --git a/Test/linear/bug.bpl b/Test/linear/bug.bpl
index a619968e..9177e2ca 100644
--- a/Test/linear/bug.bpl
+++ b/Test/linear/bug.bpl
@@ -1,5 +1,5 @@
-// RUN: %boogie -noinfer -typeEncoding:m -useArrayTheory -doModSetAnalysis %s > %t
-// RUN: %diff %s.expect %t
+// RUN: %boogie -noinfer -typeEncoding:m -useArrayTheory -doModSetAnalysis "%s" > "%t"
+// RUN: %diff "%s.expect" "%t"
 function {:builtin "MapConst"} MapConstBool(bool) : [int]bool;
 function {:inline} {:linear ""} LinearIntDistinctness(x:int) : [int]bool { MapConstBool(false)[x := true] }
 
diff --git a/Test/linear/f1.bpl b/Test/linear/f1.bpl
index 513b67fa..e18fab9f 100644
--- a/Test/linear/f1.bpl
+++ b/Test/linear/f1.bpl
@@ -1,5 +1,5 @@
-// RUN: %boogie -noinfer -typeEncoding:m -useArrayTheory -doModSetAnalysis %s > %t
-// RUN: %diff %s.expect %t
+// RUN: %boogie -noinfer -typeEncoding:m -useArrayTheory -doModSetAnalysis "%s" > "%t"
+// RUN: %diff "%s.expect" "%t"
 function {:builtin "MapConst"} mapconstbool(bool) : [int]bool;
 const {:existential true} b0: bool;
 const {:existential true} b1: bool;
diff --git a/Test/linear/f2.bpl b/Test/linear/f2.bpl
index 9517e349..16863154 100644
--- a/Test/linear/f2.bpl
+++ b/Test/linear/f2.bpl
@@ -1,5 +1,5 @@
-// RUN: %boogie -noinfer -typeEncoding:m -useArrayTheory -doModSetAnalysis %s > %t
-// RUN: %diff %s.expect %t
+// RUN: %boogie -noinfer -typeEncoding:m -useArrayTheory -doModSetAnalysis "%s" > "%t"
+// RUN: %diff "%s.expect" "%t"
 function {:builtin "MapConst"} mapconstbool(bool) : [int]bool;
 function {:builtin "MapOr"} mapunion([int]bool, [int]bool) : [int]bool;
 
diff --git a/Test/linear/f3.bpl b/Test/linear/f3.bpl
index 1f29cc86..f5e08277 100644
--- a/Test/linear/f3.bpl
+++ b/Test/linear/f3.bpl
@@ -1,5 +1,5 @@
-// RUN: %boogie -noinfer -typeEncoding:m -useArrayTheory -doModSetAnalysis %s > %t
-// RUN: %diff %s.expect %t
+// RUN: %boogie -noinfer -typeEncoding:m -useArrayTheory -doModSetAnalysis "%s" > "%t"
+// RUN: %diff "%s.expect" "%t"
 procedure A() {}
 
 procedure B({:linear ""} tid:int) returns({:linear ""} tid':int)
diff --git a/Test/linear/list.bpl b/Test/linear/list.bpl
index d11f9d5c..72f165fb 100644
--- a/Test/linear/list.bpl
+++ b/Test/linear/list.bpl
@@ -1,5 +1,5 @@
-// RUN: %boogie -noinfer -typeEncoding:m -useArrayTheory -doModSetAnalysis %s > %t
-// RUN: %diff %s.expect %t
+// RUN: %boogie -noinfer -typeEncoding:m -useArrayTheory -doModSetAnalysis "%s" > "%t"
+// RUN: %diff "%s.expect" "%t"
 type X;
 function {:builtin "MapConst"} MapConstBool(bool) : [X]bool;
 function {:builtin "MapOr"} MapOr([X]bool, [X]bool) : [X]bool;
diff --git a/Test/linear/typecheck.bpl b/Test/linear/typecheck.bpl
index 72067494..a3980a3e 100644
--- a/Test/linear/typecheck.bpl
+++ b/Test/linear/typecheck.bpl
@@ -1,5 +1,5 @@
-// RUN: %boogie -noinfer -typeEncoding:m -useArrayTheory  %s > %t
-// RUN: %diff %s.expect %t
+// RUN: %boogie -noinfer -typeEncoding:m -useArrayTheory  "%s" > "%t"
+// RUN: %diff "%s.expect" "%t"
 type X;
 
 procedure A()
-- 
cgit v1.2.3