Commit ffab4b20 authored by Marco Volpe's avatar Marco Volpe

GREEN

Issue-Ref: 4008
Issue-Url: https://af3-developer.fortiss.org/issues/4008Signed-off-by: Marco Volpe's avatarMarco Volpe <volpe@fortiss.org>
parent 1896ea09
......@@ -15,5 +15,5 @@ NonQuantifiedExpressionTransformator.java 9ee437aeaf518d94b81e34a275cd01b87cfca1
QuantifiedExpressionTransformator.java 01e7162b24d16adb23f646cf02340879e8a18205 GREEN
SMTTransformationUtils.java 376da0f5dafb350b49004c7d75fb8858b53d3b7d GREEN
ScheduleRun.java 43d869a9adfbebe34c34f1ebb0bc8e0600f45b9d GREEN
SolverRun.java 7b60b4cc2095baaba914e6d5278c19273602ce6c YELLOW
SolverRun.java 7b60b4cc2095baaba914e6d5278c19273602ce6c GREEN
TimingConstraintDefinition.java 92281277d99bb52b72c1cb898bba944b3b9a24f7 GREEN
AF3Exploration.java c3c1ac801d302ff2c7d79cbcbe459a4f087a4093 GREEN
AF3ExplorationActivator.java bd4ea80561dbd7256d15a832d3c7ddb9611c5c36 YELLOW
AF3ExplorationActivator.java bd4ea80561dbd7256d15a832d3c7ddb9611c5c36 GREEN
ExecuteDSECommandLineHandler.java 4e704418d35cba540d35c7ec6949137669459720 YELLOW
TestCaseGenerationCommandLineHandler.java efb4ab4608c1d96184c9f662ebb20e690d4dc712 YELLOW
ValidateDSESolutionCommandLineInterface.java fe22edc178a4255dca54d083d3869c9142b7d304 YELLOW
ExecuteDSECommandLineHandler.java 4e704418d35cba540d35c7ec6949137669459720 GREEN
TestCaseGenerationCommandLineHandler.java efb4ab4608c1d96184c9f662ebb20e690d4dc712 GREEN
ValidateDSESolutionCommandLineInterface.java fe22edc178a4255dca54d083d3869c9142b7d304 GREEN
DSEStaticImpl.java 8dbcca69543c56dd6f646999de726fe7bb7575c1 YELLOW
DSEStaticImpl.java 8dbcca69543c56dd6f646999de726fe7bb7575c1 GREEN
InitialInputDefinitionStepStaticImpl.java 574a20551eff4745bb24b682edd616368321de46 GREEN
ModelSnapshotStaticImpl.java 6db72d06363209e53e2dae7e0e0834a8239d3e7c GREEN
ProcessStepStaticImpl.java f8ba2886782505778fd0a16c895988d568d97491 YELLOW
ProcessStepStaticImpl.java f8ba2886782505778fd0a16c895988d568d97491 GREEN
SolutionSelectionStepStaticImpl.java f62112f9d033b45294155eb8f77edfd74a633b07 GREEN
DSEBackendService.java fa1d5afe25cf672bd8cd4d74e924de08767066c5 YELLOW
DSEBackendService.java fa1d5afe25cf672bd8cd4d74e924de08767066c5 GREEN
DSESolutionExporterService.java fa37b8d1e3379cce1f06f02d2f270a6177611e7f GREEN
ArchitectureGraph.java 4f1539b6997b7a71d744ef750aa2f102097f211d YELLOW
ArchitectureGraph.java 4f1539b6997b7a71d744ef750aa2f102097f211d GREEN
ExplorationTestCaseGenerator.java 583c4679996e0c8c277c23da4f5285dea849b650 YELLOW
Markdown is supported
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