Skip to content
Issue Update for Fuzzer

Set extensionality cannot be proved because type of local variables is not assumed. #458

Sign in to view logs

Set extensionality cannot be proved because type of local variables is not assumed.

Set extensionality cannot be proved because type of local variables is not assumed. #458

Triggered via issue July 9, 2025 22:23
@MikaelMayerMikaelMayer
opened #6304 a27b43a
Status Success
Total duration 6s
Artifacts –

compfuzzci_process_issues.yaml

on: issues
UpdateIssueOpened
4s
UpdateIssueOpened
UpdateIssueClosed
0s
UpdateIssueClosed
Fit to window
Zoom out
Zoom in