phink.toml

### Phink Configuration

# General Settings
cores = 10                # Set to 1 for single-core execution
max_messages_per_exec = 1 # Maximum number of message calls per input
catch_trapped_contract = false # Not setting trapped contract as a bug, only detecting invariant-based bugs

# Paths
instrumented_contract_path.path = "toooooooooooz"  # Path to the instrumented contract, after `phink instrument my_contract` is invoked
report_path = "output/phink/contract_coverage" # Directory for coverage HTML files
fuzz_output = "output"                         # Directory for fuzzing output

# Deployment
deployer_address = "5C62Ck4UrFPiBtoCmeSrgF7x9yv9mn38446dhCpsi2mLHiFT" # Contract deployer address (Alice by default)
constructor_payload = "9bae9d5e46bb2fe2a65a54a45d32c168e2c39675f46d27d8caef57e908c60729f66b619e2e395e890aca14fb7f6afe16ea505e798b60dc4c7937867d51b738942482afcb155943ca70355219567888e5f496738b8553559871c8d0a21071bb6f63ca00b80000b0f89e03000000284142415820566f7465731476414241580a0064000014730f0000000000840c24000000000070991400000000"                                     # Hexadecimal scale-encoded data for contract instantiation
storage_deposit_limit = "100000000000"                              # Storage deposit limit
instantiate_initial_value = "0"                                     # Value transferred during instantiation, if needed

# Fuzzing Options
fuzz_origin = false  # Attempt to call each message as a different user (affects performance)
verbose = true       # Print detailed debug messages
show_ui = true       # Display advanced UI
use_honggfuzz = false # Use Honggfuzz (set as false)

# Gas Limits
[default_gas_limit]
ref_time = 100_000_000_000      # Reference time for gas
proof_size = 3_145_728          # Proof size (3 * 1024 * 1024 bytes)