3 ms·
As a small but I think important remark, the statement in the abstract that you tested on the "official Rust test suite" is very misleading. As the text later m
by tom_mellior 9y ago
As a small but I think important remark, the statement in the abstract that you tested on the "official Rust test suite" is very misleading. As the text later makes clear, you tested on a small fragment of it. That is good, that is important, and you should continue doing it.
But as phrased in the abstract, I first though that you pass all of the Rust tests, or at least a significant majority of them. If I were a reviewer of this paper, I would complain about this loudly, including to the PC chair/editor. As a fellow researcher, I urge you to change this wording in the abstract to something less misleading.
- iuppiter 9y agoThank you for pointing it out. I just used all the codes in the official test suite to test KRust, but it only passed a small fragment.