Why does the trace options in the queries get disabled when symmetry reduction is selected?

Created by Kenneth Yrke Jørgensen on on 2009-05-09
Keywords:
Last updated by:
Kenneth Yrke Jørgensen on on 2010-06-01

This is a current limitation of the UPPAAL verification engine. When symmetry reduction is activated, it may significantly speed up the verification time but a trace information is not available. This is a temporary restriction and the option of a debugging trace should be available also with symmetry reduction in some of the future releases.