From 1274a997c49ae8dcf73ec6a3d1afe96dd03a2ae2 Mon Sep 17 00:00:00 2001 From: Nadrieril Date: Sun, 12 May 2019 18:54:03 +0200 Subject: Include success or failure prefix in test filtering --- dhall/src/tests.rs | 10 ++-------- 1 file changed, 2 insertions(+), 8 deletions(-) (limited to 'dhall/src/tests.rs') diff --git a/dhall/src/tests.rs b/dhall/src/tests.rs index f7802e8..b7a38be 100644 --- a/dhall/src/tests.rs +++ b/dhall/src/tests.rs @@ -86,14 +86,8 @@ pub fn run_test( Typecheck => "typecheck/", TypeInference => "type-inference/", }; - let status_prefix = match status { - Success => "success/", - Failure => "failure/", - }; - let base_path = "../dhall-lang/tests/".to_owned() - + feature_prefix - + status_prefix - + base_path; + let base_path = + "../dhall-lang/tests/".to_owned() + feature_prefix + base_path; match status { Success => { let expr_file_path = base_path.clone() + "A.dhall"; -- cgit v1.2.3