ID: 589
File: src/control/cam_history.F90
Kind: subroutine
Status: done
Auto status: partial
Manual status: done
Covered LOC: 15
Routine LOC: 71
Codon progress source:
Covered lines: 1853-1960
Routine lines: 1853-1961
Evidence: file_touched_since_start=true
Note: agent w05 partial200; commit 6fc9c31; job 6316398.desched1; selector CAM_CONTROL_PROOFS_IMPL=codon; proof 'inifld implementation = codon'; overall_numeric_equal=True
| Time | Type | Commit | Source | Note |
|---|---|---|---|---|
| 2026-06-01T20:38:02+00:00 | routine_loc_backfill | /glade/derecho/scratch/ruitong/tmp/coverage_calc_20260518/fix_case_covered_lines.json | routine_loc=71; pristine_root=/glade/u/home/ruitong/code/code_new/iCESM1.3.1_fzhu_pristine/components/cam | |
| 2026-05-30T23:13:55+00:00 | manual_status | remote-api | manual_status=done; agent w05 partial200; commit 6fc9c31; job 6316398.desched1; selector CAM_CONTROL_PROOFS_IMPL=codon; proof 'inifld implementation = codon'; overall_numeric_equal=True | |
| 2026-05-30T22:28:05+00:00 | manual_status | remote-api | manual_status=processing; agent w05 partial200; started exact same-routine Codon proof closure | |
| 2026-05-25T05:03:25+00:00 | git_refresh | /glade/u/home/ruitong/code/iCESM1.3.1_fzhu/components/cam | auto_status=partial; file_touched_since_start=true | |
| 2026-05-25T03:19:46+00:00 | audit_status | /glade/derecho/scratch/ruitong/tmp/cam_codon_commit_coverage_audit_20260524_193313 | auto_status=none; | |
| 2026-05-25T03:17:51+00:00 | git_refresh | /glade/u/home/ruitong/code/iCESM1.3.1_fzhu/components/cam | auto_status=partial; file_touched_since_start=true | |
| 2026-05-25T02:38:06+00:00 | audit_status | /glade/derecho/scratch/ruitong/tmp/cam_codon_commit_coverage_audit_20260524_193313 | auto_status=none; | |
| 2026-05-25T02:37:58+00:00 | coverage_import | /glade/derecho/scratch/ruitong/tmp/coverage_calc_20260518/fix_case_covered_lines.json | fixed-case covered_loc=15 |