Model checker does not work on action-reference-parameter case

Status: Pre-Alpha

Brought to you by: joeycoleman, lausdahl, pglvdm

#46 Model checker does not work on action-reference-parameter case

Milestone: 0.1.6

Status: open

Owner: Adalberto Cajueiro de Farias

Labels: None

Module: model-checker

Updated: 2013-11-04

Created: 2013-08-24

Private: No

An error window pops up. Following one such error it is also necessary to restart the COMPASS tool

Joey Coleman - 2013-09-29

assigned_to: Adalberto Cajueiro de Farias
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Joey Coleman - 2013-09-29

Verify that this is still present

If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Kenneth Lausdahl - 2013-11-04

Module: --> model-checker
If you would like to refer to this comment somewhere else in this project, copy and paste the following link: