[Counterexamples] Fix stack overflow during counterexample extraction for some programs #14439

Annotations

3 warnings

The assembly 'content/Microsoft.TestPlatform.PlatformAbstractions.dll' is not inside the 'lib' folder and hence it won't be added as a reference when the package is installed into a project. Move it into the 'lib' folder if it needs to be referenced.

The assembly 'contentFiles/any/net6.0/Microsoft.TestPlatform.PlatformAbstractions.dll' is not inside the 'lib' folder and hence it won't be added as a reference when the package is installed into a project. Move it into the 'lib' folder if it needs to be referenced.

File '/home/runner/work/dafny/dafny/dafny/Binaries/publish/DafnyRuntimeRust/.gitignore' was not added to the package. Files and folders starting with '.' or ending with '.nupkg' are excluded by default. To include this file, use -NoDefaultExcludes from the commandline

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

[Counterexamples] Fix stack overflow during counterexample extraction for some programs #14439

singletons

[Counterexamples] Fix stack overflow during counterexample extraction for some programs #14439

Jobs

Run details

Annotations

The logs for this run have expired and are no longer available.

Re-running jobs...