gen_drv.sh 346 Bytes
Newer Older
1 2 3 4 5
#!/bin/sh

DIR=drivers/

for prover in z3 cvc3; do
6
    for what in "" _goal _mono _all; do
7 8
        for complete in "" _incomplete; do
            cat ${DIR}${prover}.drv |sed -e "s/transformation \"encoding_decorate\"/transformation \"encoding_instantiate$what$complete\"/" > ${DIR}${prover}_inst${what}${complete}.drv
9 10 11
        done
    done
done