Project

General

Profile

Bug #5248

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

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

Status:
Closed
Priority:
Normal
Category:
-
Target version:
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)

History

#1

Updated by Igor Melnichenko about 5 years ago

  • Status changed from New to Resolved

Сейчас посмотрел внимательно: оказалось, я когда-то случайно сохранил код, который написал как раз для воспроизведения этой ошибки.
Исправлено.

#2

Updated by Sergey Smolov about 5 years ago

  • Status changed from Resolved to Verified

Тест проходит.

#3

Updated by Alexander Kamkin about 5 years ago

  • Status changed from Verified to Closed

Also available in: Atom PDF