Project

General

Profile

Actions
Copy link

Bug #5425

closed

[expression] java.lang.IllegalArgumentException: Expression is not a condition: (BVEXTRACT D_IN 0 0)

Added by Sergey Smolov over 9 years ago. Updated over 9 years ago.

Status:
Closed
Priority:
High
Assignee:
Andrei Tatarnikov
Category:
-
Target version:
0.3
Start date:
11/12/2014
Due date:
% Done:

100%

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

Description

Дано: объект NodeOperation вида (BVEXTRACT D_IN 0 0), где D_IN - объект NodeVariable типа BIT_VECTOR (длины 9).

При попытке создать из него и прочих NodeOperation конъюнкцию с помощью метода ExprUtils.getConjunction возникает ошибка:

2014.11.12 23:21:04.076. ERROR: The exception has been encountered: java.lang.IllegalArgumentException: Expression is not a condition: (BVEXTRACT D_IN 0 0)
at ru.ispras.fortress.expression.ExprUtils.checkAllConditions(ExprUtils.java:378)
at ru.ispras.fortress.expression.ExprUtils.getConjunction(ExprUtils.java:189)
...

Причина ошибки состоит в том, что для данного выражения метод getDataType() возвращает UNKNOWN, хотя тут чистой воды BOOLEAN.

Actions
Copy link

Also available in: Atom PDF