This fixes https://github.com/goblint/GobPie/issues/62 by tracking if the Goblint config is valid and not running analysis at all if the config is invalid. It also tweaks some related error handling code to make the errors more readable and removes reading config on startup, because it is now done on initial analysis.
This fixes https://github.com/goblint/GobPie/issues/62 by tracking if the Goblint config is valid and not running analysis at all if the config is invalid. It also tweaks some related error handling code to make the errors more readable and removes reading config on startup, because it is now done on initial analysis.