Hi Martin, Which versions of Ubuntu, Python, python-lxml are you using? It could be a version incompatibility. Viet Yen On Jul 20, 2012, at 15:14 , Martin Billes wrote:

Dear Compass Support,

I am trying to enter a property for the "battery"/"power" SLIM model that is described in the Compass User Manual. I loaded up my SLIM files into the Toolset and defined a Fault Injection, all of which compiled well. I then went to the Properties tab in order to enter a property, but I cannot seem to be able to enter a pattern story. I have attached a screenshot for reference. As you can see, there is not actually a form below the letters "Pattern story" which would allow me to enter an atomic proposition. This is true for all patterns I tried to select.

Best regards, Martin Billes <patternstory.png>_______________________________________________ COMPASS-support mailing list COMPASS-support@lists.rwth-aachen.de http://mailman.rwth-aachen.de/mailman/listinfo/compass-support

Viet Yen