Commit 9e8f74ba authored by MARCHE Claude's avatar MARCHE Claude

regtests: prints total size of session files

parent 227ddb31
......@@ -33,8 +33,10 @@ cd `dirname $0`
export success=0
export total=0
export sessions=""
run_dir () {
sessions="$sessions $1/*/why3session.xml"
for f in `ls $1/*/why3session.xml`; do
d=`dirname $f`
echo -n "Replaying $d ... "
......@@ -89,7 +91,9 @@ run_dir hoare_logic
run_dir vacid_0_binary_heaps "-I vacid_0_binary_heaps"
echo ""
echo "Summary: $success/$total"
echo "Summary : $success/$total"
echo "Sessions size : "`wc -cl $sessions | tail -1`
exit $res
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