Skip to content
Back to pull request #386

Prover/Adding Initial Compiler for Permutation Query #1215

Sign in to view logs

Prover/Adding Initial Compiler for Permutation Query

Prover/Adding Initial Compiler for Permutation Query #1215

Triggered via pull request December 19, 2024 11:34
@arijitdutta67arijitdutta67
synchronize #386
prover/permutation-initial-wizard
Status Success
Total duration 5m 35s
Artifacts –

run-smc-tests.yml

on: pull_request
Run smart contracts tests
5m 29s
Run smart contracts tests
Solidity format check
1m 1s
Solidity format check
Fit to window
Zoom out
Zoom in

Annotations

9 warnings
Solidity format check
Immutable variables name are set to be in capitalized SNAKE_CASE
Solidity format check
Fallback function must be simple
Solidity format check
Found more than One contract per file. 9 contracts found!
Solidity format check
Found more than One contract per file. 6 contracts found!
Solidity format check
global import of path @openzeppelin/contracts/token/ERC20/ERC20.sol is not allowed. Specify names to import individually or bind all exports of the module into a name (import "path" as Name)
Solidity format check
global import of path @openzeppelin/contracts/access/Ownable.sol is not allowed. Specify names to import individually or bind all exports of the module into a name (import "path" as Name)
Solidity format check
Found more than One contract per file. 24 contracts found!
Solidity format check
Variable "state" is unused
Solidity format check
Variable "state" is unused