fix tests that were broken due to moving files around

cucapra · Nov 20, 2023 · 5853170 · 5853170
1 parent d4d2728
commit 5853170
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/tests/btor2_test.rs b/tests/btor2_test.rs
@@ -36,12 +36,12 @@ fn serialize_count2() {
 
 #[test]
 fn parse_quiz1() {
-    let (ctx, sys) = btor2::parse_file("inputs/Quiz1.btor").unwrap();
+    let (ctx, sys) = btor2::parse_file("inputs/chiseltest/Quiz1.btor").unwrap();
     insta::assert_snapshot!(sys.serialize_to_str(&ctx));
 }
 
 #[test]
 fn serialize_quiz1() {
-    let (ctx, sys) = btor2::parse_file("inputs/Quiz1.btor").unwrap();
+    let (ctx, sys) = btor2::parse_file("inputs/chiseltest/Quiz1.btor").unwrap();
     insta::assert_snapshot!(btor2::serialize_to_str(&ctx, &sys));
 }