[WIP] Add integration tests #329
ci.yml
on: push
Soundness Check
10s
Compile Counter Example
2m 35s
Matrix: Unit Test