search

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

Test Viper release and usage of updated API #1445

Closed marcoeilers closed 10 months ago

marcoeilers commented 10 months ago

Like PR #1434 but using the new ViperFrontendAPI, which makes sure that the termination plugin is properly disabled.