Commit d8598fb5 authored by Simon Barner's avatar Simon Barner
Browse files

GREEN

Issue-Ref: 4064
Issue-Url: https://af3-developer.fortiss.org/issues/4064

Signed-off-by: Simon Barner's avatarSimon Barner <barner@fortiss.org>
parent 573ef83b
Z3Backend.java 4d949b6c127b61c7324df9be7034d17b0b301dbb YELLOW
Z3Backend.java 3c5cafb72109c18a22865ad98992db59893ed925 GREEN
......@@ -119,7 +119,7 @@ public class Z3Backend implements IDSEBackend {
return new ScheduleRun(spec, timeout);
} else {
throw new Exception("No applicable " + SolverRun.class.getSimpleName() +
" was found for the given set of synthesises to perform.");
" was found for the given set of syntheses to perform.");
}
}
......
DashboardFXController.java 315ccd8fe4d9c2d70e78037adb3aebcf46fe6316 YELLOW
DashboardFXController.java 315ccd8fe4d9c2d70e78037adb3aebcf46fe6316 GREEN
DashboardFXViewPart.java 2ff7e676b3ac9053b713d6412c92466af7fff2e7 GREEN
DSEProcessNavigator.java ffe553880780053b5d01bf777b52e51bb611acf0 YELLOW
DSEProcessNavigator.java ffe553880780053b5d01bf777b52e51bb611acf0 GREEN
ExplorationElementTreeViewer.java 47f80c87855c35f11af01f409604b45433704974 GREEN
ExplorationNavigatorElementContentProvider.java 27a951f2dd5c9cb7f96c371e1e5f894825933cfd GREEN
ExplorationNavigatorFXController.java 317b4521a09e3f1067fd0e4aac061d1b573c092b GREEN
......
RuleSetUIProvider.java 9805f8c6d231992cc3471ea2cd9e6b3eb05e004d GREEN
SolverSettingsDialog.java 25b3541fc6eab090500321fa32a3f68992fff0a0 GREEN
SolverSettingsTreeTableViewer.java 0f0be7ff52d2c48fbff9d37c7e23bd7a99eb1948 YELLOW
SolverSettingsTreeTableViewer.java 0f0be7ff52d2c48fbff9d37c7e23bd7a99eb1948 GREEN
SynthesisCategoryExplorationTargetContentProvider.java 410f00e07b5f4208b762b80baf563b2b73a93a71 GREEN
SynthesisCategoryRuleSetContentProvider.java 039913dba18b0248d10a77275258bc9acf9526cf GREEN
SynthesisFXContentController.java 0af860ed5ab2788042296d89c195ba2e2204447e YELLOW
SynthesisFXContentController.java 0af860ed5ab2788042296d89c195ba2e2204447e GREEN
SynthesisFXViewPart.java e40c2bd501d87b41c6324ab80fd34e64410db644 GREEN
dseml.ecore df66fd1e1e45789fc18bcb2d5992eb839188e849 GREEN
exploration.ecore a37edcd2c57a5e45e307345cc6988ad6633f2f2b YELLOW
exploration.ecore a37edcd2c57a5e45e307345cc6988ad6633f2f2b GREEN
ExecuteDSECommandLineHandler.java 4d80dee08bbf5f66d460bcdd158aaf3c96b654ab YELLOW
ExecuteDSECommandLineHandler.java 4d80dee08bbf5f66d460bcdd158aaf3c96b654ab GREEN
TestCaseGenerationCommandLineHandler.java ccd942515f5490ff9ed6ece891f3ade206333a08 GREEN
ValidateDSESolutionCommandLineInterface.java 47d7ffc80526e670ac149a2c18100ca6cc8ee19b GREEN
DSEProjectModelElementFactory.java 49c1d88c2260764ffeda419b8d3ca5002d387481 YELLOW
DSEProjectModelElementFactory.java 49c1d88c2260764ffeda419b8d3ca5002d387481 GREEN
DSESolutionConversionUtils.java a6ccbba92864c653d1518a92455e87c17f7cc72b GREEN
DSMLModelElementFactory.java fa4a735ff40ab8f7d9898cecc0b04cfd8997572f GREEN
DSMLUtils.java 1113377031374cef7e29afcef458c4aeecad2b21 GREEN
......
......@@ -3,7 +3,7 @@ FileUtils.java 70e81c85ae7c2d8076e190ebad7eae648451b645 GREEN
FunctionScopeUtils.java 054c92406affa0c0ad8ac7a067de9608d0bbca2b GREEN
LibraryModelElementFactory.java a5a30a0e6b274d220c397d9bf0f14756d49bd19f GREEN
ProjectModelElementFactory.java 2963d3a1fe651025bae3ae4dc0b6e0b77bbaadd5 GREEN
ProjectUtils.java ec338a0640e7e6170942aa619ac853a6deb22d48 YELLOW
ProjectUtils.java ec338a0640e7e6170942aa619ac853a6deb22d48 GREEN
TestCaseProjectUtils.java 83dc50f1fc28c7f1d9dcde9e4e0d02480656b7aa GREEN
TypeScopeUtils.java 54f2397f0d6720c90948ccc295f1a63b7319daac GREEN
VariableScopeUtils.java 031591687c2461a990d0534cf4ed4d6df39b1551 GREEN
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment