Long Variable in Method Argument not supported via JaCoP Solver

[anfuchs]

A method to test with following signature:
public boolean doesUserExist(long key)

The de.wwu.muggl.solvers.jacop.JaCoPSolverManager creates a NumericConstant.INT in method getSolution, because the found solution (e.g., -50) is of type IntDomain.

In de.wwu.muggl.symbolic.testCases.SoltionProcessor#generateTestCases the following if-clause is used, that is never true:

if (parameterTypes[a - startAt].equals("long") && parameters[a] instanceof LongConstant)

This is because parametersTyes[x] is long , but parameters[a] is of type IntConstant , and not LongConstant.