Safe Haskell	None
Language	Haskell2010

EVM.UnitTest

Synopsis

data UnitTestOptions = UnitTestOptions {
- oracle :: Query -> IO (EVM ())
- verbose :: Bool
- match :: Text
- vmModifier :: VM -> VM
- testParams :: TestVMParams
}
data TestVMParams = TestVMParams {
- testAddress :: Addr
- testCaller :: Addr
- testOrigin :: Addr
- testGasCreate :: W256
- testGasCall :: W256
- testBalanceCreate :: W256
- testBalanceCall :: W256
- testCoinbase :: Addr
- testNumber :: W256
- testTimestamp :: W256
- testGaslimit :: W256
- testGasprice :: W256
- testDifficulty :: W256
}
defaultGasForCreating :: W256
defaultGasForInvoking :: W256
defaultBalanceForCreator :: W256
defaultBalanceForCreated :: W256
type ABIMethod = Text
initializeUnitTest :: UnitTestOptions -> Stepper ()
runUnitTest :: UnitTestOptions -> ABIMethod -> Stepper Bool
tick :: Text -> IO ()
interpret :: UnitTestOptions -> Stepper a -> StateT VM IO (Either Failure a)
data OpLocation = OpLocation {
- srcCodehash :: !W256
- srcOpIx :: !Int
}
srcMapForOpLocation :: DappInfo -> OpLocation -> Maybe SrcMap
type CoverageState = (VM, MultiSet OpLocation)
currentOpLocation :: VM -> OpLocation
execWithCoverage :: StateT CoverageState IO VMResult
interpretWithCoverage :: UnitTestOptions -> Stepper a -> StateT CoverageState IO (Either Failure a)
coverageReport :: DappInfo -> MultiSet SrcMap -> Map Text (Vector (Int, ByteString))
coverageForUnitTestContract :: UnitTestOptions -> Map Text SolcContract -> SourceCache -> (Text, [Text]) -> IO (MultiSet SrcMap)
runUnitTestContract :: UnitTestOptions -> Map Text SolcContract -> SourceCache -> (Text, [Text]) -> IO Bool
indentLines :: Int -> Text -> Text
passOutput :: VM -> Text -> Text
failOutput :: VM -> DappInfo -> Text -> Text
formatTestLogs :: Map W256 Event -> Seq Log -> Text
formatTestLog :: Map W256 Event -> Log -> Maybe Text
word32Bytes :: Word32 -> ByteString
setupCall :: Addr -> Text -> W256 -> EVM ()
initialUnitTestVm :: UnitTestOptions -> SolcContract -> [SolcContract] -> VM
getParametersFromEnvironmentVariables :: IO TestVMParams

Documentation

data UnitTestOptions Source #

Constructors

UnitTestOptions
Fields oracle :: Query -> IO (EVM ()) verbose :: Bool match :: Text vmModifier :: VM -> VM testParams :: TestVMParams

data TestVMParams Source #

Constructors

TestVMParams
Fields testAddress :: Addr testCaller :: Addr testOrigin :: Addr testGasCreate :: W256 testGasCall :: W256 testBalanceCreate :: W256 testBalanceCall :: W256 testCoinbase :: Addr testNumber :: W256 testTimestamp :: W256 testGaslimit :: W256 testGasprice :: W256 testDifficulty :: W256

defaultGasForCreating :: W256 Source #

defaultGasForInvoking :: W256 Source #

defaultBalanceForCreator :: W256 Source #

defaultBalanceForCreated :: W256 Source #

type ABIMethod = Text Source #

initializeUnitTest :: UnitTestOptions -> Stepper () Source #

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

runUnitTest :: UnitTestOptions -> ABIMethod -> Stepper Bool Source #

Assuming a test contract is loaded and initialized, this stepper will run the specified test method and return whether it succeeded.

tick :: Text -> IO () Source #

interpret :: UnitTestOptions -> Stepper a -> StateT VM IO (Either Failure a) Source #

data OpLocation Source #

This is like an unresolved source mapping.

Constructors

OpLocation
Fields srcCodehash :: !W256 srcOpIx :: !Int

Instances

Eq OpLocation Source #
Instance details Defined in EVM.UnitTest Methods (==) :: OpLocation -> OpLocation -> Bool # (/=) :: OpLocation -> OpLocation -> Bool #
Ord OpLocation Source #
Instance details Defined in EVM.UnitTest Methods compare :: OpLocation -> OpLocation -> Ordering # (<) :: OpLocation -> OpLocation -> Bool # (<=) :: OpLocation -> OpLocation -> Bool # (>) :: OpLocation -> OpLocation -> Bool # (>=) :: OpLocation -> OpLocation -> Bool # max :: OpLocation -> OpLocation -> OpLocation # min :: OpLocation -> OpLocation -> OpLocation #
Show OpLocation Source #
Instance details Defined in EVM.UnitTest Methods showsPrec :: Int -> OpLocation -> ShowS # show :: OpLocation -> String # showList :: [OpLocation] -> ShowS #

srcMapForOpLocation :: DappInfo -> OpLocation -> Maybe SrcMap Source #

type CoverageState = (VM, MultiSet OpLocation) Source #

currentOpLocation :: VM -> OpLocation Source #

execWithCoverage :: StateT CoverageState IO VMResult Source #

interpretWithCoverage :: UnitTestOptions -> Stepper a -> StateT CoverageState IO (Either Failure a) Source #

coverageReport :: DappInfo -> MultiSet SrcMap -> Map Text (Vector (Int, ByteString)) Source #

coverageForUnitTestContract :: UnitTestOptions -> Map Text SolcContract -> SourceCache -> (Text, [Text]) -> IO (MultiSet SrcMap) Source #

runUnitTestContract :: UnitTestOptions -> Map Text SolcContract -> SourceCache -> (Text, [Text]) -> IO Bool Source #

indentLines :: Int -> Text -> Text Source #

passOutput :: VM -> Text -> Text Source #

failOutput :: VM -> DappInfo -> Text -> Text Source #

formatTestLogs :: Map W256 Event -> Seq Log -> Text Source #

formatTestLog :: Map W256 Event -> Log -> Maybe Text Source #

word32Bytes :: Word32 -> ByteString Source #

setupCall :: Addr -> Text -> W256 -> EVM () Source #

initialUnitTestVm :: UnitTestOptions -> SolcContract -> [SolcContract] -> VM Source #

getParametersFromEnvironmentVariables :: IO TestVMParams Source #