Enable approximation for CPNs
Bug #2057970 reported by
Mikkel Tygesen
This bug affects 1 person
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
TAPAAL |
Fix Committed
|
Undecided
|
Unassigned |
Bug Description
Enabling approximation for timed colored nets currently throws an NPE. The stack trace can be seen in the attached file.
summary: |
- Approximation does not work for CPN + Enable approximation for CPNs |
description: | updated |
Changed in tapaal: | |
status: | New → Fix Committed |
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.