Forgetting closing bracket can make the toolset crash without giving any (parsing) exception.
When an user forgets a closing bracket, it can make the toolset crash without giving any (parsing) exception.
Example:
//---Property which should always hold---
const int check = 1;
property Term = Pmin(<> (check == 1)) == 1;
//---------------------------------------
action snd_data, rcv_ack, timeout;
snd_data;
alt {
::rcv_ack
::timeout
Output:
(00:00) 0.
Parsing figure-3-10-nondeterministic-choices.modest...