from test_support import check_output_file, prove_all

# Do not use Z3, as the step limit fluctuates too much between platforms, thus
# making it impossible to share a common expected output when Z3 is used.
prove_all(steps=500, prover=["cvc5", "altergo"])
check_output_file()
