From a3061824971cc983f3c39ef37a4593f8c95fdcfa Mon Sep 17 00:00:00 2001 From: schaeff Date: Fri, 7 Jun 2019 15:08:37 +0200 Subject: [PATCH] fix tests of empty import with and without ZOKRATES_HOME --- zokrates_fs_resolver/src/lib.rs | 21 ++++++++++++++++++++- 1 file changed, 20 insertions(+), 1 deletion(-) diff --git a/zokrates_fs_resolver/src/lib.rs b/zokrates_fs_resolver/src/lib.rs index 1068b907..a0f7ff2b 100644 --- a/zokrates_fs_resolver/src/lib.rs +++ b/zokrates_fs_resolver/src/lib.rs @@ -104,7 +104,26 @@ mod tests { } #[test] - fn no_file_name() { + #[should_panic] + fn no_file_name_without_stdlib() { + // an empty string is interpreted relative to the HOME folder. If there's none, panic + std::env::remove_var(ZOKRATES_HOME); + let _res = resolve(&Some(String::from(".")), &String::from("")); + } + + #[test] + fn no_file_name_with_stdlib() { + use std::io::Write; + + // create a HOME folder with a code file + let zokrates_home_folder = tempfile::tempdir().unwrap(); + let file_path = zokrates_home_folder.path().join("bar.code"); + let mut file = File::create(file_path).unwrap(); + writeln!(file, "").unwrap(); + + // assign HOME folder to ZOKRATES_HOME + std::env::set_var(ZOKRATES_HOME, zokrates_home_folder.path()); + let res = resolve(&Some(String::from(".")), &String::from("")); assert!(res.is_err()); }