pycoq
pycoq copied to clipboard
Rename `test` to `examples`
diff check fails when I push up .out files from my machine.
diff check fails when I push up
.outfiles from my machine.
Indeed, this is due to us capture the stderr too, let me push a fix.