Fixpoint v0.14.4

CPSolver.Examples.Utils (Fixpoint v0.14.4)

Link to this section Summary

Functions

flush_solutions()
notify_client_handler()
wait_for_solution(timeout, solution_checker_fun)
wait_for_solutions(expected, timeout, solution_checker_fun)
wait_for_solutions(num, timeout, solution_checker_fun, successes)

Link to this section Functions

Link to this function

flush_solutions()

Link to this function

notify_client_handler()

Link to this function

wait_for_solution(timeout, solution_checker_fun)

Link to this function

wait_for_solutions(expected, timeout, solution_checker_fun)

Link to this function

wait_for_solutions(num, timeout, solution_checker_fun, successes)