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

DSE-CLI: Update Parameters to Produce SAT/UNSAT Test Cases

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

Signed-off-by: Alexander Diewald's avatarAlexander Diewald <diewald@fortiss.org>
parent 2d9067a7
ExecuteDSECommandLineHandler.java 7955b0bf22da3f4c4b72b441d201cf60d71ae6b6 GREEN
TestCaseGenerationCommandLineHandler.java ccd942515f5490ff9ed6ece891f3ade206333a08 GREEN
TestCaseGenerationCommandLineHandler.java 04b883074c5ed0aac33d6f5ceccc563420d7ef54 YELLOW
ValidateDSESolutionCommandLineInterface.java 1b882428463c21c355d96c883af428d3fa4cce2d GREEN
......@@ -43,10 +43,10 @@ public class TestCaseGenerationCommandLineHandler implements ICommandLineSwitchH
private final int compArchNum = 1;
/** Minimal number of {@link Component}s per {@link ComponentArchitecture}. */
private final int minComponentNum = 10;
private final int minComponentNum = 20;
/** Maximum number of {@link Component}s per {@link ComponentArchitecture}. */
private final int maxComponentNum = 15;
private final int maxComponentNum = 30;
/** {@inheritDoc} */
@Override
......
AnnotationGenerationUtils.java 68838365ac2ecac7a9b086315144ce802bf4e930 YELLOW
AnnotationGenerationUtils.java f99734f382bdddf1195994e615b133f7b7b4a34e YELLOW
CompArchGeneratonUtil.java 0f1e3c048884fa4df6a35b6a110c46da58f59857 GREEN
DseUtils.java 7a93f643bcc25adc9df3c53a1c8e74f89eda4608 YELLOW
FileWriterUtil.java 4a95559f571d41fa44e6236fc055ab5baac7c384 GREEN
......
......@@ -58,7 +58,7 @@ import org.fortiss.tooling.kernel.utils.EcoreUtils;
public class AnnotationGenerationUtils {
/** Amount of memory available for tasks relative to the memory provided by execution units. */
private static double[] MEMORY_USAGE = {0.5};
private static double[] MEMORY_USAGE = {1.0};
/** Hiding constructor. */
private AnnotationGenerationUtils() {
......
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