blob: 446110d685d5808462db3444cc532a1c424922bb [file] [log] [blame]
PROPTEST_FILES := \
proptest.c