ku-progsys / rbsyn

Program synthesis for Ruby
BSD 3-Clause "New" or "Revised" License
94 stars 4 forks source link

bug in disable side effect flags #24

Closed ngsankha closed 4 years ago

ngsankha commented 4 years ago

Disable side effects flag still knows that a side effect assertion failed just disables the feedback to the synthesis loop. That still an improvement over hunting in the dark. Should stop the assertion check altogether.

Fix this ASAP.