Verification Report#

Persistency Verification Report
status: valid
security: NO
safety: ASIL_B
tags: persistency
version: 1
Persistency Module
status: valid
security: NO
safety: ASIL_B
KVS Requirements Inspection Record
status: valid
security: NO
safety: ASIL_B
checklist_ref: gd_chklst__req_inspection
checklist_type: req
findings_open: 0
findings_total: 0
inspection_date: 2026-07-07
inspection_state: approved
inspection_type: requirements
reviewers: kvs-reviewer-a,kvs-reviewer-b
version: 0
Persistency Architecture Inspection Record
status: valid
security: NO
safety: ASIL_B
checklist_ref: gd_chklst__arch_inspection_checklist
checklist_type: arc
findings_open: 0
findings_total: 0
inspection_date: 2026-07-07
inspection_state: approved
inspection_type: architecture
reviewers: feature-reviewer-a,feature-reviewer-b
version: 0
KVS Implementation Inspection Record
status: valid
security: NO
safety: ASIL_B
checklist_ref: gd_chklst__impl_inspection_checklist
checklist_type: impl
findings_open: 0
findings_total: 0
inspection_date: 2026-07-07
inspection_state: approved
inspection_type: implementation
reviewers: kvs-impl-reviewer-a
version: 0
Persistency Module Verification Summary
status: valid
security: NO
safety: ASIL_B
branch_coverage_percent: 0
release_baseline: main
report_version: 1
requirements_coverage_percent: 100
structural_coverage_percent: 0
verdict: open
verification_method: test_and_inspection
version: 0

This verification report is based on the verification plan. It covers the persistency module and all linked component/feature verification evidence.

Verification Report contains:

1. Verification Coverage

1.1. on Requirements

Requirements and AoU Traceability Coverage#

ID

Status

Tags

Fully Verified By Tests

Partially Verified By Tests

Inspected By

comp_req__kvs__async_api

valid

inspected

comp_req__kvs__callback_support

valid

inspected

comp_req__kvs__concurrency

valid

inspected

comp_req__kvs__constraints

valid

inspected

comp_req__kvs__default_val_chksum

valid

inspected

comp_req__kvs__default_value_cfg

valid

inspected

comp_req__kvs__default_value_query

valid

inspected

comp_req__kvs__default_value_types

valid

inspected

comp_req__kvs__eng_mode

valid

inspected

comp_req__kvs__field_mode

valid

inspected

comp_req__kvs__key_encoding

valid

inspected

comp_req__kvs__key_length

valid

inspected

comp_req__kvs__key_naming

valid

inspected

mod_insp__kvs__req

comp_req__kvs__key_uniqueness

valid

inspected

comp_req__kvs__multi_instance

valid

inspected

comp_req__kvs__permission_control

valid

inspected

comp_req__kvs__permission_err_hndl

valid

inspected

comp_req__kvs__pers_data_csum

valid

inspected

comp_req__kvs__pers_data_csum_vrfy

valid

inspected

comp_req__kvs__pers_data_schema

valid

inspected

comp_req__kvs__pers_data_store_bnd

valid

inspected

comp_req__kvs__pers_data_store_fmt

valid

inspected

comp_req__kvs__pers_data_version

valid

inspected

comp_req__kvs__persist_data_com

valid

inspected

comp_req__kvs__snapshot_creation

valid

inspected

comp_req__kvs__snapshot_delete

valid

inspected

comp_req__kvs__snapshot_id

valid

inspected

comp_req__kvs__snapshot_max_num

valid

inspected

comp_req__kvs__snapshot_restore

valid

inspected

comp_req__kvs__snapshot_rotate

valid

inspected

comp_req__kvs__value_data_types

valid

inspected

comp_req__kvs__value_default

valid

inspected

mod_insp__kvs__req

comp_req__kvs__value_length

valid

inspected

comp_req__kvs__value_reset

valid

inspected

comp_req__kvs__value_serialize

valid

inspected

1.2. on Architecture

Architecture Verification Coverage#

ID

Type

Status

Fully Verified By Tests

Partially Verified By Tests

Inspected By

feat_arc_dyn__persistency__check_key_default

Feature Sequence Diagram

valid

feat_arc_dyn__persistency__delete_key

Feature Sequence Diagram

valid

feat_arc_dyn__persistency__flush

Feature Sequence Diagram

valid

mod_insp__kvs__impl

feat_arc_dyn__persistency__read_from_storage

Feature Sequence Diagram

valid

feat_arc_dyn__persistency__read_key

Feature Sequence Diagram

valid

mod_insp__persistency__arch

feat_arc_dyn__persistency__snapshot_restore

Feature Sequence Diagram

valid

feat_arc_dyn__persistency__write_key

Feature Sequence Diagram

valid

mod_insp__kvs__impl

feat_arc_sta__persistency__static

Feature & Feature Package Diagram

valid

mod_insp__persistency__arch

1.3. on Detailed Design

Detailed Design Verification Coverage#

ID

Status

Inspected By

Realizes

doc__kvs_detailed_design

draft

The above requirement, architecture, and detailed design tables are generated from needs relations and inspection records.

2. DFA Report

Performed Feature DFA Analyses#

ID

Mitigation

Sufficient

Status

feat_saf_dfa__persistency__execution_blocking

aou_req__persistency__appl_exec

yes

valid

3. Safety Analysis Report

4. Unit Verification Coverage

4.1. Structural Coverage

Automatic structural/branch coverage needs are currently not available in this repository’s needs dataset. This section remains manual until unit coverage artifacts are exported as needs.

4.2. Static Code Analysis

Automatic static-analysis findings needs are currently not available in this repository’s needs dataset. This section remains manual until static-analysis artifacts are exported as needs.

4.3. Manual Code Inspection

5. Software component qualification verification report

No separate pre-developed software qualification report is currently linked in this module.

6. Test results

../../_images/need_pie_c8b66.svg
Test Result Per Testcase#

Need ID

Testcase

Result

Fully Verifies

Partially Verifies

TestBasic__test_returncode_ok[cpp]

passed

TestBasic__test_returncode_ok[rust]

passed

TestBasic__test_trace_ok[cpp]

passed

TestBasic__test_trace_ok[rust]

passed

TestChecksumOnProvidedDefaults__test_valid[optional-cpp]

passed

comp_req__kvs__default_val_chksum

comp_req__kvs__value_default; comp_req__kvs__default_value_cfg

TestChecksumOnProvidedDefaults__test_valid[optional-rust]

passed

comp_req__kvs__default_val_chksum

comp_req__kvs__value_default; comp_req__kvs__default_value_cfg

TestChecksumOnProvidedDefaults__test_valid[required-cpp]

passed

comp_req__kvs__default_val_chksum

comp_req__kvs__value_default; comp_req__kvs__default_value_cfg

TestChecksumOnProvidedDefaults__test_valid[required-rust]

passed

comp_req__kvs__default_val_chksum

comp_req__kvs__value_default; comp_req__kvs__default_value_cfg

TestDefaultValues__test_valid[optional-cpp]

passed

comp_req__kvs__value_default; comp_req__kvs__default_value_cfg; comp_req__kvs__default_value_types; comp_req__kvs__default_value_query

TestDefaultValues__test_valid[optional-rust]

passed

comp_req__kvs__value_default; comp_req__kvs__default_value_cfg; comp_req__kvs__default_value_types; comp_req__kvs__default_value_query

TestDefaultValues__test_valid[required-cpp]

passed

comp_req__kvs__value_default; comp_req__kvs__default_value_cfg; comp_req__kvs__default_value_types; comp_req__kvs__default_value_query

TestDefaultValues__test_valid[required-rust]

passed

comp_req__kvs__value_default; comp_req__kvs__default_value_cfg; comp_req__kvs__default_value_types; comp_req__kvs__default_value_query

TestDefaultValues__test_valid[without-cpp]

passed

comp_req__kvs__value_default; comp_req__kvs__default_value_cfg; comp_req__kvs__default_value_types; comp_req__kvs__default_value_query

TestDefaultValues__test_valid[without-rust]

passed

comp_req__kvs__value_default; comp_req__kvs__default_value_cfg; comp_req__kvs__default_value_types; comp_req__kvs__default_value_query

TestExplicitFlush__test_data_stored[rust]

passed

comp_req__kvs__persist_data_com

TestMalformedDefaultsFile__test_invalid[optional-cpp]

passed

comp_req__kvs__value_default; comp_req__kvs__default_value_cfg; comp_req__kvs__default_value_types

TestMalformedDefaultsFile__test_invalid[optional-rust]

passed

comp_req__kvs__value_default; comp_req__kvs__default_value_cfg; comp_req__kvs__default_value_types

TestMalformedDefaultsFile__test_invalid[required-cpp]

passed

comp_req__kvs__value_default; comp_req__kvs__default_value_cfg; comp_req__kvs__default_value_types

TestMalformedDefaultsFile__test_invalid[required-rust]

passed

comp_req__kvs__value_default; comp_req__kvs__default_value_cfg; comp_req__kvs__default_value_types

TestMissingDefaultsFile__test_invalid[required-cpp]

passed

comp_req__kvs__value_default; comp_req__kvs__default_value_cfg; comp_req__kvs__default_value_types

TestMissingDefaultsFile__test_invalid[required-rust]

passed

comp_req__kvs__value_default; comp_req__kvs__default_value_cfg; comp_req__kvs__default_value_types

TestMultipleInstanceIds__test_ok[cpp]

passed

comp_req__kvs__multi_instance; comp_req__kvs__concurrency

TestMultipleInstanceIds__test_ok[rust]

passed

comp_req__kvs__multi_instance; comp_req__kvs__concurrency

TestRemoveKey__test_valid[optional-cpp]

passed

comp_req__kvs__value_default; comp_req__kvs__default_value_cfg; comp_req__kvs__default_value_types

TestRemoveKey__test_valid[optional-rust]

passed

comp_req__kvs__value_default; comp_req__kvs__default_value_cfg; comp_req__kvs__default_value_types

TestRemoveKey__test_valid[required-cpp]

passed

comp_req__kvs__value_default; comp_req__kvs__default_value_cfg; comp_req__kvs__default_value_types

TestRemoveKey__test_valid[required-rust]

passed

comp_req__kvs__value_default; comp_req__kvs__default_value_cfg; comp_req__kvs__default_value_types

TestRemoveKey__test_valid[without-cpp]

passed

comp_req__kvs__value_default; comp_req__kvs__default_value_cfg; comp_req__kvs__default_value_types

TestRemoveKey__test_valid[without-rust]

passed

comp_req__kvs__value_default; comp_req__kvs__default_value_cfg; comp_req__kvs__default_value_types

TestResetAllKeys__test_valid[optional-cpp]

passed

comp_req__kvs__value_reset

comp_req__kvs__value_default; comp_req__kvs__default_value_cfg; comp_req__kvs__default_value_types

TestResetAllKeys__test_valid[optional-rust]

passed

comp_req__kvs__value_reset

comp_req__kvs__value_default; comp_req__kvs__default_value_cfg; comp_req__kvs__default_value_types

TestResetAllKeys__test_valid[required-cpp]

passed

comp_req__kvs__value_reset

comp_req__kvs__value_default; comp_req__kvs__default_value_cfg; comp_req__kvs__default_value_types

TestResetAllKeys__test_valid[required-rust]

passed

comp_req__kvs__value_reset

comp_req__kvs__value_default; comp_req__kvs__default_value_cfg; comp_req__kvs__default_value_types

TestResetSingleKey__test_valid[optional-cpp]

passed

comp_req__kvs__value_default; comp_req__kvs__default_value_cfg

TestResetSingleKey__test_valid[optional-rust]

passed

comp_req__kvs__value_default; comp_req__kvs__default_value_cfg

TestResetSingleKey__test_valid[required-cpp]

passed

comp_req__kvs__value_default; comp_req__kvs__default_value_cfg

TestResetSingleKey__test_valid[required-rust]

passed

comp_req__kvs__value_default; comp_req__kvs__default_value_cfg

TestSameInstanceIdDifferentValue__test_ok[cpp]

passed

comp_req__kvs__multi_instance; comp_req__kvs__concurrency

TestSameInstanceIdDifferentValue__test_ok[rust]

passed

comp_req__kvs__multi_instance; comp_req__kvs__concurrency

TestSameInstanceIdSameValue__test_ok[cpp]

passed

comp_req__kvs__multi_instance; comp_req__kvs__concurrency

TestSameInstanceIdSameValue__test_ok[rust]

passed

comp_req__kvs__multi_instance; comp_req__kvs__concurrency

TestSnapshotCountFirstFlush__test_ok[0-cpp]

skipped

comp_req__kvs__snapshot_creation

TestSnapshotCountFirstFlush__test_ok[0-rust]

passed

comp_req__kvs__snapshot_creation

TestSnapshotCountFirstFlush__test_ok[1-cpp]

skipped

comp_req__kvs__snapshot_creation

TestSnapshotCountFirstFlush__test_ok[1-rust]

passed

comp_req__kvs__snapshot_creation

TestSnapshotCountFirstFlush__test_ok[10-cpp]

skipped

comp_req__kvs__snapshot_creation

TestSnapshotCountFirstFlush__test_ok[10-rust]

passed

comp_req__kvs__snapshot_creation

TestSnapshotCountFirstFlush__test_ok[3-cpp]

skipped

comp_req__kvs__snapshot_creation

TestSnapshotCountFirstFlush__test_ok[3-rust]

passed

comp_req__kvs__snapshot_creation

TestSnapshotCountFull__test_ok[0-cpp]

skipped

comp_req__kvs__snapshot_creation

TestSnapshotCountFull__test_ok[0-rust]

passed

comp_req__kvs__snapshot_creation

TestSnapshotCountFull__test_ok[1-cpp]

skipped

comp_req__kvs__snapshot_creation

TestSnapshotCountFull__test_ok[1-rust]

passed

comp_req__kvs__snapshot_creation

TestSnapshotCountFull__test_ok[10-cpp]

skipped

comp_req__kvs__snapshot_creation

TestSnapshotCountFull__test_ok[10-rust]

passed

comp_req__kvs__snapshot_creation

TestSnapshotCountFull__test_ok[3-cpp]

skipped

comp_req__kvs__snapshot_creation

TestSnapshotCountFull__test_ok[3-rust]

passed

comp_req__kvs__snapshot_creation

TestSnapshotMaxCount__test_ok[0-cpp]

skipped

comp_req__kvs__snapshot_max_num

TestSnapshotMaxCount__test_ok[0-rust]

passed

comp_req__kvs__snapshot_max_num

TestSnapshotMaxCount__test_ok[1-cpp]

skipped

comp_req__kvs__snapshot_max_num

TestSnapshotMaxCount__test_ok[1-rust]

passed

comp_req__kvs__snapshot_max_num

TestSnapshotMaxCount__test_ok[10-cpp]

skipped

comp_req__kvs__snapshot_max_num

TestSnapshotMaxCount__test_ok[10-rust]

passed

comp_req__kvs__snapshot_max_num

TestSnapshotMaxCount__test_ok[3-cpp]

skipped

comp_req__kvs__snapshot_max_num

TestSnapshotMaxCount__test_ok[3-rust]

passed

comp_req__kvs__snapshot_max_num

TestSnapshotPathsExist__test_ok[cpp]

passed

comp_req__kvs__snapshot_creation

TestSnapshotPathsExist__test_ok[rust]

passed

comp_req__kvs__snapshot_creation

TestSnapshotPathsNonexistent__test_error[cpp]

passed

comp_req__kvs__snapshot_creation

TestSnapshotPathsNonexistent__test_error[rust]

passed

comp_req__kvs__snapshot_creation

TestSnapshotRestoreCurrent__test_error[cpp]

passed

comp_req__kvs__snapshot_creation

TestSnapshotRestoreCurrent__test_error[rust]

passed

comp_req__kvs__snapshot_creation

TestSnapshotRestoreNonexistent__test_error[cpp]

passed

comp_req__kvs__snapshot_creation; comp_req__kvs__snapshot_restore

TestSnapshotRestoreNonexistent__test_error[rust]

passed

comp_req__kvs__snapshot_creation; comp_req__kvs__snapshot_restore

TestSnapshotRestorePrevious__test_ok[10-cpp]

passed

comp_req__kvs__snapshot_restore

comp_req__kvs__snapshot_creation; comp_req__kvs__snapshot_rotate

TestSnapshotRestorePrevious__test_ok[10-rust]

passed

comp_req__kvs__snapshot_restore

comp_req__kvs__snapshot_creation; comp_req__kvs__snapshot_rotate

TestSnapshotRestorePrevious__test_ok[3-cpp]

passed

comp_req__kvs__snapshot_restore

comp_req__kvs__snapshot_creation; comp_req__kvs__snapshot_rotate

TestSnapshotRestorePrevious__test_ok[3-rust]

passed

comp_req__kvs__snapshot_restore

comp_req__kvs__snapshot_creation; comp_req__kvs__snapshot_rotate

TestSupportedDatatypesKeys__test_ok[cpp]

passed

comp_req__kvs__key_encoding; comp_req__kvs__value_data_types

TestSupportedDatatypesKeys__test_ok[rust]

passed

comp_req__kvs__key_encoding; comp_req__kvs__value_data_types

TestSupportedDatatypesValues_Array__test_ok[cpp]

passed

comp_req__kvs__key_encoding; comp_req__kvs__value_data_types

TestSupportedDatatypesValues_Array__test_ok[rust]

passed

comp_req__kvs__key_encoding; comp_req__kvs__value_data_types

TestSupportedDatatypesValues_Bool__test_ok[cpp]

passed

comp_req__kvs__key_encoding; comp_req__kvs__value_data_types

TestSupportedDatatypesValues_Bool__test_ok[rust]

passed

comp_req__kvs__key_encoding; comp_req__kvs__value_data_types

TestSupportedDatatypesValues_F64__test_ok[cpp]

passed

comp_req__kvs__key_encoding; comp_req__kvs__value_data_types

TestSupportedDatatypesValues_F64__test_ok[rust]

passed

comp_req__kvs__key_encoding; comp_req__kvs__value_data_types

TestSupportedDatatypesValues_I32__test_ok[cpp]

passed

comp_req__kvs__key_encoding; comp_req__kvs__value_data_types

TestSupportedDatatypesValues_I32__test_ok[rust]

passed

comp_req__kvs__key_encoding; comp_req__kvs__value_data_types

TestSupportedDatatypesValues_I64__test_ok[cpp]

passed

comp_req__kvs__key_encoding; comp_req__kvs__value_data_types

TestSupportedDatatypesValues_I64__test_ok[rust]

passed

comp_req__kvs__key_encoding; comp_req__kvs__value_data_types

TestSupportedDatatypesValues_Object__test_ok[cpp]

passed

comp_req__kvs__key_encoding; comp_req__kvs__value_data_types

TestSupportedDatatypesValues_Object__test_ok[rust]

passed

comp_req__kvs__key_encoding; comp_req__kvs__value_data_types

TestSupportedDatatypesValues_String__test_ok[cpp]

passed

comp_req__kvs__key_encoding; comp_req__kvs__value_data_types

TestSupportedDatatypesValues_String__test_ok[rust]

passed

comp_req__kvs__key_encoding; comp_req__kvs__value_data_types

TestSupportedDatatypesValues_U32__test_ok[cpp]

passed

comp_req__kvs__key_encoding; comp_req__kvs__value_data_types

TestSupportedDatatypesValues_U32__test_ok[rust]

passed

comp_req__kvs__key_encoding; comp_req__kvs__value_data_types

TestSupportedDatatypesValues_U64__test_ok[cpp]

passed

comp_req__kvs__key_encoding; comp_req__kvs__value_data_types

TestSupportedDatatypesValues_U64__test_ok[rust]

passed

comp_req__kvs__key_encoding; comp_req__kvs__value_data_types

7. Test logs

Test Logs Per Testcase#

Need ID

Testcase

Result Text

File

Line

TestBasic__test_returncode_ok[cpp]

tests/test_cases/tests/test_basic.py

34

TestBasic__test_returncode_ok[rust]

tests/test_cases/tests/test_basic.py

34

TestBasic__test_trace_ok[cpp]

tests/test_cases/tests/test_basic.py

37

TestBasic__test_trace_ok[rust]

tests/test_cases/tests/test_basic.py

37

TestChecksumOnProvidedDefaults__test_valid[optional-cpp]

tests/test_cases/tests/test_cit_default_values.py

550

TestChecksumOnProvidedDefaults__test_valid[optional-rust]

tests/test_cases/tests/test_cit_default_values.py

550

TestChecksumOnProvidedDefaults__test_valid[required-cpp]

tests/test_cases/tests/test_cit_default_values.py

550

TestChecksumOnProvidedDefaults__test_valid[required-rust]

tests/test_cases/tests/test_cit_default_values.py

550

TestDefaultValues__test_valid[optional-cpp]

tests/test_cases/tests/test_cit_default_values.py

135

TestDefaultValues__test_valid[optional-rust]

tests/test_cases/tests/test_cit_default_values.py

135

TestDefaultValues__test_valid[required-cpp]

tests/test_cases/tests/test_cit_default_values.py

135

TestDefaultValues__test_valid[required-rust]

tests/test_cases/tests/test_cit_default_values.py

135

TestDefaultValues__test_valid[without-cpp]

tests/test_cases/tests/test_cit_default_values.py

135

TestDefaultValues__test_valid[without-rust]

tests/test_cases/tests/test_cit_default_values.py

135

TestExplicitFlush__test_data_stored[rust]

tests/test_cases/tests/test_cit_persistency.py

47

TestMalformedDefaultsFile__test_invalid[optional-cpp]

tests/test_cases/tests/test_cit_default_values.py

312

TestMalformedDefaultsFile__test_invalid[optional-rust]

tests/test_cases/tests/test_cit_default_values.py

312

TestMalformedDefaultsFile__test_invalid[required-cpp]

tests/test_cases/tests/test_cit_default_values.py

312

TestMalformedDefaultsFile__test_invalid[required-rust]

tests/test_cases/tests/test_cit_default_values.py

312

TestMissingDefaultsFile__test_invalid[required-cpp]

tests/test_cases/tests/test_cit_default_values.py

354

TestMissingDefaultsFile__test_invalid[required-rust]

tests/test_cases/tests/test_cit_default_values.py

354

TestMultipleInstanceIds__test_ok[cpp]

tests/test_cases/tests/test_cit_multiple_kvs.py

46

TestMultipleInstanceIds__test_ok[rust]

tests/test_cases/tests/test_cit_multiple_kvs.py

46

TestRemoveKey__test_valid[optional-cpp]

tests/test_cases/tests/test_cit_default_values.py

212

TestRemoveKey__test_valid[optional-rust]

tests/test_cases/tests/test_cit_default_values.py

212

TestRemoveKey__test_valid[required-cpp]

tests/test_cases/tests/test_cit_default_values.py

212

TestRemoveKey__test_valid[required-rust]

tests/test_cases/tests/test_cit_default_values.py

212

TestRemoveKey__test_valid[without-cpp]

tests/test_cases/tests/test_cit_default_values.py

212

TestRemoveKey__test_valid[without-rust]

tests/test_cases/tests/test_cit_default_values.py

212

TestResetAllKeys__test_valid[optional-cpp]

tests/test_cases/tests/test_cit_default_values.py

403

TestResetAllKeys__test_valid[optional-rust]

tests/test_cases/tests/test_cit_default_values.py

403

TestResetAllKeys__test_valid[required-cpp]

tests/test_cases/tests/test_cit_default_values.py

403

TestResetAllKeys__test_valid[required-rust]

tests/test_cases/tests/test_cit_default_values.py

403

TestResetSingleKey__test_valid[optional-cpp]

tests/test_cases/tests/test_cit_default_values.py

470

TestResetSingleKey__test_valid[optional-rust]

tests/test_cases/tests/test_cit_default_values.py

470

TestResetSingleKey__test_valid[required-cpp]

tests/test_cases/tests/test_cit_default_values.py

470

TestResetSingleKey__test_valid[required-rust]

tests/test_cases/tests/test_cit_default_values.py

470

TestSameInstanceIdDifferentValue__test_ok[cpp]

tests/test_cases/tests/test_cit_multiple_kvs.py

116

TestSameInstanceIdDifferentValue__test_ok[rust]

tests/test_cases/tests/test_cit_multiple_kvs.py

116

TestSameInstanceIdSameValue__test_ok[cpp]

tests/test_cases/tests/test_cit_multiple_kvs.py

80

TestSameInstanceIdSameValue__test_ok[rust]

tests/test_cases/tests/test_cit_multiple_kvs.py

80

TestSnapshotCountFirstFlush__test_ok[0-cpp]

https://github.com/eclipse-score/persistency/issues/108

tests/test_cases/tests/test_cit_snapshots.py

66

TestSnapshotCountFirstFlush__test_ok[0-rust]

tests/test_cases/tests/test_cit_snapshots.py

66

TestSnapshotCountFirstFlush__test_ok[1-cpp]

https://github.com/eclipse-score/persistency/issues/108

tests/test_cases/tests/test_cit_snapshots.py

66

TestSnapshotCountFirstFlush__test_ok[1-rust]

tests/test_cases/tests/test_cit_snapshots.py

66

TestSnapshotCountFirstFlush__test_ok[10-cpp]

https://github.com/eclipse-score/persistency/issues/108

tests/test_cases/tests/test_cit_snapshots.py

66

TestSnapshotCountFirstFlush__test_ok[10-rust]

tests/test_cases/tests/test_cit_snapshots.py

66

TestSnapshotCountFirstFlush__test_ok[3-cpp]

https://github.com/eclipse-score/persistency/issues/108

tests/test_cases/tests/test_cit_snapshots.py

66

TestSnapshotCountFirstFlush__test_ok[3-rust]

tests/test_cases/tests/test_cit_snapshots.py

66

TestSnapshotCountFull__test_ok[0-cpp]

https://github.com/eclipse-score/persistency/issues/108

tests/test_cases/tests/test_cit_snapshots.py

66

TestSnapshotCountFull__test_ok[0-rust]

tests/test_cases/tests/test_cit_snapshots.py

66

TestSnapshotCountFull__test_ok[1-cpp]

https://github.com/eclipse-score/persistency/issues/108

tests/test_cases/tests/test_cit_snapshots.py

66

TestSnapshotCountFull__test_ok[1-rust]

tests/test_cases/tests/test_cit_snapshots.py

66

TestSnapshotCountFull__test_ok[10-cpp]

https://github.com/eclipse-score/persistency/issues/108

tests/test_cases/tests/test_cit_snapshots.py

66

TestSnapshotCountFull__test_ok[10-rust]

tests/test_cases/tests/test_cit_snapshots.py

66

TestSnapshotCountFull__test_ok[3-cpp]

https://github.com/eclipse-score/persistency/issues/108

tests/test_cases/tests/test_cit_snapshots.py

66

TestSnapshotCountFull__test_ok[3-rust]

tests/test_cases/tests/test_cit_snapshots.py

66

TestSnapshotMaxCount__test_ok[0-cpp]

https://github.com/eclipse-score/persistency/issues/108

tests/test_cases/tests/test_cit_snapshots.py

133

TestSnapshotMaxCount__test_ok[0-rust]

tests/test_cases/tests/test_cit_snapshots.py

133

TestSnapshotMaxCount__test_ok[1-cpp]

https://github.com/eclipse-score/persistency/issues/108

tests/test_cases/tests/test_cit_snapshots.py

133

TestSnapshotMaxCount__test_ok[1-rust]

tests/test_cases/tests/test_cit_snapshots.py

133

TestSnapshotMaxCount__test_ok[10-cpp]

https://github.com/eclipse-score/persistency/issues/108

tests/test_cases/tests/test_cit_snapshots.py

133

TestSnapshotMaxCount__test_ok[10-rust]

tests/test_cases/tests/test_cit_snapshots.py

133

TestSnapshotMaxCount__test_ok[3-cpp]

https://github.com/eclipse-score/persistency/issues/108

tests/test_cases/tests/test_cit_snapshots.py

133

TestSnapshotMaxCount__test_ok[3-rust]

tests/test_cases/tests/test_cit_snapshots.py

133

TestSnapshotPathsExist__test_ok[cpp]

tests/test_cases/tests/test_cit_snapshots.py

283

TestSnapshotPathsExist__test_ok[rust]

tests/test_cases/tests/test_cit_snapshots.py

283

TestSnapshotPathsNonexistent__test_error[cpp]

tests/test_cases/tests/test_cit_snapshots.py

319

TestSnapshotPathsNonexistent__test_error[rust]

tests/test_cases/tests/test_cit_snapshots.py

319

TestSnapshotRestoreCurrent__test_error[cpp]

tests/test_cases/tests/test_cit_snapshots.py

213

TestSnapshotRestoreCurrent__test_error[rust]

tests/test_cases/tests/test_cit_snapshots.py

213

TestSnapshotRestoreNonexistent__test_error[cpp]

tests/test_cases/tests/test_cit_snapshots.py

252

TestSnapshotRestoreNonexistent__test_error[rust]

tests/test_cases/tests/test_cit_snapshots.py

252

TestSnapshotRestorePrevious__test_ok[10-cpp]

tests/test_cases/tests/test_cit_snapshots.py

177

TestSnapshotRestorePrevious__test_ok[10-rust]

tests/test_cases/tests/test_cit_snapshots.py

177

TestSnapshotRestorePrevious__test_ok[3-cpp]

tests/test_cases/tests/test_cit_snapshots.py

177

TestSnapshotRestorePrevious__test_ok[3-rust]

tests/test_cases/tests/test_cit_snapshots.py

177

TestSupportedDatatypesKeys__test_ok[cpp]

tests/test_cases/tests/test_cit_supported_datatypes.py

44

TestSupportedDatatypesKeys__test_ok[rust]

tests/test_cases/tests/test_cit_supported_datatypes.py

44

TestSupportedDatatypesValues_Array__test_ok[cpp]

tests/test_cases/tests/test_cit_supported_datatypes.py

85

TestSupportedDatatypesValues_Array__test_ok[rust]

tests/test_cases/tests/test_cit_supported_datatypes.py

85

TestSupportedDatatypesValues_Bool__test_ok[cpp]

tests/test_cases/tests/test_cit_supported_datatypes.py

85

TestSupportedDatatypesValues_Bool__test_ok[rust]

tests/test_cases/tests/test_cit_supported_datatypes.py

85

TestSupportedDatatypesValues_F64__test_ok[cpp]

tests/test_cases/tests/test_cit_supported_datatypes.py

85

TestSupportedDatatypesValues_F64__test_ok[rust]

tests/test_cases/tests/test_cit_supported_datatypes.py

85

TestSupportedDatatypesValues_I32__test_ok[cpp]

tests/test_cases/tests/test_cit_supported_datatypes.py

85

TestSupportedDatatypesValues_I32__test_ok[rust]

tests/test_cases/tests/test_cit_supported_datatypes.py

85

TestSupportedDatatypesValues_I64__test_ok[cpp]

tests/test_cases/tests/test_cit_supported_datatypes.py

85

TestSupportedDatatypesValues_I64__test_ok[rust]

tests/test_cases/tests/test_cit_supported_datatypes.py

85

TestSupportedDatatypesValues_Object__test_ok[cpp]

tests/test_cases/tests/test_cit_supported_datatypes.py

85

TestSupportedDatatypesValues_Object__test_ok[rust]

tests/test_cases/tests/test_cit_supported_datatypes.py

85

TestSupportedDatatypesValues_String__test_ok[cpp]

tests/test_cases/tests/test_cit_supported_datatypes.py

85

TestSupportedDatatypesValues_String__test_ok[rust]

tests/test_cases/tests/test_cit_supported_datatypes.py

85

TestSupportedDatatypesValues_U32__test_ok[cpp]

tests/test_cases/tests/test_cit_supported_datatypes.py

85

TestSupportedDatatypesValues_U32__test_ok[rust]

tests/test_cases/tests/test_cit_supported_datatypes.py

85

TestSupportedDatatypesValues_U64__test_ok[cpp]

tests/test_cases/tests/test_cit_supported_datatypes.py

85

TestSupportedDatatypesValues_U64__test_ok[rust]

tests/test_cases/tests/test_cit_supported_datatypes.py

85

Note1: The verification report is valid for the module version tagged together with the report

Note2: All the above lists are generated automatically