Segmentation fault 11 of verifydtapn
Bug #2046492 reported by
Jiri Srba
This bug affects 1 person
| Affects | Status | Importance | Assigned to | Milestone | |
|---|---|---|---|---|---|
| TAPAAL |
Invalid
|
Undecided
|
Unassigned | ||
Bug Description
Open the attached net and unfold (press M). The engine fails with seg fault 11.
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 |
| Changed in tapaal: | |
| status: | New → Invalid |
To post a comment you must log in.
This is caused by the fact that there is an arc with expression 0'dot that was probably autogenerated. The GUI does not allow to create such an arc.