nickg / nvc

93%

master: 93%

LAST BUILD ON BRANCH psl-nondet

branch: psl-nondet

CHANGE BRANCH

x

Reset

• psl-nondet
• ansiparams
• bootstrap-order
• cover-embed-source-files
• 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-cover-pragma-around-generate
• 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
• initialfixup
• issue-1185
• issue867
• libdwarf
• libs-only-zstd
• llvm-update
• master
• more-actions
• netparse
• parse-timing-check-condition
• parse-vlog-empty-port
• parse-vlog-event
• parse-vlog-min-typ-max
• parse-vlog-resetall
• parse-vlog-vector-enums
• patch-1
• prepro
• psl-add-feature-table
• psl-assert-message
• psl-mark-onehot-done
• psl-next-a
• psl-next-e
• psl-rose-and-fell
• 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.16.1
• refs/tags/r1.16.2
• 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
• uncntdrive
• v1.10-branch
• v1.11-branch
• v1.12-branch
• v1.13-branch
• v1.14-branch
• v1.15-branch
• v1.16-branch
• v1.17-branch
• v1.18-branch
• v1.5-branch
• v1.6-branch
• v1.7-branch
• v1.8-branch
• v1.9-branch
• vcode-denest
• vlog-parse-always-ff
• vlog-parse-package
• vlog-parse-power-operator
• vlog-parse-timing-checks
• wip

Build # 18241800030

Build Type

Pull #1295

github

Committed by web-flow

Commit Message

Merge 347e7ac01 into cb497b489

Pull Request Pull Request #1295: Support nondet PSL function call

Run Details

89 of 89 new or added lines in 2 files covered. (100.0%)

2 existing lines in 2 files now uncovered.

74496 of 80371 relevant lines covered (92.69%)

578635.92 hits per line