Model checker seems to deal with one file and one process at a time

Status: Pre-Alpha

Brought to you by: joeycoleman, lausdahl, pglvdm

#87 Model checker seems to deal with one file and one process at a time

Milestone: 0.2.0

Status: open

Owner: Adalberto Cajueiro de Farias

Labels: None

Module: model-checker

Updated: 2013-11-04

Created: 2013-09-30

Creator: Peter Gorm Larsen

Private: No

It looks to me you can only start the model checker with one file (and not a project). It even seems that the file can only have one process. Surely this is just a temporary limitation!?

Discussion

Joey Coleman - 2013-10-03

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:

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:

Model checker seems to deal with one file and one process at a time

Milestone

Searches

Help

#87 Model checker seems to deal with one file and one process at a time

Discussion