Fix defect in emitting assertions without namespacing in and add integration test for this

Author: herzogp

lib/src/assert/mod.rs

@@ -193,7 +193,8 @@ impl AssertionInfo {
     }
 
     fn emit(&self) {
-        internal::dispatch_output(&self);
+        let json_event = json!({ "antithesis_assert": &self });
+        internal::dispatch_output(&json_event)
     }
 }
 

lib/tests/assert_always_with_details.rs

@@ -0,0 +1,129 @@
+use antithesis_sdk::{antithesis_init, assert_always};
+use serde_json::{json, Value};
+
+mod common;
+use common::{AntithesisAssert, AssertType, SDKInput};
+
+const LOCAL_OUTPUT: &str = "ANTITHESIS_SDK_LOCAL_OUTPUT";
+
+/// Expected Output in /tmp/antithesis-assert-always-with-details.json
+/// Note: Actual version info in antithesis_sdk can vary
+///
+/// {
+///   "antithesis_sdk": {
+///     "language": {
+///       "name": "Rust",
+///       "version": "1.69.0"
+///     },
+///     "sdk_version": "0.1.2",
+///     "protocol_version": "1.0.0"
+///   }
+/// }
+/// {
+///   "antithesis_assert": {
+///     "assert_type": "always",
+///     "condition": false,
+///     "details": {},
+///     "display_type": "Always",
+///     "hit": false,
+///     "id": "Waterproof Red",
+///     "location": {
+///       "begin_column": 5,
+///       "begin_line": 23,
+///       "class": "assert_always_with_details",
+///       "file": "lib/tests/assert_always_with_details.rs",
+///       "function": "assert_always_with_details::assert_always_with_details"
+///     },
+///     "message": "Waterproof Red",
+///     "must_hit": true
+///   }
+/// }
+/// {
+///   "antithesis_assert": {
+///     "assert_type": "always",
+///     "condition": true,
+///     "details": {
+///       "color": "red",
+///       "labels": [
+///         "outdoor",
+///         "waterproof"
+///       ],
+///       "width": 4
+///     },
+///     "display_type": "Always",
+///     "hit": true,
+///     "id": "Waterproof Red",
+///     "location": {
+///       "begin_column": 5,
+///       "begin_line": 23,
+///       "class": "assert_always_with_details",
+///       "file": "lib/tests/assert_always_with_details.rs",
+///       "function": "assert_always_with_details::assert_always_with_details"
+///     },
+///     "message": "Waterproof Red",
+///     "must_hit": true
+///   }
+/// }
+#[test]
+fn assert_always_with_details() {
+    let output_file = "/tmp/antithesis-assert-always-with-details.json";
+    let prev_v = common::env::set_var(LOCAL_OUTPUT, output_file);
+    antithesis_init();
+    let clothing_details: Value = json!({
+        "color": "red",
+        "width": 4,
+        "labels": [
+            "outdoor",
+            "waterproof"
+        ]
+    });
+    let is_waterproof = true;
+    assert_always!(is_waterproof, "Waterproof Red", &clothing_details);
+
+    // verify the output has landed in the expected file
+    match common::read_jsonl_tags(output_file) {
+        Ok(x) => {
+            let mut did_register = false;
+            let mut did_hit = false;
+            for obj in x.iter() {
+                if let SDKInput::AntithesisAssert(AntithesisAssert {
+                    assert_type,
+                    condition,
+                    display_type,
+                    hit,
+                    must_hit,
+                    id,
+                    message,
+                    location,
+                    details,
+                }) = obj
+                {
+                    if *hit {
+                        did_hit = true;
+                        assert_eq!(*condition, is_waterproof);
+                        assert_eq!(details, &clothing_details);
+                    } else {
+                        did_register = true;
+                    };
+                    assert_eq!(*assert_type, AssertType::Always);
+                    assert_eq!(*display_type, "Always");
+                    assert!(*must_hit);
+                    assert_eq!(message, "Waterproof Red");
+                    assert_eq!(id, message);
+                    assert!(location.begin_line > 0);
+                    assert!(location.begin_column >= 0);
+                    assert_eq!(location.class, "assert_always_with_details");
+                    assert!(location.function.ends_with("::assert_always_with_details"));
+                    assert!(location
+                        .file
+                        .ends_with("/tests/assert_always_with_details.rs"));
+                }
+                println!("{:?}", obj);
+            }
+            assert!(did_register);
+            assert!(did_hit);
+        }
+        Err(e) => println!("{}", e),
+    }
+    common::env::restore_var(LOCAL_OUTPUT, prev_v);
+}

lib/tests/common/mod.rs

@@ -27,24 +27,24 @@ pub struct AntithesisSetup {
 
 #[derive(Deserialize, Serialize, Debug)]
 pub struct Location {
-    begin_column: i32,
-    begin_line: i32,
-    class: String,
-    file: String,
-    function: String,
+    pub begin_column: i32,
+    pub begin_line: i32,
+    pub class: String,
+    pub file: String,
+    pub function: String,
 }
 
 #[derive(Deserialize, Debug)]
 pub struct AntithesisAssert {
-    assert_type: AssertType,
-    condition: bool,
-    display_type: String,
-    hit: bool,
-    must_hit: bool,
-    id: String,
-    message: String,
-    location: Location,
-    details: Value,
+    pub assert_type: AssertType,
+    pub condition: bool,
+    pub display_type: String,
+    pub hit: bool,
+    pub must_hit: bool,
+    pub id: String,
+    pub message: String,
+    pub location: Location,
+    pub details: Value,
 }
 
 #[derive(Deserialize, Debug)]
@@ -56,9 +56,9 @@ pub enum SDKInput {
     SendEvent { event_name: String, details: Value },
 }
 
-#[derive(Deserialize, Debug)]
+#[derive(Deserialize, Debug, PartialEq)]
 #[serde(rename_all = "snake_case")]
-enum AssertType {
+pub enum AssertType {
     Always,
     Sometimes,
     Reachability,

lib/tests/setup_complete_without_details.rs

@@ -14,7 +14,7 @@ const LOCAL_OUTPUT: &str = "ANTITHESIS_SDK_LOCAL_OUTPUT";
 // ───────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────
 #[test]
 fn setup_complete_without_details() {
-    let output_file = "/tmp/antithesis-lifecycle-withou-details.json";
+    let output_file = "/tmp/antithesis-lifecycle-without-details.json";
     let prev_v = common::env::set_var(LOCAL_OUTPUT, output_file);
     let no_details = json!({});