mirror of
https://github.com/GaloisInc/macaw.git
synced 2024-12-18 11:31:35 +03:00
9d750c944a
It runs code discovery over a large-ish binary to test coverage. We currently fail due to unsupported instructions (expected). This test will guide priorities on implementing new semantics. |
||
---|---|---|
.. | ||
bin | ||
Makefile | ||
test-conditional.c | ||
test-conditional.exe | ||
test-conditional.s | ||
test-conditional.s.expected | ||
test-direct-calls.c | ||
test-direct-calls.exe | ||
test-direct-calls.s | ||
test-direct-calls.s.expected | ||
test-just-exit.c | ||
test-just-exit.exe | ||
test-just-exit.s | ||
test-just-exit.s.expected | ||
util.h |