Fix incorrect environment variable name

viperproject / prusti-dev

A static verifier for Rust, based on the Viper verification infrastructure.

http://prusti.org

Other

1.58k stars 108 forks source link

Fix incorrect environment variable name #1522

Open thederekkaplan opened 4 months ago

thederekkaplan commented 4 months ago

The docs currently describe the incorrect environment variables for finding counterexamples. The variable should be PRUSTI_COUNTEREXAMPLE, not PRUSTI_COUNTEREXAMPLES.

vakaras commented 4 months ago

@Aurel300 @JonasAlaif, Could you please look at why doc tests are failing?