summaryrefslogtreecommitdiff
path: root/src/test/lib/run_test_embed.ml
AgeCommit message (Expand)Author
2018-08-01Remove old test directory in src/testAlasdair Armstrong
2017-06-29beginnings of a sail library test suite.Robert Norton