Bug #6424: b05.vhd: line 64: at token "d32_-10": syntax error - Retrascope - Open-Source Projects

Actions

Copy link

Bug #6424

closed

b05.vhd: line 64: at token "d32_-10": syntax error

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

Status:

Closed

Priority:

Normal

Assignee:

Mikhail Lebedev

Category:

Engine (Printer)

Target version:

0.1

Start date:

11/12/2015

Due date:

% Done:

100%

Estimated time:

Detected in build:

svn

Platform:

Published in build:

0.2.1

Description

The HlddXmvPrinter engine crashes on b05.vhd VHDL design with the following error log:

2015.11.12 13:33:52.364. INFO: Running: hldd-xmv-printer

2015.11.12 13:33:52.364. INFO: Options: {hldd=<hldd>, args=../test/itc99-poli2/b05/b05.vhd --target hldd-xmv --toplevel b05 --output-file b05.smv, assertion=<assertion>}

2015.11.12 13:33:52.713. INFO: Storing: xmv

2015.11.12 13:33:52.713. INFO: Retrascope is shutting down
2015.11.12 13:33:52.724. INFO: *** This is nuXmv 1.0.1 (compiled on Mon Nov 17 16:49:54 2014)
2015.11.12 13:33:52.724. INFO: *** Copyright (c) 2014, Fondazione Bruno Kessler
2015.11.12 13:33:52.724. INFO: 
2015.11.12 13:33:52.724. INFO: *** For more information on nuXmv see https://nuxmv.fbk.eu
2015.11.12 13:33:52.724. INFO: *** or email to <nuxmv@list.fbk.eu>.
2015.11.12 13:33:52.724. INFO: *** Please report bugs at https://nuxmv.fbk.eu/bugs
2015.11.12 13:33:52.724. INFO: *** (click on "Login Anonymously" to access)
2015.11.12 13:33:52.724. INFO: *** Alternatively write to <nuxmv@list.fbk.eu>.
2015.11.12 13:33:52.724. INFO: 
2015.11.12 13:33:52.724. INFO: *** This version of nuXmv is linked to NuSMV 2.5.trunk.
2015.11.12 13:33:52.724. INFO: *** For more information on NuSMV see <http://nusmv.fbk.eu>
2015.11.12 13:33:52.724. INFO: *** or email to <nusmv-users@list.fbk.eu>.
2015.11.12 13:33:52.724. INFO: *** Copyright (C) 2010-2014, Fondazione Bruno Kessler
2015.11.12 13:33:52.724. INFO: 
2015.11.12 13:33:52.724. INFO: *** This version of nuXmv is linked to the CUDD library version 2.4.1
2015.11.12 13:33:52.724. INFO: *** Copyright (c) 1995-2004, Regents of the University of Colorado
2015.11.12 13:33:52.724. INFO: 
2015.11.12 13:33:52.724. INFO: *** This version of nuXmv is linked to the MiniSat SAT solver. 
2015.11.12 13:33:52.724. INFO: *** See http://minisat.se/MiniSat.html
2015.11.12 13:33:52.724. INFO: *** Copyright (c) 2003-2006, Niklas Een, Niklas Sorensson
2015.11.12 13:33:52.724. INFO: *** Copyright (c) 2007-2010, Niklas Sorensson
2015.11.12 13:33:52.724. INFO: 
2015.11.12 13:33:52.724. INFO: *** This version of nuXmv is linked to MathSAT
2015.11.12 13:33:52.724. INFO: *** Copyright (C) 2014 by Fondazione Bruno Kessler
2015.11.12 13:33:52.724. INFO: *** Copyright (C) 2014 by University of Trento
2015.11.12 13:33:52.724. INFO: *** See http://mathsat.fbk.eu
2015.11.12 13:33:52.724. INFO: 
2015.11.12 13:33:52.851. INFO: 
2015.11.12 13:33:52.851. INFO: file b05.smv: line 64: at token "d32_-10": syntax error
2015.11.12 13:33:52.851. INFO: 
2015.11.12 13:33:52.851. INFO: 
2015.11.12 13:33:52.851. INFO: file b05.smv: line 64: Parser error
2015.11.12 13:33:52.851. INFO: 
2015.11.12 13:33:52.851. INFO: NuSMV terminated by a signal