bench/copy_oracles.sh

   1 #!/bin/bash
   2
   3 # This script can be used when upgrading the prover versions in the
   4 # bench/check-ce-bench script.
   5
   6 # This script copies the oracle files in bench/check-ce/oracles
   7 # and rename the files in replacing the older version of a prover
   8 # by a newer one.
   9
  10 for file in bench/check-ce/oracles/*_CVC4,1.7_*.oracle; do
  11   cp "$file" "${file//CVC4,1.7/CVC4,1.8}"
  12 done
  13
  14 for file in bench/check-ce/petiot2018/oracles/*_CVC4,1.7.oracle; do
  15   cp "$file" "${file//CVC4,1.7/CVC4,1.8}"
  16 done