viperproject / prusti-dev

A static verifier for Rust, based on the Viper verification infrastructure.
http://prusti.org
Other
1.52k stars 103 forks source link

Try removing quotes #1463

Closed fpoli closed 8 months ago

fpoli commented 8 months ago

There is a chance that the coverage was being written to a relative path, where the first " is interpreted as being a folder name and the last " as being a suffix of the file name. Maybe this the reasons why the coverage jobs often fail, running out of space. A relative path might end up creating one file for each working directory instead of just a global one, and the tests might use many different working directories.