From 36b3b957df6ff37d3c0b7196943c825b4fb0fffd Mon Sep 17 00:00:00 2001 From: ArenBabikian Date: Thu, 21 Mar 2019 11:47:31 -0400 Subject: Add to containment, add notObject case. --- .../src/ca/mcgill/ecse/dslreasoner/vampire/icse/GeneralTest.xtend | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire') diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/icse/GeneralTest.xtend b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/icse/GeneralTest.xtend index 1559ee3f..34f55828 100644 --- a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/icse/GeneralTest.xtend +++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/icse/GeneralTest.xtend @@ -90,8 +90,8 @@ class GeneralTest { val vampireConfig = new VampireSolverConfiguration => [ // add configuration things, in config file first 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