search

viperproject / prusti-dev

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

Viper Data Collection changes #1510

Open Simon-Hostettler opened 3 months ago

Simon-Hostettler commented 3 months ago

This PR contains changes to facilitate submissions to the Viper data collection server.

TODO: change API_HOST in ProgramSubmitter.rs to actual server address and port