Fixpoint
v0.11.8
Search documentation of Fixpoint
Settings
CPSolver.Examples.Utils
(Fixpoint v0.11.8)
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)
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)