Model checker giver java null point exceptions for the small standard...

Status: Pre-Alpha

Brought to you by: joeycoleman, lausdahl, pglvdm

#74 Model checker giver java null point exceptions for the small standard examples like BitRegister

Milestone: 0.1.8

Status: open

Owner: Adalberto Cajueiro de Farias

Labels: None

Module: model-checker

Updated: 2013-11-18

Created: 2013-09-21

Private: No

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:

Kenneth Lausdahl - 2013-11-18

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