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/test21/runtest.bat | 35 ----------------------------------- 1 file changed, 35 deletions(-) delete mode 100644 Test/test21/runtest.bat (limited to 'Test/test21/runtest.bat') diff --git a/Test/test21/runtest.bat b/Test/test21/runtest.bat deleted file mode 100644 index bfdcc570..00000000 --- a/Test/test21/runtest.bat +++ /dev/null @@ -1,35 +0,0 @@ -@echo off -setlocal - -set BGEXE=..\..\Binaries\Boogie.exe -rem set BGEXE=mono ..\..\Binaries\Boogie.exe - - -for %%m in ( - n p a - ) do ( -echo --------------------- TypeEncoding %%m z3types ---------------------------- -for %%f in (DisjointDomains.bpl DisjointDomains2.bpl FunAxioms.bpl - FunAxioms2.bpl PolyList.bpl Maps0.bpl Maps1.bpl - InterestingExamples0.bpl InterestingExamples1.bpl InterestingExamples2.bpl - InterestingExamples3.bpl InterestingExamples4.bpl InterestingExamples5.bpl - Colors.bpl HeapAbstraction.bpl HeapAxiom.bpl Triggers0.bpl Triggers1.bpl - Keywords.bpl Casts.bpl BooleanQuantification.bpl EmptyList.bpl Boxing.bpl - MapOutputTypeParams.bpl ParallelAssignment.bpl BooleanQuantification2.bpl - Flattening.bpl Orderings.bpl Orderings2.bpl Orderings3.bpl Orderings4.bpl - EmptySetBug.bpl Coercions2.bpl MapAxiomsConsistency.bpl LargeLiterals0.bpl - Real.bpl) do ( - echo --------------------- File %%f ---------------------------- - %BGEXE% %* /typeEncoding:%%m /logPrefix:0%%m %%f -) - -echo --------------------- File NameClash.bpl ---------------------------- -%BGEXE% %* /typeEncoding:%%m /logPrefix:0%%m NameClash.bpl -echo --------------------- File Keywords.bpl ---------------------------- -%BGEXE% %* /typeEncoding:%%m /logPrefix:0%%m Keywords.bpl -echo --------------------- File LargeLiterals0.bpl ---------------------------- -%BGEXE% %* /typeEncoding:%%m /logPrefix:0%%m LargeLiterals0.bpl - -echo --------------------- File LetSorting.bpl ---------------------------- -%BGEXE% %* /typeEncoding:%%m /logPrefix:0%%m LetSorting.bpl -) -- cgit v1.2.3