EVM.UnitTest

Documentation

data UnitTestOptions s

Constructors

UnitTestOptions

Fields

• rpcInfo :: RpcInfo
• solvers :: SolverGroup
• verbose :: Maybe Int
• maxIter :: Maybe Integer
• askSmtIters :: Integer
• smtTimeout :: Maybe Natural
• solver :: Maybe Text
• match :: Text
• dapp :: DappInfo
• testParams :: TestVMParams
• ffiAllowed :: Bool

data TestVMParams

Constructors

TestVMParams

Fields

• address :: Expr EAddr
• caller :: Expr EAddr
• origin :: Expr EAddr
• gasCreate :: Word64
• gasCall :: Word64
• baseFee :: W256
• priorityFee :: W256
• balanceCreate :: W256
• coinbase :: Expr EAddr
• number :: W256
• timestamp :: W256
• gaslimit :: Word64
• gasprice :: W256
• maxCodeSize :: W256
• prevrandao :: W256
• chainId :: W256

defaultGasForCreating :: Word64

defaultGasForInvoking :: Word64

defaultBalanceForTestContract :: W256

defaultMaxCodeSize :: W256

type ABIMethod = Text

makeVeriOpts :: UnitTestOptions s -> VeriOpts

Generate VeriOpts from UnitTestOptions

unitTest :: App m => UnitTestOptions RealWorld -> Contracts -> m Bool

Top level CLI endpoint for hevm test

initializeUnitTest :: UnitTestOptions s -> SolcContract -> Stepper Concrete s ()

Assuming a constructor is loaded, this stepper will run the constructor to create the test contract, give it an initial balance, and run `setUp()'.

runUnitTestContract :: App m => UnitTestOptions RealWorld -> Map Text SolcContract -> (Text, [Sig]) -> m [Bool]

symRun :: App m => UnitTestOptions RealWorld -> VM Concrete RealWorld -> Sig -> m (Text, Either Text Text)

Define the thread spawner for symbolic tests

allBranchRev :: Text -> Text

symFailure :: UnitTestOptions RealWorld -> Text -> Expr Buf -> [AbiType] -> [(Expr End, SMTCex)] -> Text

execSymTest :: UnitTestOptions RealWorld -> ABIMethod -> (Expr Buf, [Prop]) -> Stepper Symbolic RealWorld (Expr End)

checkSymFailures :: VMOps t => UnitTestOptions RealWorld -> Stepper t RealWorld (VM t RealWorld)

indentLines :: Int -> Text -> Text

passOutput :: VM t s -> UnitTestOptions s -> Text -> Text

failOutput :: VM t s -> UnitTestOptions s -> Text -> Text

formatTestLogs :: (?context :: DappContext) => Map W256 Event -> [Expr Log] -> Text

formatTestLog :: (?context :: DappContext) => Map W256 Event -> Expr Log -> Maybe Text

abiCall :: VMOps t => TestVMParams -> Either (Text, AbiValue) ByteString -> EVM t s ()

makeTxCall :: VMOps t => TestVMParams -> (Expr Buf, [Prop]) -> EVM t s ()

initialUnitTestVm :: VMOps t => UnitTestOptions s -> SolcContract -> ST s (VM t s)

paramsFromRpc :: RpcInfo -> IO TestVMParams

tick :: Text -> IO ()