include(TestingMacros)

add_regression_test(props4 "psi;quicktests;properties")
