include(TestingMacros)

add_regression_test(props3 "psi;longertests;properties")
