verification_report_t Derived Type

type, public :: verification_report_t

Comprehensive verification report with technical evidence


Components

Type Visibility Attributes Name Initial
logical, public :: overall_passed
integer, public :: total_tests
integer, public :: passed_tests
integer, public :: failed_tests
character(len=256), public :: report_timestamp
character(len=1024), public :: evidence_summary
character(len=256), public :: ci_run_url
real(kind=wp), public :: total_execution_time
logical, public, dimension(MAX_CATEGORIES) :: category_passed
integer, public, dimension(MAX_CATEGORIES) :: category_test_count
character(len=256), public, dimension(MAX_CATEGORIES) :: category_messages
type(validation_result_t), public, dimension(MAX_VERIFICATION_TESTS) :: test_results
integer, public :: result_count
real(kind=wp), public :: performance_regression_percent
logical, public :: performance_acceptable
integer, public :: new_failures_count
integer, public :: fixed_issues_count
logical, public :: baseline_comparison_success

Type-Bound Procedures

procedure, public :: add_test_result

  • private subroutine add_test_result(this, result)

    Add test result to report

    Arguments

    Type IntentOptional Attributes Name
    class(verification_report_t), intent(inout) :: this
    type(validation_result_t), intent(in) :: result

procedure, public :: set_category_result

  • private subroutine set_category_result(this, category, passed, test_count, message)

    Set category result

    Arguments

    Type IntentOptional Attributes Name
    class(verification_report_t), intent(inout) :: this
    integer, intent(in) :: category
    logical, intent(in) :: passed
    integer, intent(in) :: test_count
    character(len=*), intent(in) :: message