Allow comments in rules
agroce opened this issue · comments
Alex Groce commented
Possible format:
line beginning with one space followed by two dashes followed by a space is a comment, e.g.,:
-- this rule is to remove synchronized to check tests handle concurrency
(shouldn't interfere with any real rules)
Alex Groce commented
attn @sambacha
Alex Groce commented
I don't know when exactly I'll get around to it -- may be a bit, due to various grant proposals in flight