Commit 28926f35 authored by Heiko Becker's avatar Heiko Becker

Fix some bugs in script

parent fbe7ae98
......@@ -14,7 +14,7 @@ done < <(find ./testcases/cpp2018/ -name "*.scala" -print0)
echo "################################################
Daisy analysis and generation phase
################################################" >$1
################################################" >>$1
for file in "${arr[@]}"
do
......@@ -32,7 +32,7 @@ done
echo "################################################
Certificate test - Coq
################################################" >$1
################################################" >>$1
cd coq
arrCoq=()
......@@ -50,7 +50,7 @@ cd coq
echo "################################################
Certificate test - HOL4
################################################" >$1
################################################" >>$1
cd ./hol4/output
......@@ -86,7 +86,7 @@ done
echo "################################################
Certificate test - HOL4 Binary
################################################" >$1
################################################" >>$1
cd ../../output/
......@@ -104,9 +104,9 @@ echo "################################################
done
echo "################################################"
echo " Certificate test - Coq Binary"
echo "################################################"
echo "#############################################A###
Certificate test - Coq Binary
################################################" >>$1
for file in "${arrBinary[@]}"
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