Commit eee3c750 authored by Guillaume Melquiond's avatar Guillaume Melquiond
Browse files

Remove counting_sort from the reduced bench as it is a bit too random.

parent 6e0d9701
binary_sort
counting_sort
# counting_sort # randomly fail with Z3
finite_tarski
insertion_sort
kmp
......
......@@ -45,7 +45,7 @@ export shapes=""
run_dir () {
if [ "$REGTESTS_MODE" = "REDUCED" ]; then
if [ -f $1/reduced_regtests.list ]; then
LIST=`sed $1/reduced_regtests.list -e "s&.*&$1/\0/why3session.xml&"`
LIST=`sed $1/reduced_regtests.list -n -e "s&^\([^ #]\+\).*&$1/\1/why3session.xml&p"`
else
LIST=
fi
......
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