From 4d01994940121fc255bd242358b5135a27e8dce5 Mon Sep 17 00:00:00 2001 From: ArenBabikian Date: Thu, 4 Apr 2019 14:43:17 -0400 Subject: Closes #34, adds code to test cases where minScope>maxScope. --- .../src/ca/mcgill/ecse/dslreasoner/vampire/icse/GeneralTest.xtend | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) (limited to 'Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner') 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 34f55828..5b49543d 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,10 +90,10 @@ class GeneralTest { val vampireConfig = new VampireSolverConfiguration => [ // add configuration things, in config file first it.documentationLevel = DocumentationLevel::FULL - it.typeScopes.minNewElements = 96 - it.typeScopes.maxNewElements = 96 - it.typeScopes.minNewElementsByType = typeMapMin - it.typeScopes.maxNewElementsByType = typeMapMax +// it.typeScopes.minNewElements = 501 +// it.typeScopes.maxNewElements = 500 +// it.typeScopes.minNewElementsByType = typeMapMin +// it.typeScopes.maxNewElementsByType = typeMapMax ] solution = reasoner.solve(problem, vampireConfig, workspace) -- cgit v1.2.3-54-g00ecf