Changeset e307e2c in tol for tol_tests

Timestamp:

Sep 24, 2009, 11:50:45 AM (17 years ago)

Author:

Víctor de Buen <vdebuen@…>

Branches:

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

Children:

a73b62c

Parents:

b1f0844

Message:

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

File:

• tol_tests/tol/BSR/test_09/test.tol (modified) (1 diff)

tol_tests/tol/BSR/test_09/test.tol

@@ -21 +21 @@
 Real rndSeed = GetRandomSeed(0);
 WriteLn("Current Random Seed = "<<rndSeed);
+
+TimeSet CtLV = C - (WD(6)+WD(7));
 
 Set data = { Include ("data.oza") };