diff options
author | Nadrieril | 2019-05-09 10:55:08 +0200 |
---|---|---|
committer | Nadrieril | 2019-05-09 10:55:25 +0200 |
commit | 325228d54a5b51979e0be112a51988c7449df89c (patch) | |
tree | 4ba5329b523ffd77d185a624ee5e1b8a5112064d /dhall/src/tests.rs | |
parent | 6c06aefc5a6184f9411316990d9223447b022aa0 (diff) |
Generate normalization tests automatically
Diffstat (limited to '')
-rw-r--r-- | dhall/src/tests.rs | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/dhall/src/tests.rs b/dhall/src/tests.rs index 4fa1cf5..a958e48 100644 --- a/dhall/src/tests.rs +++ b/dhall/src/tests.rs @@ -172,3 +172,8 @@ pub fn run_test( } Ok(()) } + +mod spec { + // See build.rs + include!(concat!(env!("OUT_DIR"), "/spec_tests.rs")); +} |