include(TestingMacros)

add_regression_test(props1 "psi;shorttests;properties")
