Functions — github.com/buger/jsonparser

hub / github.com/buger/jsonparser / functions

Functions1,179 in github.com/buger/jsonparser

⨍ Functions 1,179◇ Types & classes 46

Verifies: STK-REQ-001 [malformed] MCDC STK-REQ-001: N/A Verifies: STK-REQ-005 [malformed] MCDC STK-REQ-005: N/A

Verifies: SYS-REQ-062 [malformed] A high surrogate followed by an out-of-range second escape is a lone high surrogate → U+FFFD + the second escape rep

deep_spec_test.go:646

FunctionTestJSONFuzzCorpusSanity

============================================================================= Corpus-seeding helper (non-fuzz regression gate) =======================

json_fuzz_test.go:1581

FunctionTestKeyCount

check having a bunch of keys in a call to EachKey Verifies: SYS-REQ-008 [boundary] MCDC SYS-REQ-008: N/A

parser_error_test.go:83

FunctionTestKeyCountArray

check having a bunch of keys Verifies: SYS-REQ-008 [boundary] MCDC SYS-REQ-008: N/A

parser_error_test.go:126

FunctionTestKeyDepth

check having a very deep key depth Verifies: SYS-REQ-008 [boundary] MCDC SYS-REQ-008: N/A

parser_error_test.go:63

FunctionTestKeyDepthArray

try pulling lots of keys out of a big array Verifies: SYS-REQ-008 [boundary] MCDC SYS-REQ-008: N/A

parser_error_test.go:106

FunctionTestLargeArray

Verifies: SYS-REQ-008 [boundary] MCDC SYS-REQ-008: N/A

parser_error_test.go:173

FunctionTestMCDC_SYS_REQ_001_Row2_TriggerFalse

============================================================================= Spec-level MC/DC witness tests. ========================================

mcdc_spec_witnesses_test.go:32

FunctionTestMCDC_SYS_REQ_001_Row4_InvariantViolation

Verifies: SYS-REQ-001 MCDC SYS-REQ-001: addressed_path_exists=T, json_input_is_well_formed=T, key_path_is_provided=T, returns_existing_path_lookup_res

mcdc_spec_witnesses_test.go:47

FunctionTestMCDC_SYS_REQ_002_Row1_TriggerFalse

----------------------------------------------------------------------------- SYS-REQ-002 (GetString) ------------------------------------------------

mcdc_spec_witnesses_test.go:68

FunctionTestMCDC_SYS_REQ_003_Row1_TriggerFalse

----------------------------------------------------------------------------- SYS-REQ-003 (GetInt) ---------------------------------------------------

mcdc_spec_witnesses_test.go:86

FunctionTestMCDC_SYS_REQ_004_Row1_TriggerFalse

----------------------------------------------------------------------------- SYS-REQ-004 (GetFloat) -------------------------------------------------

mcdc_spec_witnesses_test.go:105

FunctionTestMCDC_SYS_REQ_005_Row1_TriggerFalse

----------------------------------------------------------------------------- SYS-REQ-005 (GetBoolean) -----------------------------------------------

mcdc_spec_witnesses_test.go:121

FunctionTestMCDC_SYS_REQ_006_Row1_TriggerFalse

----------------------------------------------------------------------------- SYS-REQ-006 (ArrayEach) ------------------------------------------------

mcdc_spec_witnesses_test.go:137

FunctionTestMCDC_SYS_REQ_006_Row4_EmptyArray

Verifies: SYS-REQ-006 MCDC SYS-REQ-006: addressed_array_is_empty=T, addressed_array_is_well_formed=T, array_callback_receives_elements_in_order=F => T

mcdc_spec_witnesses_test.go:154

FunctionTestMCDC_SYS_REQ_007_Row1_TriggerFalse

----------------------------------------------------------------------------- SYS-REQ-007 (ObjectEach) -----------------------------------------------

mcdc_spec_witnesses_test.go:175

FunctionTestMCDC_SYS_REQ_007_Row4_EmptyObject

Verifies: SYS-REQ-007 MCDC SYS-REQ-007: addressed_object_is_empty=T, addressed_object_is_well_formed=T, object_callback_receives_entries=F => TRUE

mcdc_spec_witnesses_test.go:191

FunctionTestMCDC_SYS_REQ_008_Row1_TriggerFalse

----------------------------------------------------------------------------- SYS-REQ-008 (EachKey multipath scan) -----------------------------------

mcdc_spec_witnesses_test.go:211

FunctionTestMCDC_SYS_REQ_009_Row1_TriggerFalse

----------------------------------------------------------------------------- SYS-REQ-009 (Set) ------------------------------------------------------

mcdc_spec_witnesses_test.go:229

FunctionTestMCDC_SYS_REQ_010_Row1_NoPathNoEmpty

============================================================================= MC/DC witness row closure for SYS-REQ-010 ==============================

coverage_closure_test.go:105

FunctionTestMCDC_SYS_REQ_010_Row3_PathProvided

Verifies: SYS-REQ-010 [boundary] MCDC SYS-REQ-010: delete_path_is_provided=T, delete_returns_empty_document_without_path=F => TRUE

coverage_closure_test.go:123

FunctionTestMCDC_SYS_REQ_011_Row1_TriggerFalse

----------------------------------------------------------------------------- SYS-REQ-011 (GetUnsafeString) ------------------------------------------

mcdc_spec_witnesses_test.go:251

FunctionTestMCDC_SYS_REQ_012_Row1_TriggerFalse

----------------------------------------------------------------------------- SYS-REQ-012 (ParseBoolean) ---------------------------------------------

mcdc_spec_witnesses_test.go:269

FunctionTestMCDC_SYS_REQ_013_Row1_TriggerFalse

----------------------------------------------------------------------------- SYS-REQ-013 (ParseFloat) -----------------------------------------------

mcdc_spec_witnesses_test.go:285

FunctionTestMCDC_SYS_REQ_014_Row1_TriggerFalse

----------------------------------------------------------------------------- SYS-REQ-014 (ParseString) ----------------------------------------------

mcdc_spec_witnesses_test.go:301

FunctionTestMCDC_SYS_REQ_015_Row1_TriggerFalse

----------------------------------------------------------------------------- SYS-REQ-015 (ParseInt) -------------------------------------------------

mcdc_spec_witnesses_test.go:319

FunctionTestMCDC_SYS_REQ_016_Row1_TriggerFalse

----------------------------------------------------------------------------- SYS-REQ-016 (missing-path lookup on well-formed JSON via Get) ----------

mcdc_spec_witnesses_test.go:335

FunctionTestMCDC_SYS_REQ_016_Row2_NoKeyPath

Verifies: SYS-REQ-016 MCDC SYS-REQ-016: addressed_path_exists=F, json_input_is_well_formed=T, key_path_is_provided=F, returns_missing_path_result_for_

mcdc_spec_witnesses_test.go:347

FunctionTestMCDC_SYS_REQ_016_Row3_InvariantViolation

Verifies: SYS-REQ-016 MCDC SYS-REQ-016: addressed_path_exists=F, json_input_is_well_formed=T, key_path_is_provided=T, returns_missing_path_result_for_

mcdc_spec_witnesses_test.go:362

FunctionTestMCDC_SYS_REQ_016_Row4_MissingPathResult

Verifies: SYS-REQ-016 MCDC SYS-REQ-016: addressed_path_exists=F, json_input_is_well_formed=T, key_path_is_provided=T, returns_missing_path_result_for_

mcdc_spec_witnesses_test.go:377

FunctionTestMCDC_SYS_REQ_016_Row5_AddressedPathExists

Verifies: SYS-REQ-016 MCDC SYS-REQ-016: addressed_path_exists=T, json_input_is_well_formed=T, key_path_is_provided=T, returns_missing_path_result_for_

mcdc_spec_witnesses_test.go:389

FunctionTestMCDC_SYS_REQ_017_Row1_TriggerFalse

----------------------------------------------------------------------------- SYS-REQ-017 (parse error on incomplete input via Get) ------------------

mcdc_spec_witnesses_test.go:405

FunctionTestMCDC_SYS_REQ_017_Row2_InvariantViolation

Verifies: SYS-REQ-017 MCDC SYS-REQ-017: input_is_incomplete_during_lookup=T, returns_parse_error_for_incomplete_lookup=F => FALSE

mcdc_spec_witnesses_test.go:417

FunctionTestMCDC_SYS_REQ_017_Row3_ParseErrorReturned

Verifies: SYS-REQ-017 MCDC SYS-REQ-017: input_is_incomplete_during_lookup=T, returns_parse_error_for_incomplete_lookup=T => TRUE

mcdc_spec_witnesses_test.go:428

FunctionTestMCDC_SYS_REQ_018_Row1_TriggerFalse

----------------------------------------------------------------------------- SYS-REQ-018 (root value lookup without key path) FRETish: !json_input_is

mcdc_spec_witnesses_test.go:441

FunctionTestMCDC_SYS_REQ_018_Row2_InvariantViolation

Verifies: SYS-REQ-018 MCDC SYS-REQ-018: json_input_is_well_formed=T, key_path_is_provided=F, returns_root_value_without_key_path=F => FALSE

mcdc_spec_witnesses_test.go:453

FunctionTestMCDC_SYS_REQ_018_Row3_RootValueReturned

Verifies: SYS-REQ-018 MCDC SYS-REQ-018: json_input_is_well_formed=T, key_path_is_provided=F, returns_root_value_without_key_path=T => TRUE

mcdc_spec_witnesses_test.go:467

FunctionTestMCDC_SYS_REQ_018_Row4_KeyPathProvided

Verifies: SYS-REQ-018 MCDC SYS-REQ-018: json_input_is_well_formed=T, key_path_is_provided=T, returns_root_value_without_key_path=F => TRUE

mcdc_spec_witnesses_test.go:479

FunctionTestMCDC_SYS_REQ_019_Row1_TriggerFalse

----------------------------------------------------------------------------- SYS-REQ-019 (empty input + key path) -----------------------------------

mcdc_spec_witnesses_test.go:495

FunctionTestMCDC_SYS_REQ_019_Row2_EmptyNoKeyPath

Verifies: SYS-REQ-019 MCDC SYS-REQ-019: json_input_is_empty=T, key_path_is_provided=F, returns_missing_path_result_for_empty_input=F => TRUE

mcdc_spec_witnesses_test.go:507

FunctionTestMCDC_SYS_REQ_019_Row3_InvariantViolation

Verifies: SYS-REQ-019 MCDC SYS-REQ-019: json_input_is_empty=T, key_path_is_provided=T, returns_missing_path_result_for_empty_input=F => FALSE

mcdc_spec_witnesses_test.go:521

FunctionTestMCDC_SYS_REQ_019_Row4_EmptyMissingPath

Verifies: SYS-REQ-019 MCDC SYS-REQ-019: json_input_is_empty=T, key_path_is_provided=T, returns_missing_path_result_for_empty_input=T => TRUE

mcdc_spec_witnesses_test.go:535

FunctionTestMCDC_SYS_REQ_020_Row1_TriggerFalse

----------------------------------------------------------------------------- SYS-REQ-020 (object key segment at current scope) ----------------------

mcdc_spec_witnesses_test.go:551

FunctionTestMCDC_SYS_REQ_020_Row2_NotEvaluated

Verifies: SYS-REQ-020 MCDC SYS-REQ-020: path_segment_is_object_key=T, returns_value_from_current_scope_object_key=F, segment_is_evaluated_at_current_s

mcdc_spec_witnesses_test.go:564

FunctionTestMCDC_SYS_REQ_020_Row3_InvariantViolation

Verifies: SYS-REQ-020 MCDC SYS-REQ-020: path_segment_is_object_key=T, returns_value_from_current_scope_object_key=F, segment_is_evaluated_at_current_s

mcdc_spec_witnesses_test.go:575

FunctionTestMCDC_SYS_REQ_020_Row4_ObjectKeyMatched

Verifies: SYS-REQ-020 MCDC SYS-REQ-020: path_segment_is_object_key=T, returns_value_from_current_scope_object_key=T, segment_is_evaluated_at_current_s

mcdc_spec_witnesses_test.go:589

FunctionTestMCDC_SYS_REQ_021_Row1_OutOfBounds

----------------------------------------------------------------------------- SYS-REQ-021 (in-bounds array index) ------------------------------------

mcdc_spec_witnesses_test.go:605

FunctionTestMCDC_SYS_REQ_021_Row2_InvalidSegment

Verifies: SYS-REQ-021 MCDC SYS-REQ-021: array_index_is_in_bounds=T, array_index_segment_is_valid=F, path_segment_is_array_index=T, returns_value_from_

mcdc_spec_witnesses_test.go:614

FunctionTestMCDC_SYS_REQ_021_Row3_NotArraySegment

Verifies: SYS-REQ-021 MCDC SYS-REQ-021: array_index_is_in_bounds=T, array_index_segment_is_valid=T, path_segment_is_array_index=F, returns_value_from_

mcdc_spec_witnesses_test.go:623

FunctionTestMCDC_SYS_REQ_021_Row4_InvariantViolation

Verifies: SYS-REQ-021 MCDC SYS-REQ-021: array_index_is_in_bounds=T, array_index_segment_is_valid=T, path_segment_is_array_index=T, returns_value_from_

mcdc_spec_witnesses_test.go:638

FunctionTestMCDC_SYS_REQ_021_Row5_InBoundsReturned

Verifies: SYS-REQ-021 MCDC SYS-REQ-021: array_index_is_in_bounds=T, array_index_segment_is_valid=T, path_segment_is_array_index=T, returns_value_from_

mcdc_spec_witnesses_test.go:652

FunctionTestMCDC_SYS_REQ_022_Row1_TriggerFalse

----------------------------------------------------------------------------- SYS-REQ-022 (invalid array index syntax) -------------------------------

mcdc_spec_witnesses_test.go:668

FunctionTestMCDC_SYS_REQ_022_Row2_InvariantViolation

Verifies: SYS-REQ-022 MCDC SYS-REQ-022: array_index_segment_is_valid=F, path_segment_is_array_index=T, returns_invalid_array_index_not_found=F => FALS

mcdc_spec_witnesses_test.go:680

FunctionTestMCDC_SYS_REQ_022_Row3_InvalidIndexNotFound

Verifies: SYS-REQ-022 MCDC SYS-REQ-022: array_index_segment_is_valid=F, path_segment_is_array_index=T, returns_invalid_array_index_not_found=T => TRUE

mcdc_spec_witnesses_test.go:691

FunctionTestMCDC_SYS_REQ_022_Row4_ValidSegment

Verifies: SYS-REQ-022 MCDC SYS-REQ-022: array_index_segment_is_valid=T, path_segment_is_array_index=T, returns_invalid_array_index_not_found=F => TRUE

mcdc_spec_witnesses_test.go:700

FunctionTestMCDC_SYS_REQ_023_Row1_InBounds

----------------------------------------------------------------------------- SYS-REQ-023 (out-of-bounds array index) --------------------------------

mcdc_spec_witnesses_test.go:716

FunctionTestMCDC_SYS_REQ_023_Row2_InvalidOutOfBounds

Verifies: SYS-REQ-023 MCDC SYS-REQ-023: array_index_is_out_of_bounds=T, array_index_segment_is_valid=F, path_segment_is_array_index=T, returns_oob_arr

mcdc_spec_witnesses_test.go:728

FunctionTestMCDC_SYS_REQ_023_Row3_NotArraySegment

Verifies: SYS-REQ-023 MCDC SYS-REQ-023: array_index_is_out_of_bounds=T, array_index_segment_is_valid=T, path_segment_is_array_index=F, returns_oob_arr

mcdc_spec_witnesses_test.go:737

FunctionTestMCDC_SYS_REQ_023_Row4_InvariantViolation

Verifies: SYS-REQ-023 MCDC SYS-REQ-023: array_index_is_out_of_bounds=T, array_index_segment_is_valid=T, path_segment_is_array_index=T, returns_oob_arr

mcdc_spec_witnesses_test.go:752

FunctionTestMCDC_SYS_REQ_023_Row5_OobNotFound

Verifies: SYS-REQ-023 MCDC SYS-REQ-023: array_index_is_out_of_bounds=T, array_index_segment_is_valid=T, path_segment_is_array_index=T, returns_oob_arr

mcdc_spec_witnesses_test.go:763

FunctionTestMCDC_SYS_REQ_024_Row1_NoMatch

----------------------------------------------------------------------------- SYS-REQ-024 (decoded escaped object key) -------------------------------

mcdc_spec_witnesses_test.go:776

FunctionTestMCDC_SYS_REQ_024_Row2_TriggerFalse

Verifies: SYS-REQ-024 MCDC SYS-REQ-024: decoded_path_segment_matches_escaped_key=T, escaped_json_object_key_is_present=F, returns_value_from_decoded_e

mcdc_spec_witnesses_test.go:786

FunctionTestMCDC_SYS_REQ_024_Row3_InvariantViolation

Verifies: SYS-REQ-024 MCDC SYS-REQ-024: decoded_path_segment_matches_escaped_key=T, escaped_json_object_key_is_present=T, returns_value_from_decoded_e

mcdc_spec_witnesses_test.go:799

FunctionTestMCDC_SYS_REQ_024_Row4_DecodedEscapedMatched

Verifies: SYS-REQ-024 MCDC SYS-REQ-024: decoded_path_segment_matches_escaped_key=T, escaped_json_object_key_is_present=T, returns_value_from_decoded_e

mcdc_spec_witnesses_test.go:812

FunctionTestMCDC_SYS_REQ_025_Row1_TriggerFalse

----------------------------------------------------------------------------- SYS-REQ-025 (unquoted raw string contents) -----------------------------

mcdc_spec_witnesses_test.go:828

FunctionTestMCDC_SYS_REQ_025_Row2_InvariantViolation

Verifies: SYS-REQ-025 MCDC SYS-REQ-025: addressed_value_is_string=T, returns_unquoted_raw_string_contents=F => FALSE

mcdc_spec_witnesses_test.go:843

FunctionTestMCDC_SYS_REQ_025_Row3_StringUnquoted

Verifies: SYS-REQ-025 MCDC SYS-REQ-025: addressed_value_is_string=T, returns_unquoted_raw_string_contents=T => TRUE

mcdc_spec_witnesses_test.go:856

FunctionTestMCDC_SYS_REQ_026_Row1_CannotIsolate

----------------------------------------------------------------------------- SYS-REQ-026 (best-effort lookup when malformed input is outside addresse

mcdc_spec_witnesses_test.go:872

FunctionTestMCDC_SYS_REQ_026_Row2_TriggerFalse

Verifies: SYS-REQ-026 MCDC SYS-REQ-026: addressed_token_can_be_isolated=T, malformed_input_outside_addressed_token=F, returns_best_effort_lookup_resul

mcdc_spec_witnesses_test.go:882

FunctionTestMCDC_SYS_REQ_026_Row3_InvariantViolation

Verifies: SYS-REQ-026 MCDC SYS-REQ-026: addressed_token_can_be_isolated=T, malformed_input_outside_addressed_token=T, returns_best_effort_lookup_resul

mcdc_spec_witnesses_test.go:894

FunctionTestMCDC_SYS_REQ_026_Row4_BestEffortSuccess

Verifies: SYS-REQ-026 MCDC SYS-REQ-026: addressed_token_can_be_isolated=T, malformed_input_outside_addressed_token=T, returns_best_effort_lookup_resul

mcdc_spec_witnesses_test.go:908

FunctionTestMCDC_SYS_REQ_027_Row1_TriggerFalse

----------------------------------------------------------------------------- SYS-REQ-027 (invalid addressed token shape) ----------------------------

mcdc_spec_witnesses_test.go:924

FunctionTestMCDC_SYS_REQ_027_Row2_InvariantViolation

Verifies: SYS-REQ-027 MCDC SYS-REQ-027: addressed_token_shape_is_invalid=T, returns_value_type_error=F => FALSE

mcdc_spec_witnesses_test.go:936

FunctionTestMCDC_SYS_REQ_027_Row3_ValueTypeError

Verifies: SYS-REQ-027 MCDC SYS-REQ-027: addressed_token_shape_is_invalid=T, returns_value_type_error=T => TRUE

mcdc_spec_witnesses_test.go:945

FunctionTestMCDC_SYS_REQ_028_Row1_NonEmptyWellFormed

----------------------------------------------------------------------------- SYS-REQ-028 (empty well-formed array produces no callbacks via ArrayEach

mcdc_spec_witnesses_test.go:957

FunctionTestMCDC_SYS_REQ_028_Row2_EmptyMalformed

Verifies: SYS-REQ-028 MCDC SYS-REQ-028: addressed_array_is_empty=T, addressed_array_is_well_formed=F, empty_array_produces_no_callbacks=F => TRUE [no-

mcdc_spec_witnesses_test.go:973

FunctionTestMCDC_SYS_REQ_028_Row3_InvariantViolation

Verifies: SYS-REQ-028 MCDC SYS-REQ-028: addressed_array_is_empty=T, addressed_array_is_well_formed=T, empty_array_produces_no_callbacks=F => FALSE

mcdc_spec_witnesses_test.go:988

FunctionTestMCDC_SYS_REQ_029_Row1_InvariantViolation

----------------------------------------------------------------------------- SYS-REQ-029 (malformed array input returns error via ArrayEach) --------

mcdc_spec_witnesses_test.go:1008

FunctionTestMCDC_SYS_REQ_029_Row2_WellFormed

Verifies: SYS-REQ-029 MCDC SYS-REQ-029: addressed_array_is_well_formed=T, malformed_array_input_returns_error=F => TRUE [no-action: well-formed array

mcdc_spec_witnesses_test.go:1017

FunctionTestMCDC_SYS_REQ_030_Row1_NonEmptyWellFormed

----------------------------------------------------------------------------- SYS-REQ-030 (empty well-formed object produces no entries via ObjectEach

mcdc_spec_witnesses_test.go:1035

FunctionTestMCDC_SYS_REQ_030_Row2_EmptyMalformed

Verifies: SYS-REQ-030 MCDC SYS-REQ-030: addressed_object_is_empty=T, addressed_object_is_well_formed=F, empty_object_produces_no_entries=F => TRUE [no

mcdc_spec_witnesses_test.go:1050

FunctionTestMCDC_SYS_REQ_030_Row3_InvariantViolation

Verifies: SYS-REQ-030 MCDC SYS-REQ-030: addressed_object_is_empty=T, addressed_object_is_well_formed=T, empty_object_produces_no_entries=F => FALSE

mcdc_spec_witnesses_test.go:1066

FunctionTestMCDC_SYS_REQ_031_Row1_InvariantViolation

----------------------------------------------------------------------------- SYS-REQ-031 (malformed object input returns error via ObjectEach) ------

mcdc_spec_witnesses_test.go:1085

FunctionTestMCDC_SYS_REQ_031_Row2_WellFormed

Verifies: SYS-REQ-031 MCDC SYS-REQ-031: addressed_object_is_well_formed=T, malformed_object_input_returns_error=F => TRUE [no-action: well-formed obje

mcdc_spec_witnesses_test.go:1093

FunctionTestMCDC_SYS_REQ_032_Row1_TriggerFalse

----------------------------------------------------------------------------- SYS-REQ-032 (callback error is returned by ObjectEach) FRETish: !address

mcdc_spec_witnesses_test.go:1113

FunctionTestMCDC_SYS_REQ_032_Row2_NoCallbackError

Verifies: SYS-REQ-032 MCDC SYS-REQ-032: addressed_object_is_well_formed=T, object_callback_error_is_returned=F, object_callback_returns_error=F => TRU

mcdc_spec_witnesses_test.go:1128

FunctionTestMCDC_SYS_REQ_032_Row3_InvariantViolation

Verifies: SYS-REQ-032 MCDC SYS-REQ-032: addressed_object_is_well_formed=T, object_callback_error_is_returned=F, object_callback_returns_error=T => FAL

mcdc_spec_witnesses_test.go:1143

FunctionTestMCDC_SYS_REQ_033_Row1_TriggerFalse

----------------------------------------------------------------------------- SYS-REQ-033 (Delete removes addressed target) --------------------------

mcdc_spec_witnesses_test.go:1161

FunctionTestMCDC_SYS_REQ_033_Row2_MissingTarget

Verifies: SYS-REQ-033 MCDC SYS-REQ-033: delete_path_is_provided=T, delete_returns_document_without_target=F, delete_target_exists=F => TRUE

mcdc_spec_witnesses_test.go:1172

FunctionTestMCDC_SYS_REQ_033_Row3_InvariantViolation

Verifies: SYS-REQ-033 MCDC SYS-REQ-033: delete_path_is_provided=T, delete_returns_document_without_target=F, delete_target_exists=T => FALSE

mcdc_spec_witnesses_test.go:1182

FunctionTestMCDC_SYS_REQ_034_Row1_TriggerFalse

----------------------------------------------------------------------------- SYS-REQ-034 (Delete preserves input when target missing in usable input)

mcdc_spec_witnesses_test.go:1198

FunctionTestMCDC_SYS_REQ_034_Row2_InvariantViolation

Verifies: SYS-REQ-034 MCDC SYS-REQ-034: delete_input_is_unusable_for_requested_path=F, delete_path_is_provided=T, delete_preserves_input_when_target_m

mcdc_spec_witnesses_test.go:1208

FunctionTestMCDC_SYS_REQ_034_Row3_TargetExistsUsable

Verifies: SYS-REQ-034 MCDC SYS-REQ-034: delete_input_is_unusable_for_requested_path=F, delete_path_is_provided=T, delete_preserves_input_when_target_m

mcdc_spec_witnesses_test.go:1220

FunctionTestMCDC_SYS_REQ_034_Row4_UnusableInput

Verifies: SYS-REQ-034 MCDC SYS-REQ-034: delete_input_is_unusable_for_requested_path=T, delete_path_is_provided=T, delete_preserves_input_when_target_m

mcdc_spec_witnesses_test.go:1230

FunctionTestMCDC_SYS_REQ_035_Row1_TriggerFalse

----------------------------------------------------------------------------- SYS-REQ-035 (Delete completes without panic on unusable input) ---------

mcdc_spec_witnesses_test.go:1245

FunctionTestMCDC_SYS_REQ_035_Row2_NoPathUnusable

Verifies: SYS-REQ-035 MCDC SYS-REQ-035: delete_completes_without_panic=F, delete_input_is_unusable_for_requested_path=T, delete_path_is_provided=F, de

mcdc_spec_witnesses_test.go:1255

FunctionTestMCDC_SYS_REQ_035_Row3_InvariantViolationPanic

Verifies: SYS-REQ-035 MCDC SYS-REQ-035: delete_completes_without_panic=F, delete_input_is_unusable_for_requested_path=T, delete_path_is_provided=T, de

mcdc_spec_witnesses_test.go:1265

FunctionTestMCDC_SYS_REQ_035_Row4_InvariantViolationOriginal

Verifies: SYS-REQ-035 MCDC SYS-REQ-035: delete_completes_without_panic=F, delete_input_is_unusable_for_requested_path=T, delete_path_is_provided=T, de

mcdc_spec_witnesses_test.go:1277

FunctionTestMCDC_SYS_REQ_035_Row5_InvariantViolationNoPanic

Verifies: SYS-REQ-035 MCDC SYS-REQ-035: delete_completes_without_panic=T, delete_input_is_unusable_for_requested_path=T, delete_path_is_provided=T, de

mcdc_spec_witnesses_test.go:1289

← previous next →601–700 of 1,179, ranked by callers