search

luisandresilva / reprotool

Automatically exported from code.google.com/p/reprotool
0 stars 0 forks source link

Output from nusmv model checker #69

Closed GoogleCodeExporter closed 8 years ago

GoogleCodeExporter commented 8 years ago 
Currently, if there is a syntax error in the nusmv file, the tool prints the 
error message to the console of the developer's Eclipse instance.

Example:
  file /somwhere/runtime-ReprotoolIDE.product/CityMapExample/project.swproj.nusmv: line 115: case conditions are not exhaustive

  Executing NuSMV command: check_ctlspec -o counterexample.xml
  A model must be built before. Use the "build_model" command.

Instead, errors from the nusmv tool should be printed on the 
"reprotool.fm.nusmv" console within the running Reprotool Eclipse instance.

Original issue reported on code.google.com by viliam.s...@gmail.com on 14 Dec 2011 at 11:50

GoogleCodeExporter commented 8 years ago 
The issue has been fixed

Original comment by rud...@gmail.com on 6 Jan 2012 at 1:24