Verifies: SYS-REQ-103 MCDC SYS-REQ-103: getunsafestring_called_twice_with_same_input=T, getunsafestring_returns_identical_results=T => TRUE
(t *testing.T)
| 181 | // Verifies: SYS-REQ-103 |
| 182 | // MCDC SYS-REQ-103: getunsafestring_called_twice_with_same_input=T, getunsafestring_returns_identical_results=T => TRUE |
| 183 | func TestGetUnsafeStringDeterminism(t *testing.T) { |
| 184 | data := []byte(`{"s":"hello\\world"}`) |
| 185 | v1, e1 := GetUnsafeString(data, "s") |
| 186 | v2, e2 := GetUnsafeString(data, "s") |
| 187 | if v1 != v2 { |
| 188 | t.Fatalf("GetUnsafeString value mismatch: %q vs %q", v1, v2) |
| 189 | } |
| 190 | if (e1 == nil) != (e2 == nil) { |
| 191 | t.Fatalf("GetUnsafeString error mismatch: %v vs %v", e1, e2) |
| 192 | } |
| 193 | } |
| 194 | |
| 195 | // Verifies: SYS-REQ-106 |
| 196 | // MCDC SYS-REQ-106: parse_helper_called_twice_with_same_input=T, parse_helper_returns_identical_results=T => TRUE |
nothing calls this directly
no test coverage detected
searching dependent graphs…