ERROR: Zero color constituents
Closed this issue · 1 comments
srba commented
When you run the following, the engine returns:
ERROR: Zero color constituents
error-model-query.zip
verifydtapn --k-bound 10 --trace 0 --search-strategy default --verification-method 0 --memory-optimization 0 model.xml query.xml
srba commented
Here is the file that can be opened in the cpn GUI branch.