kth-step / HolBA

Binary analysis in HOL
Other
33 stars 20 forks source link

add some selftests to Holmakefile with test action #166

Closed palmskog closed 4 months ago

palmskog commented 4 months ago

This is in preparation of a larger overhaul of the tests, but maybe it's OK to merge even now as it doesn't affect the regular build @didriklundberg?

In particular, we agreed all test .sml files should follow the convention: test-*.sml instead of selftest*.sml or something without the word test. I didn't do this change here, since it's probably best to do in one go.