Add comment

prove-rs · Aug 29, 2023 · 3c97663 · 3c97663
1 parent 2b14eef
commit 3c97663
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/z3/tests/ops.rs b/z3/tests/ops.rs
@@ -209,6 +209,7 @@ fn test_ast_children() {
     assert_eq!(not_a.nth_child(1), None);
 
     let b = Bool::new_const(&ctx, "b");
+    // This is specifically testing for an array of values, not an array of slices
     let a_or_b = Bool::or(&ctx, &[a.clone(), b.clone()]);
     assert_eq!(a_or_b.num_children(), 2);
     assert_bool_child(&a_or_b, 0, &a);