Introduction
Tutorials
How-to Guides
Reference
Explanation
API Reference
Tests for the escape guarantee + connectivity guard (spec 200, item M).
Functions
test_connectivity_flags_dead_end(t_init, ...)
test_connectivity_flags_dead_end
test_connectivity_flags_one_way_exit(t_init, ...)
test_connectivity_flags_one_way_exit
test_connectivity_ok_for_two_way(t_init, ...)
test_connectivity_ok_for_two_way
test_guaranteed_moveto_bypasses_accept(...)
test_guaranteed_moveto_bypasses_accept
test_send_home_escapes_a_trap(t_init, t_wizard)
test_send_home_escapes_a_trap