blob: 94b517d5e28dfb2f43ea30c465648d5d02e7e9a9 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
|
--- test/runSplitTests.orig 2018-09-08 10:55:55 UTC
+++ test/runSplitTests
@@ -30,6 +30,8 @@ params="$*"
testhelper=../testScripts/testhelper
paths="specialIdeals commonIdeals frob"
+failed=""
+
runTests () {
action="$1"; shift;
splits="$*";
@@ -41,8 +43,9 @@ runTests () {
for path in $paths; do
cd test/$path;
../testScripts/runtests $action $params -split $split;
- if [ $? != 0 ]; then exit 1; fi
+ if [ $? != 0 ]; then cd ../..; return 1; fi
cd ../..;
+return 0
if [ "$testLevel" = "few" ]; then
if [ "$action" != "frob" ]; then
@@ -57,19 +60,25 @@ runTests () {
for action in $bigattiActions;
do
runTests "$action" $bigattiSplits
+if [ $? -eq 1 ]; then failed="$failed $action"; continue; fi
done
for action in $labelActions;
do
runTests "$action" $labelSplits
+if [ $? -eq 1 ]; then failed="$failed $action"; continue; fi
done
for action in $pivotActions;
do
runTests "$action" $pivotSplits
+if [ $? -eq 1 ]; then failed="$failed $action"; continue; fi
done
for action in $frobActions;
do
runTests "$action" $frobSplits
+if [ $? -eq 1 ]; then failed="$failed $action"; continue; fi
done
+echo -e "\nFailed tests:$failed."
+echo "But test hilbert_bigatti was expected to fail because simplification is broken for it."
|
