Project

General

Profile

Actions
Copy link

Bug #9173

closed

Incorrect DataType: BIT_VECTOR(1) instead of BIT_VECTOR(40)

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

Status:
Closed
Priority:
High
Assignee:
Alexander Kamkin
Target version:
0.1
Start date:
07/27/2018
Due date:
% Done:

0%

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

Description

VeriTrans calculates wrong DataType for 'scr_reg' variable of 'parse_pack_header' module that is attached (see "Retrascope MC Benchmark" for more details).

The correct type should be BIT_VECTOR(40), but now it is BIT_VECTOR(1).

Files

parsepack.v (1.7 KB) parsepack.v Sergey Smolov, 07/27/2018 05:24 PM

Related issues 1 (0 open — 1 closed)

Related to Retrascope Test Suite - Bug #9172: Texas97ParsepackCfgGraphMlTestCase: ru.ispras.retrascope.basis.exception.RetrascopeException: Wrong range: 0 < 0 or 7 > 1.ClosedSergey Smolov07/27/2018

Actions
Actions
Copy link

Also available in: Atom PDF