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
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
compass-support@lists.rwth-aachen.de
-
Martin Billes -
Viet Yen Nguyen