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
