Skip to content

ArgumentException on empty palt in Modest

The following Modest code causes the tools to crash with an ArgumentException due to the empty palt construct:

property p = Pmin(<> (i > 10));

int i = 0;

process increment() {
    {= i++ =};
    palt {}
}
increment()

(Reported by Gerlof Bouma.)