ensuring model-based test bench is still operational

GaloisInc / HARDENS

Repository for the HARDENS project

Apache License 2.0

18 stars 1 forks source link

ensuring model-based test bench is still operational #127

Open kiniry opened 2 years ago

kiniry commented 2 years ago

update README.md wrt runtime verification
update top-level Makefile to run end-to-end scenario-based tests
record video demonstrating testing

kiniry commented 2 years ago

I have re-enabled the full testbench, added the missing Makefile (which was documented, but never added to the project; it was probably created by Alex but he forgot to push it before departing Galois), and re-run all tests. The related PR is now ready for review.