add more tests to Holmakefiles

kth-step / HolBA

Binary analysis in HOL

Other

33 stars 20 forks source link

Closed palmskog closed 4 months ago

palmskog commented 4 months ago

Add most tests that were run in CI to Holmakefile in the directory they reside. Not activated in current CI yet.