echidna/tests/solidity/basic/gasprice.sol

contract C {
  bool state = true;

  function f() public {
    if (tx.gasprice > 0)
      state = false;
  }

  function echidna_state() public returns (bool) {
    return state;
  }
}