use of org.evosuite.testcase.execution.EvosuiteError in project evosuite by EvoSuite.
the class SymbolicObserver method after.
private void after(CharPrimitiveStatement statement, Scope scope) {
char valueOf = statement.getValue();
VariableReference varRef = statement.getReturnValue();
String varRefName = varRef.getName();
IntegerVariable integerVariable = buildIntegerVariable(varRefName, valueOf, Character.MIN_VALUE, Character.MAX_VALUE);
symb_expressions.put(varRefName, integerVariable);
Character character0;
try {
character0 = (Character) varRef.getObject(scope);
} catch (CodeUnderTestException e) {
throw new EvosuiteError(e);
}
ReferenceConstant charRef = newCharacterReference(character0, integerVariable);
symb_references.put(varRefName, charRef);
}
Aggregations