Premature end of file for CPN unfolding
Bug #2012122 reported by
Jiri Srba
This bug affects 1 person
| Affects | Status | Importance | Assigned to | Milestone | |
|---|---|---|---|---|---|
| TAPAAL |
Fix Committed
|
Undecided
|
Unassigned | ||
Bug Description
Open the attached CPN and unfold (press M). If some optimizations are selected,
it fails due to premature end of file, without optimizations it unfolds just fine.
Revision history for this message
| Jiri Srba (srba) wrote | #1 |
Revision history for this message
| Jiri Srba (srba) wrote | #2 |
Revision history for this message
| Jiri Srba (srba) wrote | #3 |
Revision history for this message
| Jiri Srba (srba) wrote | #4 |
| Changed in tapaal: | |
| status: | New → Fix Committed |
To post a comment you must log in.
In the same model, make a new query and press the boundedness check - it also fails.