Skip to content
Back to pull request #4374

Set options in IDE to more closely match CLI #5441

Sign in to view logs

Set options in IDE to more closely match CLI

Set options in IDE to more closely match CLI #5441

Triggered via pull request August 7, 2023 17:02
@atombatomb
synchronize #4374
atomb:consistent-ide-cli-ru
Status Success
Total duration 20m 20s
Artifacts –

doc-tests.yml

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

Annotations

2 warnings
doctests: Source/DafnyCore/Resolver/PreType/PreTypeResolve.cs#L1326
The switch expression does not handle some values of its input type (it is not exhaustive) involving an unnamed enum value. For example, the pattern '(Microsoft.Dafny.FrameExpressionUse)3' is not covered.
doctests: Source/DafnyCore/Resolver/PreType/PreTypeResolve.cs#L1326
The switch expression does not handle some values of its input type (it is not exhaustive) involving an unnamed enum value. For example, the pattern '(Microsoft.Dafny.FrameExpressionUse)3' is not covered.