Skip to content
Test Generated Go

Don't replace abstract state of higher order functions with bottom when we can avoid it (now guarded by --fancy-and-powerful-but-exponentially-slow-bounds-analysis) #5096

Sign in to view logs

Don't replace abstract state of higher order functions with bottom when we can avoid it (now guarded by --fancy-and-powerful-but-exponentially-slow-bounds-analysis)

Don't replace abstract state of higher order functions with bottom when we can avoid it (now guarded by --fancy-and-powerful-but-exponentially-slow-bounds-analysis) #5096

Triggered via pull request January 4, 2024 15:58
@JasonGrossJasonGross
synchronize #1761
JasonGross:dont-bottomify
Status Success
Total duration 2m 49s
Artifacts –

go.yml

on: pull_request
test-go
27s
test-go
Fit to window
Zoom out
Zoom in

Annotations

1 warning
test-go
Restore cache failed: Dependencies file is not found in /home/runner/work/fiat-crypto/fiat-crypto. Supported file pattern: go.sum