summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAge
* Convert the AbsHoudini tests to lit tests. They weren't being run by the oldGravatar Dan Liew2014-05-27
* MergeGravatar Dan Liew2014-05-27
|\
* | Added simple python implementation of diff to replace using theGravatar Dan Liew2014-05-27
| * MergeGravatar Ally Donaldson2014-05-27
| |\ | |/ |/|
| * Undid accidental commitGravatar Ally Donaldson2014-05-27
* | Implemented an additional type check for assumption variables.Gravatar wuestholz2014-05-27
* | Added more tests (snapshots).Gravatar wuestholz2014-05-27
| * MergeGravatar Ally Donaldson2014-05-27
| * Added key check to uniformity analysisGravatar Ally Donaldson2014-05-27
|/
* Merge duality changesGravatar Ken McMillan2014-05-26
|\
| * Conjecture printing for duality and child user time tracking.Gravatar Ken McMillan2014-05-26
* | Set the following tests to expected failure under lit. Having theseGravatar Dan Liew2014-05-19
* | Made the Boogie driver return an exit code.Gravatar wuestholz2014-05-19
* | keep some stats for debuggingGravatar akashlal2014-05-15
* | Delete '_admin' directory.Gravatar wuestholz2014-05-13
* | Simplify Z3 executable discovery.Gravatar wuestholz2014-05-12
* | 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
* | Added stack boundingGravatar akashlal2014-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