New filenames break Viper IDE

[Pointerbender]

trafficstars

In commit 882fb31c there was an update to how filenames are generated. When using dump_viper_program=true this now results in filenames with $$ in them, which breaks Viper IDE on Ubuntu with the error message:

> Server: Sending verification request to ViperServer...
> Server: Requesting ViperServer to start new job...
> Server: ViperServer had trouble accepting the POST request: undefined
> Server: It seems that ViperServer's REST API has been changed. Body of response: {
  "msg": "File not found"
}
> Server: ViperServer started new job with ID undefined
ERROR: Server: ViperServer is overwhelmed (ViperServer: File not found). Try again in a few seconds.
> The new state is: Ready

Renaming the dumped .vpr file to something without $$ in the name makes the error go away. (Using :: instead of $$ used to work okay.)

[fpoli]

Thanks for noticing that! I opened https://github.com/viperproject/viper-ide/issues/281, but in the meantime it makes sense to avoid the $ in Prusti.

[vakaras]

I am wondering why it worked for me when I tested this…

[Pointerbender]

It works okay through the Viper JNI bridge, it only gives problem in the file names :)

[fpoli]

Viper fixed this