I am trying out the 'project shell' option with the aim of having students use it for course work. However, no matter what my settings are, the executable is always running in release mode, even though the windows states checkmate. Using options(undef) in the source file is required to get check - and to enter the debugger.
It is likely that I have overlooked some small detail - hope somebody can help!