qsynthesis
qsynthesis copied to clipboard
unrolling issue with PlaceHolderSynthesizer
The PlaceHolderSynthesizer
seem's not to properly replace placeholder variable during the synthesis process, on some use-cases. The resulting synthesized expression is thus completely wrong. I need to dig deeper.
Can it be repaired?
Yes, definitely. I mention it here for the record, I will give it look when will have a minute.
Is the bug fixed?
No. Not yet.
Hello, can you add your telegram?
Hello, can you add your telegram?
I don't have. You can DM me on Twitter if needed
thank you