Closed sim642 closed 2 years ago
Thanks to https://github.com/goblint/analyzer/pull/637, the list of files to analyze can be directly specified in goblint.json, so there's no need to do it in GobPie specifically. We can just require the user to do that there instead.
goblint.json
Thanks to https://github.com/goblint/analyzer/pull/637, the list of files to analyze can be directly specified in
goblint.json, so there's no need to do it in GobPie specifically. We can just require the user to do that there instead.