ID: 228
File: src/control/runtime_opts.F90
Kind: subroutine
Status: done
Auto status: partial
Manual status: done
Covered LOC: 49
Covered lines: 921-1009
Routine lines: 921-1009
Evidence: file_touched_since_start=true
Note: agent replenish_control1 partial100-loc; commit 6bd1552; job 6322468.desched1 cpudev; run /glade/derecho/scratch/ruitong/cam_codon_partial100_loc_20260531/replenish_control1/output/run_control1_20260531_111158; selector CAM_MISC_HELPERS_IMPL=codon; overall_numeric_equal=True; guard receipt 916d2d7008cead6a3da993459259e9b4fe36a070dfc78fda30b12df3d6af5407; proof atm.log.6322468.desched1.260531-111214.gz:14 distnl implementation = codon
| Time | Type | Commit | Source | Note |
|---|---|---|---|---|
| 2026-05-31T17:25:29+00:00 | manual_status | remote-api | manual_status=done; agent replenish_control1 partial100-loc; commit 6bd1552; job 6322468.desched1 cpudev; run /glade/derecho/scratch/ruitong/cam_codon_partial100_loc_20260531/replenish_control1/output/run_control1_20260531_111158; selector CAM_MISC_HELPERS_IMPL=codon; overall_numeric_equal=True; guard receipt 916d2d7008cead6a3da993459259e9b4fe36a070dfc78fda30b12df3d6af5407; proof atm.log.6322468.desched1.260531-111214.gz:14 distnl implementation = codon | |
| 2026-05-31T16:59:46+00:00 | manual_status | remote-api | manual_status=processing; partial100-loc replenish control1; inspecting/attempting same-routine Codon proof closure in isolated lane | |
| 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=49 |