"clock x, y;" is handled incorrectly
Bug #797631 reported by
Peter Bulychev
This bug affects 1 person
| Affects | Status | Importance | Assigned to | Milestone | |
|---|---|---|---|---|---|
| DBMPyUPPAAL |
New
|
Undecided
|
Peter Bulychev | ||
Bug Description
currently only "clock x; clock y;" is supported
| Changed in dbmpyuppaal: | |
| assignee: | nobody → Peter Bulychev (peter-bulychev) |
To post a comment you must log in.
