Skip to content
Snippets Groups Projects
Normal view Permalink
test.sh 314 B
Newer Older
François Bobot's avatar
Compile COLIBRI
François Bobot committed
1 
#!/bin/sh
François Bobot's avatar
add tests  
François Bobot committed
2
François Bobot's avatar
simplify tests  
François Bobot committed
3 4 
find tests/sat -name "*.smt2" | parallel "$@" --timeout 11 "./neno 1 echo {} \; bundle/colibri {}"
find tests/unsat -name "*.smt2" | parallel "$@" --timeout 11 "./neno 0 echo {} \; bundle/colibri {}"
François Bobot's avatar
Move a test from sat to unknown it shouldn't have been in sat  
François Bobot committed
5 
find tests/unknown -name "*.smt2" | parallel "$@" --timeout 11 "./neno 2 echo {} \; bundle/colibri {}"