Effects: support cfg tests with stdlib

- Add method "doTestWithStdLib" which launches test with stdlib
- Change GenerateTests.kt to generate cfg tests with stdlib from
folders 'cfgWithStdLib' and 'cfgVariablesWithStdLib'

==========
Introduction of Effect System: 14/18
This commit is contained in:
Dmitry Savvinov
2017-10-03 15:02:48 +03:00
parent d20c770a25
commit a986999226
2 changed files with 38 additions and 7 deletions
@@ -447,15 +447,19 @@ fun main(args: Array<String>) {
testClass<AbstractControlFlowTest> {
model("cfg")
model("cfgWithStdLib", testMethod = "doTestWithStdLib")
}
testClass<AbstractDataFlowTest> {
model("cfg-variables")
model("cfgVariablesWithStdLib", testMethod = "doTestWithStdLib")
}
testClass<AbstractPseudoValueTest> {
model("cfg")
model("cfgWithStdLib", testMethod = "doTestWithStdLib")
model("cfg-variables")
model("cfgVariablesWithStdLib", testMethod = "doTestWithStdLib")
}
testClass<AbstractAnnotationParameterTest> {