bench/encoding/gen_allbench.sh

   1 #!/bin/dash
   2
   3 PROVER="z3 cvc3 yices"
   4 SELECT_INST="none goal all"
   5 SELECT_LSKEPT="none goal all"
   6 SELECT_LSINST="none goal all"
   7 SELECT_KEPT="none goal all"
   8 ENCO_KEPT="twin partial"
   9 ENCO_POLY="deco explicit guard"
  10
  11 dirname=$(dirname $0)
  12
  13 for P in $PROVER; do
  14 for SI in $SELECT_INST; do
  15 for SLK in $SELECT_LSKEPT; do
  16 for SLI in $SELECT_LSINST; do
  17 for SK in $SELECT_KEPT; do
  18 for EK in $ENCO_KEPT; do
  19 for EP in $ENCO_POLY; do
  20 $dirname/create_bench.sh $P $SI $SLK $SLI $SK $EK $EP
  21 done done done done done done done