Changeset 4bf9d0c in tol for tol_tests

Timestamp:

Mar 7, 2011, 9:45:34 AM (16 years ago)

Author:

Víctor de Buen <vdebuen@…>

Branches:

1941-docker-image-to-test, devel, master

Children:

93e0e8c

Parents:

4b42222

Message:

Refs #1004

git-svn-id: ​https://www.tol-project.org/svn/tolp/trunk@3272 be4846ae-f051-483a-831f-b64e7d08527f

File:

• tol_tests/tol/Bugzilla/bug_001004/test.tol (modified) (3 diffs)

tol_tests/tol/Bugzilla/bug_001004/test.tol

@@ -17 +17 @@
   WriteLn("TRACE 1 NObjects = "<<Copy(NObject));
 
-  Real x.1 = inf;
-  Real x.2 = -inf;
-  Real x.3 = +inf;
+  Real a = inf;
 
-  Real ok.1 = x.1 ==  1/0;
-  Real ok.2 = x.2 == -1/0;
-  Real ok.3 = x.3 ==  1/0;
   WriteLn("TRACE 2 NObjects = "<<Copy(NObject));
 
@@ -29 +24 @@
   Real numWar1 = Copy(NWarning);
 
+  Real inf = 2;
+  Real x.1 = inf;
+  Real x.2 = -inf;
+  Real x.3 = +inf;
+
+  Real ok.1 = x.1 ==  2;
+  Real ok.2 = x.2 == -2;
+  Real ok.3 = x.3 ==  2;
+  
+  Real numErr2 = Copy(NError);
+  Real numWar2 = Copy(NWarning);
+
+
   Set partialResults_ = [[ numErr0, numErr1,x.1,x.2,x.3,ok.1,ok.2,ok.3]];
 
 //This is a messure of the success of the test 
-  Real quality_ = And(numErr0==numErr1,ok.1,ok.2,ok.3);
+  Real quality_ = And(numErr0+2==numErr1,numErr1==numErr2,ok.1,ok.2,ok.3);
 
 //Return the results 
@@ -43 +51 @@
 
 /* */
-