Skip to content
Test documentation

Let measure-complexity output the worst performing verification tasks by resource count #9788

Sign in to view logs

Let measure-complexity output the worst performing verification tasks by resource count

Let measure-complexity output the worst performing verification tasks by resource count #9788

Triggered via pull request July 24, 2024 15:41
@keyboardDrummerkeyboardDrummer
synchronize #5631
keyboardDrummer:maximumResourceCounts
Status Success
Total duration 17m 43s
Artifacts –

doc-tests.yml

on: pull_request
check-deep-tests  /  check-deep-tests
7s
check-deep-tests / check-deep-tests
doctests
17m 17s
doctests
Fit to window
Zoom out
Zoom in

Annotations

10 warnings
doctests: Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L1576
This label has not been referenced
doctests: Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L2139
This label has not been referenced
doctests: Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L2450
This label has not been referenced
doctests: Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L2697
Assignment made to same variable; did you mean to assign something else?
doctests: Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L3439
Unreachable code detected
doctests: Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L3485
Unreachable code detected
doctests: Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L3528
Unreachable code detected
doctests: Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L3548
Unreachable code detected
doctests: Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L3569
Unreachable code detected
doctests: Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L3594
Unreachable code detected