c4-project / c4f

The C4 Concurrent C Fuzzer
MIT License
14 stars 1 forks source link

Add regression test framework #10

Closed MattWindsor91 closed 6 years ago

MattWindsor91 commented 6 years ago

In conversation with Ally Donaldson, it was strongly suggested that act have a regression test framework.

Off the top of my head, the easiest place to start with this would be diffing explain output on known assembly.

MattWindsor91 commented 6 years ago

There is now a rudimentary regression test runner, but not many tests (so far). Going to close this, but note that more tests need adding.