|
|
|
|
|
|
by bch
65 days ago
|
|
|
I followed your and @blymn's work then, and filed a bug report against veriexec. blymn gently improved the characterization of the problem and fixed it. That led me to start studying lex/yacc, instead of just treating them like magic. Thanks for your work. |
|
|