mrdarok

icon company Virginia Tech icon location Graduate student using Github to access open source software for educational tools.

Results 1 comments of mrdarok

Configuration.sanitizedPathSegments breaks execution on Windows

I second this issue. See error log, running from Windows 11 terminal: ![error](https://github.com/LS-Lab/KeYmaeraX-release/assets/159648135/6dfbc16d-f9ed-487f-9453-07de315752af) Rolling back to [5.0.1](https://github.com/LS-Lab/KeYmaeraX-release/releases/download/5.0.1/keymaerax.jar) allows me to launch successfully.