From b1bbb821c0e5a3f721de211826dab19c7d9dca4f Mon Sep 17 00:00:00 2001 From: ArenBabikian Date: Fri, 5 Apr 2019 03:32:48 -0400 Subject: Implement containment circularity avoidance #20 --- .../src/ca/mcgill/ecse/dslreasoner/vampire/icse/GeneralTest.xtend | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/icse/GeneralTest.xtend') 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 25ba546a..949abe87 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 @@ -93,9 +93,11 @@ class GeneralTest { // add configuration things, in config file first it.documentationLevel = DocumentationLevel::FULL it.typeScopes.minNewElements = 4 - it.typeScopes.maxNewElements = 7 + it.typeScopes.maxNewElements = 25 it.typeScopes.minNewElementsByType = typeMapMin it.typeScopes.maxNewElementsByType = typeMapMax + it.contCycleLevel = 5 + it.uniquenessDuplicates = false ] solution = reasoner.solve(problem, vampireConfig, workspace) -- cgit v1.2.3-54-g00ecf