Skip to content
Fuzzing on PR

fix: Make FuncExtensions internal again, handle it in DafnyGeneratedFromDafnyPost.py instead #332

Sign in to view logs

fix: Make FuncExtensions internal again, handle it in DafnyGeneratedFromDafnyPost.py instead

fix: Make FuncExtensions internal again, handle it in DafnyGeneratedFromDafnyPost.py instead #332

Triggered via pull request October 25, 2024 22:55
@robin-awsrobin-aws
opened #5860
Status Success
Total duration 10s
Artifacts –

compfuzzci_fuzz.yaml

on: pull_request_target
FuzzOnPR
3s
FuzzOnPR
Fit to window
Zoom out
Zoom in