Pialex99

The sif extension jar must be copied into the `viper_tools/backends/` directory before compiling Prusti otherwise the compilation will fail. To generate the extension jar file: 1. copy the updated transformation...

Test's config not transferred to Prusti server

4

In compiletest, the server is only spawned once and with the default config (or with the config defined with the env `PRUSTI_...=...` variables). So if a test uses a config...