{
    "payable": {
        "Test": [
            "block_and_transactions()"
        ]
    },
    "timestamp": {},
    "block_number": {},
    "msg_sender": {},
    "msg_gas": {},
    "assert": {
        "Test": [
            "error_handling()"
        ]
    },
    "constant_functions": {
        "Test": [
            "ether_unit()",
            "time_unit()",
            "abi_encode()",
            "error_handling()",
            "math_and_crypto()"
        ]
    },
    "constants_used": {
        "Test": {
            "block_and_transactions()": [
                [
                    {
                        "value": "0",
                        "type": "uint256"
                    }
                ]
            ],
            "abi_encode()": [
                [
                    {
                        "value": "10",
                        "type": "uint256"
                    }
                ]
            ],
            "error_handling()": [
                [
                    {
                        "value": "True",
                        "type": "bool"
                    }
                ],
                [
                    {
                        "value": "something",
                        "type": "string"
                    }
                ]
            ],
            "math_and_crypto()": [
                [
                    {
                        "value": "",
                        "type": "string"
                    }
                ],
                [
                    {
                        "value": "0",
                        "type": "uint256"
                    }
                ],
                [
                    {
                        "value": "1",
                        "type": "uint256"
                    }
                ]
            ],
            "address_related()": [
                [
                    {
                        "value": "",
                        "type": "string"
                    }
                ],
                [
                    {
                        "value": "0",
                        "type": "uint256"
                    }
                ]
            ]
        }
    },
    "constants_used_in_binary": {},
    "functions_relations": {
        "Test": {
            "ether_unit()": {
                "impacts": [],
                "is_impacted_by": []
            },
            "time_unit()": {
                "impacts": [],
                "is_impacted_by": []
            },
            "block_and_transactions()": {
                "impacts": [],
                "is_impacted_by": []
            },
            "abi_encode()": {
                "impacts": [],
                "is_impacted_by": []
            },
            "error_handling()": {
                "impacts": [],
                "is_impacted_by": []
            },
            "math_and_crypto()": {
                "impacts": [],
                "is_impacted_by": []
            },
            "address_related()": {
                "impacts": [],
                "is_impacted_by": []
            },
            "contract_related()": {
                "impacts": [],
                "is_impacted_by": []
            }
        }
    },
    "constructors": {},
    "have_external_calls": {
        "Test": [
            "address_related()"
        ]
    },
    "use_balance": {
        "Test": [
            "address_related()"
        ]
    },
    "solc_versions": [
        "0.5.17"
    ],
    "with_fallback": [],
    "with_receive": []
}
