Error when saving coverability tree
Investigate on the error that (sometimes) occurs when trying to save a coverability tree in pdf using pn.drawCoverabilityTree('myCovTree')
. See Computer lab 01.
Investigate on the error that (sometimes) occurs when trying to save a coverability tree in pdf using pn.drawCoverabilityTree('myCovTree')
. See Computer lab 01.