Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
fuzz.test.cpp File Reference

Go to the source code of this file.

Namespaces

namespace  arithmetic
 
namespace  type_conversion
 
namespace  machine_memory
 
namespace  control_flow
 
namespace  public_storage
 
namespace  execution_environment
 
namespace  notes_and_nullifiers
 
namespace  calldata_returndata
 
namespace  internal_calls
 
namespace  avm_addressing
 

Functions

FF arithmetic::get_result_of_instruction (FuzzInstruction instruction, bb::avm2::MemoryTag return_value_tag=bb::avm2::MemoryTag::U8)
 
 arithmetic::TEST (fuzz, ADD8)
 
 arithmetic::TEST (fuzz, SUB8)
 
 arithmetic::TEST (fuzz, MUL8)
 
 arithmetic::TEST (fuzz, DIV8)
 
 arithmetic::TEST (fuzz, EQ8)
 
 arithmetic::TEST (fuzz, LT8)
 
 arithmetic::TEST (fuzz, LTE8)
 
 arithmetic::TEST (fuzz, AND8)
 
 arithmetic::TEST (fuzz, OR8)
 
 arithmetic::TEST (fuzz, XOR8)
 
 arithmetic::TEST (fuzz, SHL8)
 
 arithmetic::TEST (fuzz, SHR8)
 
 arithmetic::TEST (fuzz, FDIV8)
 
 arithmetic::TEST (fuzz, NOT8)
 
FF arithmetic::get_result_of_instruction_16 (FuzzInstruction instruction, bb::avm2::MemoryTag return_value_tag=bb::avm2::MemoryTag::U8)
 
 arithmetic::TEST (fuzz, ADD16)
 
 arithmetic::TEST (fuzz, SUB16)
 
 arithmetic::TEST (fuzz, MUL16)
 
 arithmetic::TEST (fuzz, DIV16)
 
 arithmetic::TEST (fuzz, EQ16)
 
 arithmetic::TEST (fuzz, LT16)
 
 arithmetic::TEST (fuzz, LTE16)
 
 arithmetic::TEST (fuzz, AND16)
 
 arithmetic::TEST (fuzz, OR16)
 
 arithmetic::TEST (fuzz, XOR16)
 
 arithmetic::TEST (fuzz, SHL16)
 
 arithmetic::TEST (fuzz, SHR16)
 
 arithmetic::TEST (fuzz, FDIV16)
 
 arithmetic::TEST (fuzz, NOT16)
 
 type_conversion::TEST (fuzz, CAST8)
 
 type_conversion::TEST (fuzz, CAST16)
 
 machine_memory::TEST (fuzz, SET16)
 
 machine_memory::TEST (fuzz, SET32)
 
 machine_memory::TEST (fuzz, SET64)
 
 machine_memory::TEST (fuzz, SET128)
 
 machine_memory::TEST (fuzz, SETFF)
 
 machine_memory::TEST (fuzz, MOV8)
 
 machine_memory::TEST (fuzz, MOV16)
 
 control_flow::TEST (fuzz, JumpToNewBlockSmoke)
 
 control_flow::TEST (fuzz, JumpToNewBlockSmoke2)
 
 control_flow::TEST (fuzz, JumpToNewBlockSharesVariables)
 
 control_flow::TEST (fuzz, JumpIfToNewBlockSmoke)
 
FF control_flow::simulate_jump_if_depth_2_helper (uint8_t first_boolean_value, uint8_t second_boolean_value)
 
 control_flow::TEST (fuzz, JumpIfDepth2Smoke)
 
FF control_flow::simulate_jump_to_block_helper (uint8_t condition_value)
 
 control_flow::TEST (fuzz, JumpToBlockSmoke)
 
 control_flow::TEST (fuzz, JumpIfToNewBlockWithReturn)
 
 public_storage::TEST (fuzz, SstoreThenSload)
 
FF execution_environment::getenvvar_helper (uint8_t type, bb::avm2::MemoryTag return_value_tag=bb::avm2::MemoryTag::FF)
 
 execution_environment::TEST (fuzz, GetEnvVarSmoke)
 
 notes_and_nullifiers::TEST (fuzz, EmitNullifierThenNullifierExists)
 
 notes_and_nullifiers::TEST (fuzz, EmitNullifierThenNullifierExistsOverwritingPreviousNullifier)
 
 notes_and_nullifiers::TEST (fuzz, EmitNoteHashThenNoteHashExists)
 
 calldata_returndata::TEST (fuzz, CopyCalldataThenReturnData)
 
 calldata_returndata::TEST (fuzz, InternalCall)
 
 internal_calls::TEST (fuzz, InternalCalledBlockUsesInternalReturn)
 
 internal_calls::TEST (fuzz, SeveralInternalCalls)
 
 internal_calls::TEST (fuzz, Reentrancy)
 
 avm_addressing::TEST (fuzz, DirectWithIndirect)
 
 avm_addressing::TEST (fuzz, DirectWithIndirectRelative)
 
 avm_addressing::TEST (fuzz, IndirectResultCanBeUsedInNextInstruction)
 
 avm_addressing::TEST (fuzz, Memoryaddressing32BitWidth)