MCPcopy Create free account

hub / github.com/buger/jsonparser / functions

Functions1,095 in github.com/buger/jsonparser

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
FunctionTestMCDC_SYS_REQ_036_Row1_InvariantViolation
----------------------------------------------------------------------------- SYS-REQ-036 (ParseBoolean malformed literal returns error) -------------
mcdc_spec_witnesses_test.go:1303
FunctionTestMCDC_SYS_REQ_036_Row2_ValidLiteral
Verifies: SYS-REQ-036 MCDC SYS-REQ-036: raw_boolean_literal_is_valid=T, returns_parseboolean_error=F => TRUE [no-action: valid boolean literal does no
mcdc_spec_witnesses_test.go:1311
FunctionTestMCDC_SYS_REQ_037_Row1_InvariantViolation
----------------------------------------------------------------------------- SYS-REQ-037 (ParseFloat malformed token returns error) -----------------
mcdc_spec_witnesses_test.go:1327
FunctionTestMCDC_SYS_REQ_037_Row2_WellFormed
Verifies: SYS-REQ-037 MCDC SYS-REQ-037: raw_float_token_is_well_formed=T, returns_parsefloat_error=F => TRUE [no-action: well-formed float does not in
mcdc_spec_witnesses_test.go:1335
FunctionTestMCDC_SYS_REQ_038_Row1_InvariantViolation
----------------------------------------------------------------------------- SYS-REQ-038 (ParseString malformed literal returns error) --------------
mcdc_spec_witnesses_test.go:1351
FunctionTestMCDC_SYS_REQ_038_Row2_WellFormed
Verifies: SYS-REQ-038 MCDC SYS-REQ-038: raw_string_literal_is_well_formed=T, returns_parsestring_error=F => TRUE [no-action: well-formed string does n
mcdc_spec_witnesses_test.go:1359
FunctionTestMCDC_SYS_REQ_039_Row1_NoOverflow
----------------------------------------------------------------------------- SYS-REQ-039 (ParseInt overflow returns error) --------------------------
mcdc_spec_witnesses_test.go:1375
FunctionTestMCDC_SYS_REQ_039_Row2_InvariantViolation
Verifies: SYS-REQ-039 MCDC SYS-REQ-039: raw_int_token_overflows_int64=T, returns_parseint_overflow_error=F => FALSE
mcdc_spec_witnesses_test.go:1387
FunctionTestMCDC_SYS_REQ_040_Row1_InvariantViolation
----------------------------------------------------------------------------- SYS-REQ-040 (ParseInt malformed token returns error) -------------------
mcdc_spec_witnesses_test.go:1399
FunctionTestMCDC_SYS_REQ_040_Row2_MalformedOrOverflow
Verifies: SYS-REQ-040 MCDC SYS-REQ-040: raw_int_token_is_well_formed=F, raw_int_token_overflows_int64=T, returns_parseint_malformed_error=F => TRUE
mcdc_spec_witnesses_test.go:1407
FunctionTestMCDC_SYS_REQ_040_Row3_WellFormed
Verifies: SYS-REQ-040 MCDC SYS-REQ-040: raw_int_token_is_well_formed=T, raw_int_token_overflows_int64=F, returns_parseint_malformed_error=F => TRUE [n
mcdc_spec_witnesses_test.go:1417
FunctionTestMCDC_SYS_REQ_041_Row1_TriggerFalse
----------------------------------------------------------------------------- SYS-REQ-041 (truncated-at-value-boundary returns parse error via Get) --
mcdc_spec_witnesses_test.go:1433
FunctionTestMCDC_SYS_REQ_041_Row2_InvariantViolation
Verifies: SYS-REQ-041 MCDC SYS-REQ-041: input_is_truncated_at_value_boundary=T, returns_error_for_truncated_value_boundary=F => FALSE
mcdc_spec_witnesses_test.go:1441
FunctionTestMCDC_SYS_REQ_041_Row3_TruncatedError
Verifies: SYS-REQ-041 MCDC SYS-REQ-041: input_is_truncated_at_value_boundary=T, returns_error_for_truncated_value_boundary=T => TRUE
mcdc_spec_witnesses_test.go:1449
FunctionTestMCDC_SYS_REQ_042_Row1_TriggerFalse
----------------------------------------------------------------------------- SYS-REQ-042 (truncated-mid-structure returns parse error via Get) ------
mcdc_spec_witnesses_test.go:1461
FunctionTestMCDC_SYS_REQ_042_Row2_InvariantViolation
Verifies: SYS-REQ-042 MCDC SYS-REQ-042: input_is_truncated_mid_structure=T, returns_error_for_truncated_mid_structure=F => FALSE
mcdc_spec_witnesses_test.go:1469
FunctionTestMCDC_SYS_REQ_042_Row3_TruncatedError
Verifies: SYS-REQ-042 MCDC SYS-REQ-042: input_is_truncated_mid_structure=T, returns_error_for_truncated_mid_structure=T => TRUE
mcdc_spec_witnesses_test.go:1477
FunctionTestMCDC_SYS_REQ_043_Row1_TriggerFalse
----------------------------------------------------------------------------- SYS-REQ-043 (truncated-mid-key returns parse error via Get) ------------
mcdc_spec_witnesses_test.go:1489
FunctionTestMCDC_SYS_REQ_043_Row2_InvariantViolation
Verifies: SYS-REQ-043 MCDC SYS-REQ-043: input_is_truncated_mid_key=T, returns_error_for_truncated_mid_key=F => FALSE
mcdc_spec_witnesses_test.go:1497
FunctionTestMCDC_SYS_REQ_043_Row3_TruncatedError
Verifies: SYS-REQ-043 MCDC SYS-REQ-043: input_is_truncated_mid_key=T, returns_error_for_truncated_mid_key=T => TRUE
mcdc_spec_witnesses_test.go:1505
FunctionTestMCDC_SYS_REQ_044_Row1_TriggerFalse
----------------------------------------------------------------------------- SYS-REQ-044 (caller bounds-checks tokenEnd == len(data) sentinel) ------
mcdc_spec_witnesses_test.go:1517
FunctionTestMCDC_SYS_REQ_044_Row2_InvariantViolation
Verifies: SYS-REQ-044 MCDC SYS-REQ-044: caller_bounds_checks_tokenEnd_sentinel=F, tokenEnd_returns_len_data=T => FALSE
mcdc_spec_witnesses_test.go:1526
FunctionTestMCDC_SYS_REQ_044_Row3_BoundsChecked
Verifies: SYS-REQ-044 MCDC SYS-REQ-044: caller_bounds_checks_tokenEnd_sentinel=T, tokenEnd_returns_len_data=T => TRUE
mcdc_spec_witnesses_test.go:1542
FunctionTestMCDC_SYS_REQ_045_Row1_TriggerFalse
----------------------------------------------------------------------------- SYS-REQ-045 (caller handles stringEnd == -1 sentinel) ------------------
mcdc_spec_witnesses_test.go:1558
FunctionTestMCDC_SYS_REQ_045_Row2_InvariantViolation
Verifies: SYS-REQ-045 MCDC SYS-REQ-045: caller_handles_stringEnd_sentinel=F, stringEnd_returns_negative_one=T => FALSE
mcdc_spec_witnesses_test.go:1570
FunctionTestMCDC_SYS_REQ_045_Row3_SentinelHandled
Verifies: SYS-REQ-045 MCDC SYS-REQ-045: caller_handles_stringEnd_sentinel=T, stringEnd_returns_negative_one=T => TRUE
mcdc_spec_witnesses_test.go:1581
FunctionTestMCDC_SYS_REQ_046_Row1_TriggerFalse
----------------------------------------------------------------------------- SYS-REQ-046 (caller handles blockEnd == -1 sentinel) -------------------
mcdc_spec_witnesses_test.go:1593
FunctionTestMCDC_SYS_REQ_046_Row2_InvariantViolation
Verifies: SYS-REQ-046 MCDC SYS-REQ-046: blockEnd_returns_negative_one=T, caller_handles_blockEnd_sentinel=F => FALSE
mcdc_spec_witnesses_test.go:1605
FunctionTestMCDC_SYS_REQ_046_Row3_SentinelHandled
Verifies: SYS-REQ-046 MCDC SYS-REQ-046: blockEnd_returns_negative_one=T, caller_handles_blockEnd_sentinel=T => TRUE
mcdc_spec_witnesses_test.go:1615
FunctionTestMCDC_SYS_REQ_047_Row1_TriggerFalse
----------------------------------------------------------------------------- SYS-REQ-047 (negative array index returns not-found) -------------------
mcdc_spec_witnesses_test.go:1627
FunctionTestMCDC_SYS_REQ_047_Row2_InvariantViolation
Verifies: SYS-REQ-047 MCDC SYS-REQ-047: path_segment_is_negative_array_index=T, returns_not_found_for_negative_array_index=F => FALSE
mcdc_spec_witnesses_test.go:1639
FunctionTestMCDC_SYS_REQ_047_Row3_NegativeNotFound
Verifies: SYS-REQ-047 MCDC SYS-REQ-047: path_segment_is_negative_array_index=T, returns_not_found_for_negative_array_index=T => TRUE
mcdc_spec_witnesses_test.go:1649
FunctionTestMCDC_SYS_REQ_048_Row1_TriggerFalse
----------------------------------------------------------------------------- SYS-REQ-048 (Delete on truncated-at-value-boundary input) --------------
mcdc_spec_witnesses_test.go:1662
FunctionTestMCDC_SYS_REQ_048_Row2_InvariantViolationPanic
Verifies: SYS-REQ-048 MCDC SYS-REQ-048: delete_completes_without_panic_on_truncated_value=F, delete_input_is_truncated_at_value_boundary=T, delete_ret
mcdc_spec_witnesses_test.go:1672
FunctionTestMCDC_SYS_REQ_048_Row3_InvariantViolationOriginal
Verifies: SYS-REQ-048 MCDC SYS-REQ-048: delete_completes_without_panic_on_truncated_value=F, delete_input_is_truncated_at_value_boundary=T, delete_ret
mcdc_spec_witnesses_test.go:1684
FunctionTestMCDC_SYS_REQ_048_Row4_InvariantViolationNoPanic
Verifies: SYS-REQ-048 MCDC SYS-REQ-048: delete_completes_without_panic_on_truncated_value=T, delete_input_is_truncated_at_value_boundary=T, delete_ret
mcdc_spec_witnesses_test.go:1694
FunctionTestMCDC_SYS_REQ_048_Row5_TruncatedValue
Verifies: SYS-REQ-048 MCDC SYS-REQ-048: delete_completes_without_panic_on_truncated_value=T, delete_input_is_truncated_at_value_boundary=T, delete_ret
mcdc_spec_witnesses_test.go:1704
FunctionTestMCDC_SYS_REQ_049_Row1_TriggerFalse
----------------------------------------------------------------------------- SYS-REQ-049 (Delete propagates internalGet parse error) FRETish: !delete
mcdc_spec_witnesses_test.go:1719
FunctionTestMCDC_SYS_REQ_049_Row2_InvariantViolation
Verifies: SYS-REQ-049 MCDC SYS-REQ-049: delete_discards_internalGet_error=T, delete_propagates_internalGet_error=F => FALSE
mcdc_spec_witnesses_test.go:1729
FunctionTestMCDC_SYS_REQ_049_Row3_PropagatedError
Verifies: SYS-REQ-049 MCDC SYS-REQ-049: delete_discards_internalGet_error=T, delete_propagates_internalGet_error=T => TRUE
mcdc_spec_witnesses_test.go:1742
FunctionTestMCDC_SYS_REQ_050_Row1_TriggerFalse
----------------------------------------------------------------------------- SYS-REQ-050 (Delete on truncated array input) --------------------------
mcdc_spec_witnesses_test.go:1756
FunctionTestMCDC_SYS_REQ_050_Row2_InvariantViolationPanic
Verifies: SYS-REQ-050 MCDC SYS-REQ-050: delete_array_input_is_truncated=T, delete_completes_without_panic_on_truncated_array=F, delete_returns_origina
mcdc_spec_witnesses_test.go:1771
FunctionTestMCDC_SYS_REQ_050_Row3_InvariantViolationOriginal
Verifies: SYS-REQ-050 MCDC SYS-REQ-050: delete_array_input_is_truncated=T, delete_completes_without_panic_on_truncated_array=F, delete_returns_origina
mcdc_spec_witnesses_test.go:1781
FunctionTestMCDC_SYS_REQ_050_Row4_InvariantViolationNoPanic
Verifies: SYS-REQ-050 MCDC SYS-REQ-050: delete_array_input_is_truncated=T, delete_completes_without_panic_on_truncated_array=T, delete_returns_origina
mcdc_spec_witnesses_test.go:1791
FunctionTestMCDC_SYS_REQ_050_Row5_TruncatedArray
Verifies: SYS-REQ-050 MCDC SYS-REQ-050: delete_array_input_is_truncated=T, delete_completes_without_panic_on_truncated_array=T, delete_returns_origina
mcdc_spec_witnesses_test.go:1801
FunctionTestMCDC_SYS_REQ_051_Row1_TriggerFalse
----------------------------------------------------------------------------- SYS-REQ-051 (Set on truncated input returns error) ---------------------
mcdc_spec_witnesses_test.go:1815
FunctionTestMCDC_SYS_REQ_051_Row2_InvariantViolation
Verifies: SYS-REQ-051 MCDC SYS-REQ-051: set_input_is_truncated=T, set_returns_error_for_truncated_input=F => FALSE
mcdc_spec_witnesses_test.go:1823
FunctionTestMCDC_SYS_REQ_051_Row3_TruncatedError
Verifies: SYS-REQ-051 MCDC SYS-REQ-051: set_input_is_truncated=T, set_returns_error_for_truncated_input=T => TRUE
mcdc_spec_witnesses_test.go:1831
FunctionTestMCDC_SYS_REQ_052_Row1_TriggerFalse
----------------------------------------------------------------------------- SYS-REQ-052 (ArrayEach callback error is propagated) -------------------
mcdc_spec_witnesses_test.go:1843
FunctionTestMCDC_SYS_REQ_053_Row1_TriggerFalse
----------------------------------------------------------------------------- SYS-REQ-053 (ArrayEach returns error for truncated-mid-element) --------
mcdc_spec_witnesses_test.go:1861
FunctionTestMCDC_SYS_REQ_053_Row2_InvariantViolation
Verifies: SYS-REQ-053 MCDC SYS-REQ-053: array_is_truncated_mid_element=T, returns_error_for_truncated_array_element=F => FALSE
mcdc_spec_witnesses_test.go:1875
FunctionTestMCDC_SYS_REQ_053_Row3_TruncatedError
Verifies: SYS-REQ-053 MCDC SYS-REQ-053: array_is_truncated_mid_element=T, returns_error_for_truncated_array_element=T => TRUE
mcdc_spec_witnesses_test.go:1883
FunctionTestMCDC_SYS_REQ_054_Row1_TriggerFalse
----------------------------------------------------------------------------- SYS-REQ-054 (ObjectEach returns error for truncated-mid-entry) ---------
mcdc_spec_witnesses_test.go:1895
FunctionTestMCDC_SYS_REQ_054_Row2_InvariantViolation
Verifies: SYS-REQ-054 MCDC SYS-REQ-054: object_is_truncated_mid_entry=T, returns_error_for_truncated_object_entry=F => FALSE
mcdc_spec_witnesses_test.go:1910
FunctionTestMCDC_SYS_REQ_054_Row3_TruncatedError
Verifies: SYS-REQ-054 MCDC SYS-REQ-054: object_is_truncated_mid_entry=T, returns_error_for_truncated_object_entry=T => TRUE
mcdc_spec_witnesses_test.go:1918
FunctionTestMCDC_SYS_REQ_055_Row1_TriggerFalse
----------------------------------------------------------------------------- SYS-REQ-055 (ArrayEach returns error for malformed delimiter) ----------
mcdc_spec_witnesses_test.go:1930
FunctionTestMCDC_SYS_REQ_055_Row2_InvariantViolation
Verifies: SYS-REQ-055 MCDC SYS-REQ-055: array_has_malformed_delimiter=T, returns_error_for_malformed_array_delimiter=F => FALSE
mcdc_spec_witnesses_test.go:1944
FunctionTestMCDC_SYS_REQ_055_Row3_MalformedError
Verifies: SYS-REQ-055 MCDC SYS-REQ-055: array_has_malformed_delimiter=T, returns_error_for_malformed_array_delimiter=T => TRUE
mcdc_spec_witnesses_test.go:1952
FunctionTestMCDC_SYS_REQ_056_Row1_TriggerFalse
----------------------------------------------------------------------------- SYS-REQ-056 (Delete on truncated mid-structure returns original) -------
mcdc_spec_witnesses_test.go:1964
FunctionTestMCDC_SYS_REQ_056_Row2_InvariantViolationPanic
Verifies: SYS-REQ-056 MCDC SYS-REQ-056: delete_completes_without_panic_on_truncated_structure=F, delete_input_is_truncated_mid_structure=T, delete_ret
mcdc_spec_witnesses_test.go:1974
FunctionTestMCDC_SYS_REQ_056_Row3_InvariantViolationOriginal
Verifies: SYS-REQ-056 MCDC SYS-REQ-056: delete_completes_without_panic_on_truncated_structure=F, delete_input_is_truncated_mid_structure=T, delete_ret
mcdc_spec_witnesses_test.go:1984
FunctionTestMCDC_SYS_REQ_056_Row4_InvariantViolationNoPanic
Verifies: SYS-REQ-056 MCDC SYS-REQ-056: delete_completes_without_panic_on_truncated_structure=T, delete_input_is_truncated_mid_structure=T, delete_ret
mcdc_spec_witnesses_test.go:1994
FunctionTestMCDC_SYS_REQ_056_Row5_TruncatedStructure
Verifies: SYS-REQ-056 MCDC SYS-REQ-056: delete_completes_without_panic_on_truncated_structure=T, delete_input_is_truncated_mid_structure=T, delete_ret
mcdc_spec_witnesses_test.go:2004
FunctionTestMCDC_SYS_REQ_057_Row1_TriggerFalse
----------------------------------------------------------------------------- SYS-REQ-057 (ParseBoolean partial literal returns error) ---------------
mcdc_spec_witnesses_test.go:2018
FunctionTestMCDC_SYS_REQ_057_Row2_InvariantViolation
Verifies: SYS-REQ-057 MCDC SYS-REQ-057: raw_boolean_literal_is_partial=T, returns_error_for_partial_boolean_literal=F => FALSE
mcdc_spec_witnesses_test.go:2030
FunctionTestMCDC_SYS_REQ_057_Row3_PartialError
Verifies: SYS-REQ-057 MCDC SYS-REQ-057: raw_boolean_literal_is_partial=T, returns_error_for_partial_boolean_literal=T => TRUE
mcdc_spec_witnesses_test.go:2038
FunctionTestMCDC_SYS_REQ_058_Row1_TriggerFalse
----------------------------------------------------------------------------- SYS-REQ-058 (ParseInt returns correct value at int64 boundary) ---------
mcdc_spec_witnesses_test.go:2050
FunctionTestMCDC_SYS_REQ_058_Row2_InvariantViolation
Verifies: SYS-REQ-058 MCDC SYS-REQ-058: raw_int_token_is_at_int64_max_boundary=T, returns_correct_value_at_int64_boundary=F => FALSE
mcdc_spec_witnesses_test.go:2062
FunctionTestMCDC_SYS_REQ_058_Row3_BoundaryValue
Verifies: SYS-REQ-058 MCDC SYS-REQ-058: raw_int_token_is_at_int64_max_boundary=T, returns_correct_value_at_int64_boundary=T => TRUE
mcdc_spec_witnesses_test.go:2075
FunctionTestMCDC_SYS_REQ_059_Row1_TriggerFalse
----------------------------------------------------------------------------- SYS-REQ-059 (ParseInt returns overflow at int64 max + 1) ---------------
mcdc_spec_witnesses_test.go:2091
FunctionTestMCDC_SYS_REQ_059_Row2_InvariantViolation
Verifies: SYS-REQ-059 MCDC SYS-REQ-059: raw_int_token_is_at_int64_max_plus_one=T, returns_overflow_at_int64_max_plus_one=F => FALSE
mcdc_spec_witnesses_test.go:2103
FunctionTestMCDC_SYS_REQ_059_Row3_OverflowError
Verifies: SYS-REQ-059 MCDC SYS-REQ-059: raw_int_token_is_at_int64_max_plus_one=T, returns_overflow_at_int64_max_plus_one=T => TRUE
mcdc_spec_witnesses_test.go:2111
← previousnext →601–700 of 1,095, ranked by callers