Skip to content
Test documentation

Move standard library into the runtime #7467

Sign in to view logs

Move standard library into the runtime

Move standard library into the runtime #7467

Triggered via pull request December 14, 2023 11:42
@keyboardDrummerkeyboardDrummer
synchronize #4877
keyboardDrummer:replaceableModuleStandardLibrary
Status Success
Total duration 18m 2s
Artifacts –

doc-tests.yml

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

Annotations

10 warnings
doctests: Source/DafnyRuntime/DafnyRuntimeCSharp/DafnyRuntimeSystemModule.cs#L5200
Unreachable code detected
doctests: Source/DafnyRuntime/DafnyRuntimeCSharp/DafnyRuntimeSystemModule.cs#L5472
Unreachable code detected
doctests: Source/DafnyRuntime/DafnyRuntimeCSharp/DafnyRuntimeSystemModule.cs#L5486
Unreachable code detected
doctests: Source/DafnyRuntime/DafnyRuntimeCSharp/DafnyRuntimeSystemModule.cs#L11455
Unreachable code detected
doctests: Source/DafnyRuntime/DafnyRuntimeCSharp/DafnyRuntimeSystemModule.cs#L11375
Unreachable code detected
doctests: Source/DafnyRuntime/DafnyRuntimeCSharp/DafnyRuntimeSystemModule.cs#L11196
Unreachable code detected
doctests: Source/DafnyRuntime/DafnyRuntimeCSharp/DafnyRuntimeSystemModule.cs#L11218
Unreachable code detected
doctests: Source/DafnyRuntime/DafnyRuntimeCSharp/DafnyRuntimeSystemModule.cs#L6484
Unreachable code detected
doctests: Source/DafnyRuntime/DafnyRuntimeCSharp/DafnyRuntimeSystemModule.cs#L7784
Unreachable code detected
doctests: Source/DafnyRuntime/DafnyRuntimeCSharp/DafnyRuntimeSystemModule.cs#L6525
Unreachable code detected