Project

General

Profile

Bug #6424

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

Added by Sergey Smolov almost 4 years ago. Updated over 3 years ago.

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

History

#1

Updated by Mikhail Lebedev almost 4 years ago

  • Status changed from New to Resolved
  • % Done changed from 0 to 100

Fixed, but NuXMV still crashes because of the other reasons.
rev.2610

#2

Updated by Sergey Smolov over 3 years ago

  • Status changed from Resolved to Closed
  • Published in build set to 0.2.1

Also available in: Atom PDF