Skip to content

Internal State Query

Create a new query where a counter example will be provided if there is a path to the Error State.

  • /*!QueryState: Error; REACHABLE*/ -- Smart Contract state Variables
  • /*!QueryState: GasError; REACHABLE*/ -- Smart Contract state Variables
  • /*!QueryState: FunctionRollback; REACHABLE*/ -- Inside a function
  • /*!QueryState: FunctionSuccess; REACHABLE*/ -- Inside a function
Edited by Jon Shahen