Bug #5248
closed[efsm][testgen]FateTestCase -> java.lang.NumberFormatException: For input string: "-2975976114"
0%
Description
Тест падает со следующей ошибкой.
java.lang.NumberFormatException: For input string: "-2975976114"
at java.lang.NumberFormatException.forInputString(NumberFormatException.java:65)
at java.lang.Integer.parseInt(Integer.java:495)
at java.lang.Integer.valueOf(Integer.java:556)
at ru.ispras.fortress.data.DataTypeId$3.valueOf(DataTypeId.java:124)
at ru.ispras.fortress.data.DataType.valueOf(DataType.java:197)
at ru.ispras.fortress.solver.engine.z3.Z3TextSolver.parseVariable(Z3TextSolver.java:211)
at ru.ispras.fortress.solver.engine.z3.Z3TextSolver.tryToParseVariable(Z3TextSolver.java:237)
at ru.ispras.fortress.solver.engine.z3.Z3TextSolver.solve(Z3TextSolver.java:144)
at ru.ispras.retrascope.engine.efsm.testgen.FateTestCase.generate(FateTestCase.java:78)
Updated by Igor Melnichenko about 10 years ago
- Status changed from New to Resolved
Сейчас посмотрел внимательно: оказалось, я когда-то случайно сохранил код, который написал как раз для воспроизведения этой ошибки.
Исправлено.
Updated by Alexander Kamkin about 10 years ago
- Status changed from Verified to Closed