search

csmith-project / creduce

C-Reduce, a C and C++ program reducer
Other
1.47k stars 128 forks source link

FYI: also reduces Dafny code! #250

Closed hmijail closed 1 year ago

hmijail commented 1 year ago

I managed to reduce a bug in Dafny code (https://dafny.org/).

This was in macOS 13, Apple Silicon, using creduce 2.11.0 (installed with brew --HEAD), with the --not-c option.

eeide commented 1 year ago

Thank you for letting us know!