Investigate define-fun-multi-param.smt2 #350
Description
This seems like a potential What4 bug? I don't see why it shouldn't be unfolding myand.
Originally posted by @langston-barrett in #343 (comment)
{{ message }}
This seems like a potential What4 bug? I don't see why it shouldn't be unfolding myand.
Originally posted by @langston-barrett in #343 (comment)