[−][src]Module mini_kanren::testing
Functions
fails | Assert that a goal fails |
has_unique_solution | |
succeeds | Assert that a goal succeeds at least once |
fails | Assert that a goal fails |
has_unique_solution | |
succeeds | Assert that a goal succeeds at least once |