Skip to content
GitLab
Menu
Projects
Groups
Snippets
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
Why3
why3
Commits
39918c7e
Commit
39918c7e
authored
Sep 23, 2011
by
MARCHE Claude
Browse files
show stat success/total problems in regression tests
parent
a6122c07
Changes
1
Hide whitespace changes
Inline
Side-by-side
examples/regtests.sh
View file @
39918c7e
...
...
@@ -18,7 +18,10 @@ TMPERR=$PWD/why3regtests.err
cd
`
dirname
$0
`
res
=
0
export
success
=
0
export
total
=
0
run_dir
()
{
for
f
in
`
ls
$1
/
*
/why3session.xml
`
;
do
...
...
@@ -39,7 +42,9 @@ run_dir () {
else
echo
-n
"OK"
cat
$TMP
success
=
`
expr
$success
+ 1
`
fi
total
=
`
expr
$total
+ 1
`
done
}
...
...
@@ -63,6 +68,8 @@ echo "=== Check Builtin translation ==="
run_dir check-builtin
echo
""
echo
"Summary:
$success
/
$total
"
exit
$res
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment