internal_calls Namespace Reference

Functions
	TEST (fuzz, InternalCalledBlockUsesInternalReturn)
	TEST (fuzz, SeveralInternalCalls)
	TEST (fuzz, Reentrancy)

Function Documentation

TEST() [1/3]

internal_calls::TEST	(	fuzz	,
		InternalCalledBlockUsesInternalReturn
	)

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

TEST() [2/3]

internal_calls::TEST	(	fuzz	,
		Reentrancy
	)

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 1258 of file fuzz.test.cpp.

TEST() [3/3]

internal_calls::TEST	(	fuzz	,
		SeveralInternalCalls
	)

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