summaryrefslogtreecommitdiff
path: root/Test/lit.site.cfg
Commit message (Expand)AuthorAge
* Report the python version being used when executing lit.Gravatar Dan Liew2014-05-28
* Fix lit test suite when running Boogie under a path that containsGravatar Dan Liew2014-05-27
* Added simple python implementation of diff to replace using theGravatar Dan Liew2014-05-27
* Remove solver executable check under windows at the requestGravatar Dan Liew2014-05-12
* Convert houd12.bpl into a OutputCheck style test and also passGravatar Dan Liew2014-05-12
* Prevent lit tests from running on OSX/Linux if mono is not inGravatar Dan Liew2014-05-11
* Made lit tests slightly less fragile under OSX/Linux by passing flags to ignoreGravatar Dan Liew2014-05-11
* Added a sanity check to lit configuration so tests won't runGravatar Dan Liew2014-05-10
* Enabled the inline lit tests. In order to support expansion2.bplGravatar Dan Liew2014-05-07
* For lit tests running on Windows pass /W flag to the fc toolGravatar Dan Liew2014-05-06
* Pass -useBaseNameForFileName option to Boogie when running tests.Gravatar Dan Liew2014-04-06
* Added basic lit configuration file for running tests.Gravatar Dan Liew2014-04-06
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-10 17:53:51 +0000