Disable the "more complete" exhale

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

Disable the "more complete" exhale #1490

Closed fpoli closed 5 months ago

fpoli commented 5 months ago

Let's see what happens if we disable this; Viper got better in the meantime.

fpoli commented 5 months ago

It seems that only counterexample-related UI tests are failing, with "Java exception: java.lang.RuntimeException: Silicon hasn't been started yet - java.lang.RuntimeException: Silicon hasn't been started yet".

Aurel300 commented 5 months ago

@fpoli What happened here? The runtime error seems unrelated to counterexamples. (Or perhaps related to passing the wrong flags?)