Unit test which calls vampire has been added.
This commit sets up correct path for vampire in unit test config
testDeleteUserAssVamp relies on default value of
SUMOKBtoTPTPKB.lang = "fof";
Unfortunately lang is changed in one of the tests in FormulaPreprocessorTest to "tff". As it's a global variable it leaks into testDeleteUserAssVamp and breaks the test. So cleanup for FormulaPreprocessorTest was added.
deleteUserAssertionsAndReload calls writeConfiguration which overrides SIGMA_HOME config.xml. This is not a problem for unit tests as they use test/unit/java/resources/config_topOnly.xml But IntegrationTestSuite relies on SIGMA_HOME config.xml which becomes top_Only. Added additional steps to setup SIGMA_HOME for IntegrationTestSuite
As more files has been added to config.xml now IntegrationTestSuite startup started to take more than testInitializationTime expected. So SIGMA_HOME config.xml for IntegrationTestSuite has been stripped to MILO as it doesn't need anything more.
apease
commented
1 year ago
Unit test which calls vampire has been added. This commit sets up correct path for vampire in unit test config
testDeleteUserAssVamp relies on default value of SUMOKBtoTPTPKB.lang = "fof"; Unfortunately
langis changed in one of the tests in FormulaPreprocessorTest to "tff". As it's a global variable it leaks into testDeleteUserAssVamp and breaks the test. So cleanup for FormulaPreprocessorTest was added.deleteUserAssertionsAndReload calls writeConfiguration which overrides SIGMA_HOME config.xml. This is not a problem for unit tests as they use test/unit/java/resources/config_topOnly.xml But IntegrationTestSuite relies on SIGMA_HOME config.xml which becomes top_Only. Added additional steps to setup SIGMA_HOME for IntegrationTestSuite
As more files has been added to config.xml now IntegrationTestSuite startup started to take more than
testInitializationTimeexpected. So SIGMA_HOME config.xml for IntegrationTestSuite has been stripped to MILO as it doesn't need anything more.