internal_calls Namespace Reference

Functions
	TEST_F (FuzzTest, InternalCalledBlockUsesInternalReturn)
	TEST_F (FuzzTest, SeveralInternalCalls)
	TEST_F (FuzzTest, Reentrancy)

Function Documentation

TEST_F() [1/3]

internal_calls::TEST_F ( FuzzTest  , InternalCalledBlockUsesInternalReturn    )

protected

Definition at line 1248 of file fuzz.test.cpp.

TEST_F() [2/3]

internal_calls::TEST_F ( FuzzTest  , Reentrancy    )

protected

START InternaCall ... InternalCall ... InternalReturn InternalReturn InternaCall ... InternalReturn ... RETURN

SSTORE(0, 1); call f1; call f3; RETURN SLOAD(0); // should return 313373 f1: SSTORE(0, 1337); call f2; SSTORE(0, 1337); INTERNALRETURN f2: SSTORE(0, 31337); INTERNALRETURN f3: SSTORE(0, 313373); INTERNALRETURN

Definition at line 1324 of file fuzz.test.cpp.

TEST_F() [3/3]

internal_calls::TEST_F ( FuzzTest  , SeveralInternalCalls    )

protected

Definition at line 1278 of file fuzz.test.cpp.