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