COMPASS-support July 2012

compass-support@lists.rwth-aachen.de

3 participants
2 discussions

by Martin Billes

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

12 years, 1 month

Website problem when requesting Download for Compass Toolset

by Martin Billes

To whom it may concern, there is an error on your website that prevents me from submitting the Download Request form at http://compass.informatik.rwth-aachen.de/download.html After entering my details and clicking the button labeled "Request Download Links", I am getting the following error message: Fatal error: Call to undefined function numail() in /home/WWW/compass/docs/form.php on line 104 Best regards, Martin Billes Augsburg University martin.billes(a)student.uni-augsburg.de

12 years, 2 months

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

COMPASS-support July 2012