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