Run predicate/reachability tests in CI
- Only
test/programs/simple
? - Definitely include copies for
test/programs/cpalien/enum-{sign,size}.c
.
test/programs/simple
?test/programs/cpalien/enum-{sign,size}.c
.added ci label
mentioned in issue #28
mentioned in merge request !15 (merged)