Module testing

Module testing 

Source

Functionsยง

fails
Assert that a goal fails
has_unique_solution
succeeds
Assert that a goal succeeds at least once