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
To post a comment you must log in.
Fixed in trunk, revision 13