Changeset 15ca3f3 in tol for tol_tests/tol/Bugzilla/bug_000760/test.tol

Timestamp:

Mar 13, 2012, 9:34:06 PM (15 years ago)

Author:

Víctor de Buen <vdebuen@…>

Branches:

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

Children:

a0e20ba

Parents:

00a4751

Message:

Include with errors returns nothing instead of empty set

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

File:

• tol_tests/tol/Bugzilla/bug_000760/test.tol (modified) (2 diffs)

tol_tests/tol/Bugzilla/bug_000760/test.tol

@@ -18 +18 @@
   Set aux = Include("file.tol");
 
-  Real ok = Card(aux)==0;
+  Real ok = !ObjectExist("Set","aux");
 
   Real numErr1 = Copy(NError);
@@ -26 +26 @@
 
 //This is a messure of the success of the test 
-  Real quality_ = And(numErr1 == numErr0+1, 
+  Real quality_ = And(numErr1 > numErr0, 
                       numWar1 == numWar0, ok);