Skip to content
Test documentation

Fix: Tail-Recursion for the Dafny-to-Rust compiler #9810

Sign in to view logs

Fix: Tail-Recursion for the Dafny-to-Rust compiler

Fix: Tail-Recursion for the Dafny-to-Rust compiler #9810

Triggered via pull request August 6, 2024 01:20
@MikaelMayerMikaelMayer
opened #5668
fix-5647-tail-recursion-rust-fixup
Status Success
Total duration 17m 38s
Artifacts –

doc-tests.yml

on: pull_request
check-deep-tests  /  check-deep-tests
5s
check-deep-tests / check-deep-tests
doctests
17m 18s
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#L3445
Unreachable code detected
doctests: Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L3491
Unreachable code detected
doctests: Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L3534
Unreachable code detected
doctests: Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L3554
Unreachable code detected
doctests: Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L3575
Unreachable code detected
doctests: Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L3600
Unreachable code detected