// generated via `build.rs`, one test per directory in tests/data
include!(concat!(env!("OUT_DIR"),"/tests.rs"));// TODO: add quickcheck tests for system properties
// list:
// property should be required by default
// property should be listed in the order list in order