There's an SML command for spawning a debugger. It would be extremely convenient to have a similar function available for the SVS viewer, and then a button for that in the debugger.
The current process is 1) run svs_viewer -s 12122 and 2) run svs --enable and svs connect_viewer 12122 from the debugger (the 12122 can be any port).
There's an SML command for spawning a debugger. It would be extremely convenient to have a similar function available for the SVS viewer, and then a button for that in the debugger.
The current process is 1) run
svs_viewer -s 12122and 2) runsvs --enableandsvs connect_viewer 12122from the debugger (the 12122 can be any port).