// Create one Testcase per Path
for (Entry<Path,Witness> p : paths.entrySet()) {
// Read Values from Solver and store in Model
TestCase tc = factory.createTestCase();
result.getTests().add(tc);
FunctionCall func = factory.createFunctionCall();
func.setName(tcgActivity.getName());
func.setActivity(tcgActivity);
tc.setFunction(func);
for (TCGVariable var : tcgActivity.getVariables()) {
Value v = factory.createValue();
v.setName(var.getName());
v.setVariable(var);
if (var.isIsParameter()) {
Double value = p.getValue().get(var).get(0);
v.setValue(value);
switch (var.getUsage()) {
case IN_PARAMETER:
func.getParameters().add(v);
break;
case OUT_PARAMETER:
tc.getTestForValue().add(v);
break;
case INOUT_PARAMETER: