Algorithms.BF.Testing

Auxiliary definitions

moves_to_hex

moves_to_pos

set_bool

fromPos

Testing various circuits

double

oracle_with_input

run_oracle_with_input

diffuse_with_input

run_diffuse_with_input

walk_with_input

run_walk_with_input

undo_oracle_with_input

run_undo_oracle_with_input

Oracle, diffuse, walk, and undo_oracle

run_odwu_with_input

repeat_odwu_n

repeat_odwu_infinite

tidy

hex_with_input

run_hex_with_input

checkwin_trace