nickg / nvc

92%

master: 92%

LAST BUILD ON BRANCH psl-rose-and-fell

branch: psl-rose-and-fell

CHANGE BRANCH

x

Reset

• psl-rose-and-fell
• ansiparams
• bootstrap-order
• cover-fix-generate-scope
• cover-fix-long-report-names
• cover-fix-sort
• cover-merge-modes
• cover-split
• coverage-1
• coverage-2
• coverage-3
• coverage-minor-fixes
• coveralls
• crash_hash
• debug
• defaultnettype
• define-vlog-macro-from-command-line
• extend-prev-to-arbitrary-clock-cycles
• fix-coverage-hierarchy-sum
• fix-jit-test-compile-on-rhel
• fix-windows
• fix/open_actual
• fix_aggregate_choice
• fix_alias_dup
• fix_alias_overload_check
• fix_arr_agg
• fix_binding_indication
• fix_file_index_constraint
• fix_foreign_data_string_copy
• fix_generic_ops
• fix_illegal_formal_part
• fix_instance_copy
• fix_named_args
• fix_rec_agg
• fix_subgen_all
• foo
• github-actions
• issue-1185
• issue867
• libdwarf
• libs-only-zstd
• llvm-update
• master
• more-actions
• patch-1
• psl-add-feature-table
• psl-mark-onehot-done
• r1.5.0
• race-test
• readme
• readme-wip
• refs/heads/master
• refs/heads/test
• refs/tags/r1.10.0
• refs/tags/r1.10.1
• refs/tags/r1.10.2
• refs/tags/r1.10.3
• refs/tags/r1.10.4
• refs/tags/r1.11.0
• refs/tags/r1.11.1
• refs/tags/r1.11.2
• refs/tags/r1.11.3
• refs/tags/r1.12.0
• refs/tags/r1.12.1
• refs/tags/r1.13.0
• refs/tags/r1.13.1
• refs/tags/r1.13.2
• refs/tags/r1.13.3
• refs/tags/r1.14.0
• refs/tags/r1.14.1
• refs/tags/r1.14.2
• refs/tags/r1.15.0
• refs/tags/r1.15.1
• refs/tags/r1.15.2
• refs/tags/r1.16.0
• refs/tags/r1.5.1
• refs/tags/r1.5.2
• refs/tags/r1.5.3
• refs/tags/r1.6.0
• refs/tags/r1.6.1
• refs/tags/r1.6.2
• refs/tags/r1.7.0
• refs/tags/r1.7.1
• refs/tags/r1.7.2
• refs/tags/r1.8.0
• refs/tags/r1.8.1
• refs/tags/r1.8.2
• refs/tags/r1.9.0
• refs/tags/r1.9.1
• refs/tags/r1.9.2
• runtime-randomizer
• sneaky-sneaky
• sup_gen_label_path
• test
• test-bsd
• test-fix
• test-windows
• ucis
• v1.10-branch
• v1.11-branch
• v1.12-branch
• v1.13-branch
• v1.14-branch
• v1.15-branch
• v1.16-branch
• v1.5-branch
• v1.6-branch
• v1.7-branch
• v1.8-branch
• v1.9-branch
• vcode-denest
• vlog-parse-always-ff
• wip

Build # 12963911275

Build Type

Pull #1140

github

Committed by web-flow

Commit Message

Merge 8d991196d into fa728ad34

Pull Request Pull Request #1140: implement rose, fell and stable PSL built-in functions.

Run Details

29 of 33 new or added lines in 1 file covered. (87.88%)

7 existing lines in 1 file now uncovered.

64202 of 69633 relevant lines covered (92.2%)

514632.68 hits per line