Merge branch 'cover_minimization' into 'master'
Cover query minimization See merge request !11
Showing
- .travis.yml 2 additions, 1 deletion.travis.yml
- bootstrap 7 additions, 0 deletionsbootstrap
- tests/test_integration.c 11 additions, 1 deletiontests/test_integration.c
- tests/test_integration.py 12 additions, 3 deletionstests/test_integration.py
- tests/testdata/iter_minim_a.rpl 96 additions, 0 deletionstests/testdata/iter_minim_a.rpl
- tests/testdata/iter_minim_ns.rpl 87 additions, 0 deletionstests/testdata/iter_minim_ns.rpl
bootstrap
0 → 100755
tests/testdata/iter_minim_a.rpl
0 → 100644
tests/testdata/iter_minim_ns.rpl
0 → 100644
Please register or sign in to comment