Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
control_flow Namespace Reference

Functions

 TEST (fuzz, JumpToNewBlockSmoke)
 
 TEST (fuzz, JumpToNewBlockSmoke2)
 
 TEST (fuzz, JumpToNewBlockSharesVariables)
 
 TEST (fuzz, JumpIfToNewBlockSmoke)
 
FF simulate_jump_if_depth_2_helper (uint8_t first_boolean_value, uint8_t second_boolean_value)
 
 TEST (fuzz, JumpIfDepth2Smoke)
 
FF simulate_jump_to_block_helper (uint8_t condition_value)
 
 TEST (fuzz, JumpToBlockSmoke)
 
 TEST (fuzz, JumpIfToNewBlockWithReturn)
 

Function Documentation

◆ simulate_jump_if_depth_2_helper()

FF control_flow::simulate_jump_if_depth_2_helper ( uint8_t  first_boolean_value,
uint8_t  second_boolean_value 
)

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

◆ simulate_jump_to_block_helper()

FF control_flow::simulate_jump_to_block_helper ( uint8_t  condition_value)

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

◆ TEST() [1/7]

control_flow::TEST ( fuzz  ,
JumpIfDepth2Smoke   
)

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

◆ TEST() [2/7]

control_flow::TEST ( fuzz  ,
JumpIfToNewBlockSmoke   
)

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

◆ TEST() [3/7]

control_flow::TEST ( fuzz  ,
JumpIfToNewBlockWithReturn   
)

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

◆ TEST() [4/7]

control_flow::TEST ( fuzz  ,
JumpToBlockSmoke   
)

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

◆ TEST() [5/7]

control_flow::TEST ( fuzz  ,
JumpToNewBlockSharesVariables   
)

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

◆ TEST() [6/7]

control_flow::TEST ( fuzz  ,
JumpToNewBlockSmoke   
)

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

◆ TEST() [7/7]

control_flow::TEST ( fuzz  ,
JumpToNewBlockSmoke2   
)

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