From 08e1dc93d185e221b65bd59ccc167526937ee4d4 Mon Sep 17 00:00:00 2001 From: Dan Liew Date: Wed, 28 May 2014 16:32:14 +0100 Subject: Removed old test infrastructure files except for ./AbsHoudini/ ./doomed/ ./z3api/ ./test17/ because their conversion to lit incomplete. --- Test/lock/Answer | 8 -------- Test/lock/runtest.bat | 7 ------- 2 files changed, 15 deletions(-) delete mode 100644 Test/lock/Answer delete mode 100644 Test/lock/runtest.bat (limited to 'Test/lock') diff --git a/Test/lock/Answer b/Test/lock/Answer deleted file mode 100644 index a5b63e44..00000000 --- a/Test/lock/Answer +++ /dev/null @@ -1,8 +0,0 @@ - -Boogie program verifier finished with 3 verified, 0 errors -LockIncorrect.bpl(19,3): Error BP5001: This assertion might not hold. -Execution trace: - LockIncorrect.bpl(11,1): start - LockIncorrect.bpl(16,1): LoopHead - -Boogie program verifier finished with 0 verified, 1 error diff --git a/Test/lock/runtest.bat b/Test/lock/runtest.bat deleted file mode 100644 index a90972c9..00000000 --- a/Test/lock/runtest.bat +++ /dev/null @@ -1,7 +0,0 @@ -@echo off -setlocal - -set BGEXE=..\..\Binaries\Boogie.exe - -%BGEXE% %* Lock.bpl -%BGEXE% %* LockIncorrect.bpl -- cgit v1.2.3