Project

General

Profile

Actions

Feature #5190

closed

[solver] Поддержка целочисленного переполнения

Added by Igor Melnichenko over 9 years ago. Updated over 9 years ago.

Status:
Closed
Priority:
High
Assignee:
Andrei Tatarnikov
Category:
-
Target version:
Start date:
08/02/2014
Due date:
% Done:

100%

Estimated time:
Published in build:
141226

Description

При генерации тестов потребовалось выполнить выражение (ADD -1487988057 -1487988057) для типа данных INTEGER. Вылетело следующее исключение:

java.lang.NumberFormatException: For input string: "-2975976114"
at java.lang.NumberFormatException.forInputString(Unknown Source)
at java.lang.Integer.parseInt(Unknown Source)
at java.lang.Integer.valueOf(Unknown Source)
at ru.ispras.fortress.data.DataTypeId$3.valueOf(DataTypeId.java:125)
at ru.ispras.fortress.data.DataType.valueOf(DataType.java:197)
at ru.ispras.fortress.solver.engine.z3.Z3TextSolver.parseVariable(Z3TextSolver.java:212)
at ru.ispras.fortress.solver.engine.z3.Z3TextSolver.tryToParseVariable(Z3TextSolver.java:238)
at ru.ispras.fortress.solver.engine.z3.Z3TextSolver.solve(Z3TextSolver.java:144)
...

Actions

Also available in: Atom PDF