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/lock/Lock.bpl | 4 ++-- Test/lock/LockIncorrect.bpl | 4 ++-- 2 files changed, 4 insertions(+), 4 deletions(-) (limited to 'Test/lock') diff --git a/Test/lock/Lock.bpl b/Test/lock/Lock.bpl index ab7f20fe..54cd4853 100644 --- a/Test/lock/Lock.bpl +++ b/Test/lock/Lock.bpl @@ -1,5 +1,5 @@ -// RUN: %boogie %s > %t -// RUN: %diff %s.expect %t +// RUN: %boogie "%s" > "%t" +// RUN: %diff "%s.expect" "%t" procedure LockingExample(); implementation LockingExample() diff --git a/Test/lock/LockIncorrect.bpl b/Test/lock/LockIncorrect.bpl index cffcc256..4bd86bbe 100644 --- a/Test/lock/LockIncorrect.bpl +++ b/Test/lock/LockIncorrect.bpl @@ -1,5 +1,5 @@ -// RUN: %boogie %s > %t -// RUN: %diff %s.expect %t +// RUN: %boogie "%s" > "%t" +// RUN: %diff "%s.expect" "%t" procedure LockingExample(); implementation LockingExample() -- cgit v1.2.3