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

python script: import error #1514

Open cospectrum opened 1 month ago

cospectrum commented 1 month ago

NameError: name 'error' is not defined.