mirror of
https://github.com/pezkuwichain/revive.git
synced 2026-05-01 02:57:56 +00:00
32 lines
524 B
Solidity
32 lines
524 B
Solidity
// SPDX-License-Identifier: MIT
|
|
|
|
pragma solidity ^0.8;
|
|
|
|
/* runner.json
|
|
{
|
|
"differential": false,
|
|
"actions": [
|
|
{
|
|
"Instantiate": {
|
|
"code": {
|
|
"Solidity": {
|
|
"contract": "GasPrice"
|
|
}
|
|
}
|
|
}
|
|
},
|
|
{
|
|
"VerifyCall": {
|
|
"success": true
|
|
}
|
|
}
|
|
]
|
|
}
|
|
*/
|
|
|
|
contract GasPrice {
|
|
constructor() payable {
|
|
assert(tx.gasprice == 1);
|
|
}
|
|
}
|