Skip to content
Fuzz test smart contracts

Adding Invariant Tests #48

Sign in to view logs

Adding Invariant Tests

Adding Invariant Tests #48

Triggered via pull request March 4, 2026 19:14
@Hakob23Hakob23
synchronize #442
test/FLY-2167
Status Failure
Total duration 11m 21s
Artifacts –

fuzz.yml

on: pull_request
build
11m 12s
build
Fit to window
Zoom out
Zoom in

Annotations

1 error and 9 warnings
build
Process completed with exit code 2.
build: src/PegInContract.sol#L280
Variable name must be in mixedCase OP_0
build: src/PegInContract.sol#L279
Variable name must be in mixedCase OP_DROP
build: src/PegInContract.sol#L278
Variable name must be in mixedCase OP_PUSHBYTES_32
build: src/PegInContract.sol#L280
Variable name must be in mixedCase OP_0
build: src/PegInContract.sol#L279
Variable name must be in mixedCase OP_DROP
build: src/PegInContract.sol#L278
Variable name must be in mixedCase OP_PUSHBYTES_32
build: src/PegInContract.sol#L280
Variable name must be in mixedCase OP_0
build: src/PegInContract.sol#L279
Variable name must be in mixedCase OP_DROP
build: src/PegInContract.sol#L278
Variable name must be in mixedCase OP_PUSHBYTES_32