Commit 1374f851 authored by Heiko Becker's avatar Heiko Becker

More fixes...

parent 180af8f1
......@@ -44,7 +44,7 @@ cd coq
for file in "${arrCoq[@]}"
do
FILEPRE= ${file/.v/}
FILEPRE=${file/.v/}
FILENAME=${FILEPRE/output/}
/usr/bin/time -o $1 -a -f " $FILENAME , %e " coqc -R ./ Daisy $file
done
......@@ -54,7 +54,7 @@ echo "################################################
Certificate test - HOL4
################################################" >>$1
cd ./hol4/output
cd ../hol4/output
arrHOL=()
while IFS= read -r -d $'\0'; do
......
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