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