-
Notifications
You must be signed in to change notification settings - Fork 5
GobView crashes on non-dev dune profile #38
Copy link
Copy link
Closed
goblint/analyzer
#1350Labels
bugSomething isn't workingSomething isn't working
Description
This seems to work fine with the
devprofile, but with a non-devprofile (liketrace), GobView breaks with an exception in the browser console:Fatal error: exception Invalid_argument("Cilfacade.get_ikind: non-integer type void ")Or maybe this profile issue exists already before this PR?
Originally posted by @sim642 in #9 (comment)
The crash is not specific to #9 but also exists on master at 841090e.
Reactions are currently unavailable
Metadata
Metadata
Assignees
Labels
bugSomething isn't workingSomething isn't working