src/lfsc/tests/run.sh


1
2
3
4
5
6
7
8
9
10

#!/bin/bash
set -e
find work -name "*.smt2" -exec sh -c "./wrapper_cvc4tocoq.sh {} " \;
mv work/*.result work/results/
mv work/*.lfsc work/lfsc/
mv work/*.smt2 work/smt2/
rm work/*.vo
rm work/*.v
rm work/*.glob
#exit 0