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/test21/MapOutputTypeParams.bpl | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) (limited to 'Test/test21/MapOutputTypeParams.bpl') diff --git a/Test/test21/MapOutputTypeParams.bpl b/Test/test21/MapOutputTypeParams.bpl index 4e83e6f1..c9304d34 100644 --- a/Test/test21/MapOutputTypeParams.bpl +++ b/Test/test21/MapOutputTypeParams.bpl @@ -1,9 +1,9 @@ -// RUN: %boogie -typeEncoding:n -logPrefix:0n %s > %t -// RUN: %diff %s.n.expect %t -// RUN: %boogie -typeEncoding:p -logPrefix:0p %s > %t -// RUN: %diff %s.p.expect %t -// RUN: %boogie -typeEncoding:a -logPrefix:0a %s > %t -// RUN: %diff %s.a.expect %t +// RUN: %boogie -typeEncoding:n -logPrefix:0n "%s" > "%t" +// RUN: %diff "%s.n.expect" "%t" +// RUN: %boogie -typeEncoding:p -logPrefix:0p "%s" > "%t" +// RUN: %diff "%s.p.expect" "%t" +// RUN: %boogie -typeEncoding:a -logPrefix:0a "%s" > "%t" +// RUN: %diff "%s.a.expect" "%t" -- cgit v1.2.3