From b1af9114728270d243619bf9498d8cce6e0e0c64 Mon Sep 17 00:00:00 2001
From: ArenBabikian <aren.babikian@mail.mcgill.ca>
Date: Thu, 21 Mar 2019 11:47:31 -0400
Subject: Add to containment, add notObject case.

---
 .../ca/mcgill/ecse/dslreasoner/vampire/icse/GeneralTest.java          | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/GeneralTest.java')

diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/GeneralTest.java b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/GeneralTest.java
index 80cec4b9..d69a6344 100644
--- a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/GeneralTest.java
+++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/GeneralTest.java
@@ -107,8 +107,8 @@ public class GeneralTest {
         VampireSolverConfiguration _vampireSolverConfiguration = new VampireSolverConfiguration();
         final Procedure1<VampireSolverConfiguration> _function_2 = (VampireSolverConfiguration it) -> {
           it.documentationLevel = DocumentationLevel.FULL;
-          it.typeScopes.minNewElements = 6;
-          it.typeScopes.maxNewElements = 40;
+          it.typeScopes.minNewElements = 96;
+          it.typeScopes.maxNewElements = 96;
           it.typeScopes.minNewElementsByType = typeMapMin;
           it.typeScopes.maxNewElementsByType = typeMapMax;
         };
-- 
cgit v1.2.3-54-g00ecf