/test/libsolidity/smtCheckerTests/control_flow/

• ../
• assignment_in_declaration.sol
• branches_assert_condition_1.sol
• branches_assert_condition_2.sol
• branches_merge_variables_1.sol
• branches_merge_variables_2.sol
• branches_merge_variables_3.sol
• branches_merge_variables_4.sol
• branches_merge_variables_5.sol
• branches_merge_variables_6.sol
• ways_to_merge_variables_1.sol
• ways_to_merge_variables_2.sol
• ways_to_merge_variables_3.sol