Digital Clock conversion crashes
In the latest version of Modest that is downloadable from the site I get a Stack Overflow when performing the digital clocks conversion. I have used the bip-pta.v1.modest from https://qcomp.org/benchmarks/#brp-pta and I used the command moconv {PATH TO}/brp-pta.v1.modest -O {PATH_TO}/brp-pta.v1.jani --digital-clocks. This results in a Stack Overflow. If I run the same command without digital clocks conversion (i.e. moconv {PATH TO}/brp-pta.v1.modest -O {PATH_TO}/brp-pta.v1.jani) then it does not crash. I did some debugging and I found that the error was caused by an "if" statement that was changed to an "else if" statement in Expressions/Optimizer.cs in Line 528. Changing this back to "if" again resolves the issue.
Edited by Bram Kohlen