summaryrefslogtreecommitdiff
path: root/src/test/lib
AgeCommit message (Collapse)Author
2018-08-01Remove old test directory in src/testAlasdair Armstrong
2018-07-09Changes for anonymisation. Ensure headers are in correct format. Remove some ↵Robert Norton
redundant files.
2017-12-28use ocamlfind to locate lem and zarith (missed this Makefile)Shaked Flur
2017-08-02fix sail library test interpreter glue for API change. Also fix ↵Robert Norton
build_context val spec which was out of dated although lem did not complain for some reason...
2017-07-19split library tests into separate files to avoid risk of sail compiler stack ↵Robert Norton
overflow.
2017-07-19borrow some of aa's bash code to convert library test suite output to junit ↵Robert Norton
xml for jenkins.
2017-07-06Tests for (almost) all sail builtins. Many interesting things discovered. ↵Robert Norton
Library in need of rationalisation.
2017-07-04further testing of sail library.Robert Norton
2017-06-30add more tests for sail library. Can't compile entire file due to sail ↵Robert Norton
performance bug or infinite loop. Add some missing shallow embedding funcitons.
2017-06-29beginnings of a sail library test suite.Robert Norton