Antoine Grimod
Results
1
issues of
Antoine Grimod
Fixed the issue that prevented gobiew semantic search from working. It was due to the results of the analysis being pruned again by gobview. Closes https://github.com/goblint/gobview/issues/7.
bug
in progress