include(TestingMacros)

add_regression_test(decontract "psi;quicktests;cc")
