Closed fpoli closed 4 months ago
This way, the ignore_deps_contracts declared in a Prusti.toml will be passed to all the prusti-rustc runs that compile the dependencies of a project. Without this, the flag can only be set via the environment variable PRUSTI_IGNORE_DEPS_CONTRACTS.
ignore_deps_contracts
Prusti.toml
prusti-rustc
PRUSTI_IGNORE_DEPS_CONTRACTS
This way, the
ignore_deps_contractsdeclared in aPrusti.tomlwill be passed to all theprusti-rustcruns that compile the dependencies of a project. Without this, the flag can only be set via the environment variablePRUSTI_IGNORE_DEPS_CONTRACTS.