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

FuzzOnPR

FuzzOnPR
succeeded Oct 28, 2024 in 7s