Workaround 612

Workaround 612

From ClearSy Tools

Jump to: navigation, search

Workaround for bug 612

Bug description

On linux, when trying to prove components containing enumerated sets, the interactive prover will crash on startup with the following error message: 

 ASSERT: \"i >= 0 && i < size()\" in file /usr/local/Trolltech/Qt-4.4.1/include/QtCore/qstring.h, line 650

Workaround

This bug happens when the "Enumerated Sets" view is not activated, and that the component contains enumerated sets. So, ensuring that the "Enumerated Sets" view is activated will prevent the interactive prover from crashing.

To activate the "Enumerated Sets" view, open the interactive prover on a component that does not contain enumerated sets, and check the "View > Enumerated Sets" menu. In the case where you don't have a component without enumerated sets, you can add a new component such as the following: 

 MACHINE
   test
 ASSERTIONS
   0=1
 END
Retrieved from "http://tools.clearsy.com/index.php5?title=Workaround_612"