Project

General

Profile

Actions
Copy link

Bug #5248

closed

[efsm][testgen]FateTestCase -> java.lang.NumberFormatException: For input string: "-2975976114"

Added by Sergey Smolov about 10 years ago. Updated about 10 years ago.

Status:
Closed
Priority:
Normal
Assignee:
Igor Melnichenko
Category:
-
Target version:
0.1
Start date:
09/03/2014
Due date:
% Done:

0%

Estimated time:
Detected in build:
svn
Platform:
Published in build:

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)

Actions
Copy link

Also available in: Atom PDF