[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Êrror-Trace Exploration not working
- From: Christian Spann <cspanns....@xxxxxxxxx>
- Date: Wed, 23 Aug 2017 18:40:10 +0200
- User-agent: Mozilla/5.0 (Windows NT 6.1; WOW64; rv:52.0) Gecko/20100101 Thunderbird/52.0.1
Dear Toolbox users,
I am trying to explore an error trace by adding some expressions to the Error-Trace Explorer. I used that feature some months ago but now I am failing to get it running. Even the simplest expressions like "Cardinality( someset )" fail without any error. The only reproducible result is that I cannot run the model after exploring my expression and the file TE.tla mentioned here  seems not to be created. I have to restart the Toolbox to get the model running again.
Has anyone any idea what I am missing?