Use reset_config and read_config requests to reload new Goblint configuration. The configuration is always reset to the configuration that was initially given from the command line. GobPie now starts Goblint without giving a configuration file on the command line when starting the server, to be able to still parse the initial command even in case the (first) configuration file gets deleted. The configuration is now only read via read_config request.
Use
reset_config
andread_config
requests to reload new Goblint configuration. The configuration is always reset to the configuration that was initially given from the command line. GobPie now starts Goblint without giving a configuration file on the command line when starting the server, to be able to still parse the initial command even in case the (first) configuration file gets deleted. The configuration is now only read viaread_config
request.Can be merged after goblint/analyzer#817.
Solves #32.