mirror of
https://github.com/AdaCore/why3.git
synced 2026-02-12 12:34:55 -08:00
17 lines
484 B
Bash
Executable File
17 lines
484 B
Bash
Executable File
#!/bin/bash
|
|
|
|
# This script can be used when upgrading the prover versions in the
|
|
# bench/check-ce-bench script.
|
|
|
|
# This script copies the oracle files in bench/check-ce/oracles
|
|
# and rename the files in replacing the older version of a prover
|
|
# by a newer one.
|
|
|
|
for file in bench/check-ce/oracles/*_CVC4,1.7_*.oracle; do
|
|
cp "$file" "${file//CVC4,1.7/CVC4,1.8}"
|
|
done
|
|
|
|
for file in bench/check-ce/petiot2018/oracles/*_CVC4,1.7.oracle; do
|
|
cp "$file" "${file//CVC4,1.7/CVC4,1.8}"
|
|
done
|