b033923756
- Remove executable permissions from configuration files (.editorconfig, .env.example, .gitignore) - Remove executable permissions from documentation files (README.md, LICENSE, SECURITY.md) - Remove executable permissions from web assets (HTML, CSS, JS files) - Remove executable permissions from data files (JSON, SQL, YAML, requirements.txt) - Remove executable permissions from source code files across all apps - Add executable permissions to Python
20 lines
338 B
TOML
20 lines
338 B
TOML
[profile.default]
|
|
src = "contracts"
|
|
out = "out"
|
|
libs = ["lib"]
|
|
test = "test"
|
|
|
|
[profile.default.optimizer]
|
|
enabled = true
|
|
runs = 200
|
|
|
|
[profile.default.model_checker]
|
|
contracts = { "contracts/AIPowerRental.sol" = ["AIPowerRental"] }
|
|
engine = "cheth"
|
|
timeout = 10000
|
|
targets = ["assert"]
|
|
|
|
[profile.fuzz]
|
|
runs = 1000
|
|
max_test_rejects = 65536
|