Invariants are not styled
Bug #313593 reported by
Kenneth Yrke Jørgensen
| Affects | Status | Importance | Assigned to | Milestone | |
|---|---|---|---|---|---|
| pyuppaal |
Fix Released
|
Undecided
|
Mads Chr. Olesen | ||
Bug Description
It seems like pyuppaal doe's not style invariant when running ./layout_uppaal.py
Revision history for this message
| Mads Chr. Olesen (shiyee) wrote | #1 |
| Changed in pyuppaal: | |
| assignee: | nobody → shiyee |
| status: | New → Fix Committed |
| status: | Fix Committed → Fix Released |
To post a comment you must log in.
Fixed in trunk, revision 13