Enable approximation for CPNs
Bug #2057970 reported by
Mikkel Tygesen
This bug affects 1 person
| Affects | Status | Importance | Assigned to | Milestone | |
|---|---|---|---|---|---|
| TAPAAL |
New
|
Undecided
|
Unassigned | ||
Bug Description
Enabling approximation for timed colored nets currently throws an NPE. The stack trace can be seen in the attached file.
Revision history for this message
| Mikkel Tygesen (mtygesen) wrote | #1 |
Revision history for this message
| Jiri Srba (srba) wrote | #2 |
| Changed in tapaal: | |
| milestone: | none → cpn |
| summary: |
- Approximation does not work for CPN + Enable approximation for CPNs |
| description: | updated |
To post a comment you must log in.
Well, this is not really a bug, more a feature request that is not completely trivial to implement due to this NPE.