I'm currently trying to run example in benchmarks/demos/example.rkt without the run script. Rosette has this functionality with (print-forms (... some synthesis task)), and it seems like (search #:metasketch (example)) is what I want in Synapse, but this raises ../../opsyn/engine/search.rkt:88:2: place-channel-put: value not allowed in a message in the VM version. Any ideas of how to resolve this?
I'm currently trying to run
exampleinbenchmarks/demos/example.rktwithout the run script. Rosette has this functionality with(print-forms (... some synthesis task)), and it seems like(search #:metasketch (example))is what I want in Synapse, but this raises../../opsyn/engine/search.rkt:88:2: place-channel-put: value not allowed in a messagein the VM version. Any ideas of how to resolve this?