In the attached net, when verifying the query, an empty error message appears.
This is segfault in the verifytapn engine with error message:
Could not collect tuple colors from arc expression 'finiteintrangeconstant'
Bug watches keep track of this bug in other bug trackers.
This is segfault in the verifytapn engine with error message:
Could not collect tuple colors from arc expression 'finiteintrange constant'