Commit 881f00f5 authored by Heiko Becker's avatar Heiko Becker

More bug fixes

parent 28926f35
......@@ -42,8 +42,8 @@ cd coq
for file in "${arrCoq[@]}"
do
$FILEPRE = ${file/.v/}
$FILENAME=${FILEPRE/output/}
FILEPRE= ${file/.v/}
FILENAME=${FILEPRE/output/}
/usr/bin/time -o $1 -a -f " $FILENAME , %e " coqc -R ./ Daisy $file
done
......@@ -61,8 +61,8 @@ done < <(find ./ -name "*Script.sml" -print0)
for file in "${arrHOL[@]}"
do
$FILEPRE = ${file/Script.sml/}
$FILENAME=$FILEPRE
FILEPRE=${file/Script.sml/}
FILENAME=$FILEPRE
/usr/bin/time -o $1 -a -f "$FILENAME , %e" Holmake ${file/Script.sml/Theory.sig}
done
......@@ -97,8 +97,8 @@ echo "################################################
for file in "${arrBinary[@]}"
do
$FILEPRE=${file/.txt/}
$FILENAME=$FILEPRE
FILEPRE=${file/.txt/}
FILENAME=$FILEPRE
/usr/bin/time -f " $FILENAME , %e " sh -c "../hol4/binary/cake_checker <$file"
echo $?
done
......@@ -110,8 +110,8 @@ echo "#############################################A###
for file in "${arrBinary[@]}"
do
$FILEPRE=${file/.txt/}
$FILENAME=$FILEPRE
FILEPRE=${file/.txt/}
FILENAME=$FILEPRE
/usr/bin/time -a -o $1 -f " $FILENAME , %e " sh -c "../coq/binary/coq_checker_native $file"
echo $?
done
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment