blob: dba9bdc45d79f3353dcf7f5edfa86cc183f847f1 (
plain)
1
2
3
4
5
6
7
8
9
|
#!/bin/bash
set -e
OUTPUT_FOLDER=/home/burak/Desktop/smtcoq/src/lfsc/tests/results/
CVC4TOCOQ_HOME=/home/burak/Desktop/smtcoq/src/lfsc/tests/
${CVC4TOCOQ_HOME}/cvc4tocoq $1 &> $1.result
#exit 0
# exit'e gerek var mi emin degilim abi
#${CVC4TOCOQ_HOME}/cvc4tocoq $1 &> ${OUTPUT_FOLDER}$1.result
|
