3 ms·
> Have you considered combinatorial testing? Our plan was to do random Rocq program generation and differential testing of Crane extracted code versus other ex
by joomy 8mo ago
> Have you considered combinatorial testing?
Our plan was to do random Rocq program generation and differential testing of Crane extracted code versus other extraction methods and even CertiCoq. But fixing a program and trying different mappings would certainly be a useful tool for any dev who would like to use our tool, and we should put it on our roadmap.
- seeknotfind 8mo agoVery cool. Can't wait to see what's next with this project! Congrats on the huge scale of tests/examples as well.
- csto12 8mo agoAre LLMs part of your development workflow for something like this? If they are, is it through something like Claude Code or something else?