Skip to content
Fuzzing on PR

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

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 #345

Run time

Learn about OS pricing on GitHub Actions
Job Run time
FuzzOnPR
7s
7s