6299064684

Committed 25 Sep 2023 12:04PM UTC coverage: 91.395% (-8.6%) from 100.0%

Build # 6299064684

Build Type

Pull #96

github

Committed by

akshay-ap

Commit Message

[#95] Add rules

Pull Request Pull Request #96: Setup certora workflow

Run Details

124 of 128 branches covered (0.0%)

Branch coverage included in aggregate %.

28 of 28 new or added lines in 5 files covered. (100.0%)

184 of 209 relevant lines covered (88.04%)

12.47 hits per line

Source File
Press 'n' to go to next uncovered line, 'b' for previous

0.0

/contracts/test/certora/TestHooksCertora.sol

// SPDX-License-Identifier: LGPL-3.0-only
pragma solidity ^0.8.18;
import {ISafeProtocolHooks} from "../../interfaces/Modules.sol";
import {IAccount} from "../../interfaces/Accounts.sol";
import {SafeProtocolAction, SafeTransaction, SafeRootAccess} from "../../DataTypes.sol";

contract TestHooksCertora is ISafeProtocolHooks {
    bool public called;

    function supportsInterface(bytes4 interfaceId) external view override returns (bool) {}

    function preCheck(address, SafeTransaction calldata, uint256, bytes calldata) external override returns (bytes memory) {
        called = true;
        return "";
    }

    function preCheckRootAccess(address, SafeRootAccess calldata, uint256, bytes calldata) external override returns (bytes memory) {
        called = true;
        return "";
    }

    function postCheck(address, bool, bytes calldata) external override {
        called = true;
    }
}

1	// SPDX-License-Identifier: LGPL-3.0-only
2	pragma solidity ^0.8.18;
3	import {ISafeProtocolHooks} from "../../interfaces/Modules.sol";
4	import {IAccount} from "../../interfaces/Accounts.sol";
5	import {SafeProtocolAction, SafeTransaction, SafeRootAccess} from "../../DataTypes.sol";
6
7	contract TestHooksCertora is ISafeProtocolHooks {
8	bool public called;
9
10	function supportsInterface(bytes4 interfaceId) external view override returns (bool) {}
11
12	function preCheck(address, SafeTransaction calldata, uint256, bytes calldata) external override returns (bytes memory) {
13	called = true;	×
14	return "";	×
15	}
16
17	function preCheckRootAccess(address, SafeRootAccess calldata, uint256, bytes calldata) external override returns (bytes memory) {
18	called = true;	×
19	return "";	×
20	}
21
22	function postCheck(address, bool, bytes calldata) external override {
23	called = true;	×
24	}
25	}

safe-global / safe-core-protocol / 6299064684

Source File Press 'n' to go to next uncovered line, 'b' for previous

Source File
Press 'n' to go to next uncovered line, 'b' for previous