Commit cc44dfc8 authored by Alexander Diewald's avatar Alexander Diewald
Browse files

Code-Review: GREEN / Remains RED (depr. elements)

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

Signed-off-by: Alexander Diewald's avatarAlexander Diewald <diewald@fortiss.org>
parent fabe3efc
Z3Backend.java 5eddc51c874d6d89074702b4f217f0763b398db6 YELLOW
Z3Backend.java fbae87ebe57e64bcc657b79e64b17d58b49cdefd GREEN
......@@ -5,11 +5,11 @@ ConstraintDefinitionUtils.java f110a4a216905d2236324ae459d789d50114e25c GREEN
ConstraintToNonQuantifiedSMT.java de0e8a7000e26d745b62a27f8c2482e7a7737add GREEN
ConstraintToQuantifiedSMT.java c84e799c69195fe80a2e66a39d0192325b06c7fd GREEN
DSMLTransformationService.java b2e90e11e36346d01c79c18f16ffc62f66f35888 GREEN
DSMLtoSMTTransformator.java 7a03c75f6d7baba392fee2c0f900fb7726854d72 GREEN
DSMLtoSMTTransformator.java 8f4b1880e6a4ab9e8c69eb1c784d7320f6a6a500 RED
DeploScheduleRun.java d074d157250deba431d8f34d13d6464fd27f8acb GREEN
DeploymentRun.java 67d240b1f02f906748811acad9ced9dd71e7cb56 GREEN
IDSMLTransformationService.java f56241d2dff68a69cd1fe09c119d615f74088650 GREEN
SMTTransformationUtils.java d2aa072852daffcf3c439db7da5c639d807715a5 GREEN
ScheduleRun.java 1ced7f48c5067d32e029f577ace10cdbc597ed2d GREEN
SolverRun.java d00f743a184793fc5253069ff771044baeaeeb06 YELLOW
SolverRun.java d00f743a184793fc5253069ff771044baeaeeb06 GREEN
TimingConstraintDefinition.java fba63bf61c53e7e6606a95515c20a7205f288f36 GREEN
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