summaryrefslogtreecommitdiff
path: root/src/test/lib/run_test_interp.ml
AgeCommit message (Expand)Author
2017-08-02fix sail library test interpreter glue for API change. Also fix build_context...Robert Norton
2017-07-19split library tests into separate files to avoid risk of sail compiler stack ...Robert Norton
2017-06-29beginnings of a sail library test suite.Robert Norton