Starting UPPAAL verifier
The verifier of UPPAAL could not be started. using "=="instead of "=" to assign a variable while inserting a code in a block is not reported as bug in checking syntax while the Uppaal verfier could not start due to this error test.xml