include(TestingMacros)

add_regression_test(props2 "psi;shorttests;properties")
