summaryrefslogtreecommitdiff
path: root/Test
Commit message (Expand)AuthorAge
* Fix lit test suite when running Boogie under a path that containsGravatar Dan Liew2014-05-27
* Convert the AbsHoudini tests to lit tests. They weren't being run by the oldGravatar Dan Liew2014-05-27
* Added simple python implementation of diff to replace using theGravatar Dan Liew2014-05-27
* Implemented an additional type check for assumption variables.Gravatar wuestholz2014-05-27
* Added more tests (snapshots).Gravatar wuestholz2014-05-27
* Set the following tests to expected failure under lit. Having theseGravatar Dan Liew2014-05-19
* Remove solver executable check under windows at the requestGravatar Dan Liew2014-05-12
* Converted test0/Arrays1.bpl test to OutputCheck style test.Gravatar Dan Liew2014-05-12
* Convert houd12.bpl into a OutputCheck style test and also passGravatar Dan Liew2014-05-12
* Added some documentation on the new testing infrastructureGravatar Dan Liew2014-05-11
* Remove old testing script. Probably not much use anyway, the executableGravatar Dan Liew2014-05-11
* Added script for cleaning up temporary files created by both the litGravatar Dan Liew2014-05-11
* Prevent lit tests from running on OSX/Linux if mono is not inGravatar Dan Liew2014-05-11
* Remove some legacy test infrastructure for OSX/LinuxGravatar Dan Liew2014-05-11
* Remove old python testing scriptsGravatar Dan Liew2014-05-11
* Made lit tests slightly less fragile under OSX/Linux by passing flags to ignoreGravatar Dan Liew2014-05-11
* Enable as many "og" lit tests. Several fail because they weren'tGravatar Dan Liew2014-05-11
* Prevent running doomed tests. They weren't being runGravatar Dan Liew2014-05-10
* Remove old copy of lit. It's too old to work with our current configurationGravatar Dan Liew2014-05-10
* Unbreak the tests in test2 for batch file testing infrastructureGravatar Dan Liew2014-05-10
* Added a sanity check to lit configuration so tests won't runGravatar Dan Liew2014-05-10
* Enabled "linear type checking" lit tests.Gravatar Dan Liew2014-05-07
* Enabled symdiff lit test.Gravatar Dan Liew2014-05-07
* Enable snapshot test. This test is unusual in that it doesn'tGravatar Dan Liew2014-05-07
* Enabled "HAVOC-generated bpl files" lit tests.Gravatar Dan Liew2014-05-07
* Enabled "Extract loops benchmarks" lit tests.Gravatar Dan Liew2014-05-07
* Enabled the "Stratified inlining benchmarks" lit tests.Gravatar Dan Liew2014-05-07
* Added "STORM benchmarks for testing correctness of live variable analysis" li...Gravatar Dan Liew2014-05-07
* Enabled generalizedarray lit test.Gravatar Dan Liew2014-05-07
* Enabled datatypes lit tests.Gravatar Dan Liew2014-05-07
* Enabled prover lit tests.Gravatar Dan Liew2014-05-07
* Enable codeexpr lit tests.Gravatar Dan Liew2014-05-07
* Enabled lit loop unrolling testGravatar Dan Liew2014-05-07
* Enabled smoke lit test.Gravatar Dan Liew2014-05-07
* Enabled bitvector lit tests.Gravatar Dan Liew2014-05-07
* Enabled "Benchmarks for error messages" lit tests.Gravatar Dan Liew2014-05-07
* Enabled the inline lit tests. In order to support expansion2.bplGravatar Dan Liew2014-05-07
* Enable "error messages for failing asserts vs. loop invariants" lit tests.Gravatar Dan Liew2014-05-07
* Enable "SLAM example" lit tests.Gravatar Dan Liew2014-05-07
* Enable "abstract domain of intervals" lit tests.Gravatar Dan Liew2014-05-07
* Enable Linear inequality lit tests.Gravatar Dan Liew2014-05-07
* For lit test infrastructure, disable running tests inGravatar Dan Liew2014-05-07
* Enable the Constant propagation tests as lit tests.Gravatar Dan Liew2014-05-07
* Enabled "Verify Boogie 2" lit tests. Note the following tests failGravatar Dan Liew2014-05-07
* Enabled tests for types introduced in Boogie2 as lit tests.Gravatar Dan Liew2014-05-07
* Enable the VCVariety.BlockNested tests as lit tests.Gravatar Dan Liew2014-05-07
* Enabled VC Generation lit tests.Gravatar Dan Liew2014-05-07
* For lit tests running on Windows pass /W flag to the fc toolGravatar Dan Liew2014-05-06
* Enabled lit tests for test1/ directoryGravatar Dan Liew2014-05-06
* Enabled most of the name resolution lit tests. They don't all passGravatar Dan Liew2014-05-05