Closed karoliineh closed 1 year ago
commit 690f7510b99fb99e0c9aac9176dd879c026494b1 broke the show cfg CodeLens and trying to open a CFG results in an error message: command 'showcfg' not found.
show cfg
command 'showcfg' not found
The addCommand() method: https://github.com/goblint/GobPie/blob/de3d38b4b094f350a90b722520f84657565cc1b6/src/main/java/Main.java#L112-L115 is somehow unable to add the command to the workspaceService.
addCommand()
workspaceService
I think the case might be that the server is now launched before the addAnalysis(); method is called, but I am not sure why this matters.
addAnalysis();
commit 690f7510b99fb99e0c9aac9176dd879c026494b1 broke the
show cfgCodeLens and trying to open a CFG results in an error message:command 'showcfg' not found.The
addCommand()method: https://github.com/goblint/GobPie/blob/de3d38b4b094f350a90b722520f84657565cc1b6/src/main/java/Main.java#L112-L115 is somehow unable to add the command to theworkspaceService.I think the case might be that the server is now launched before the
addAnalysis();method is called, but I am not sure why this matters.