Could you please give me some speed data about difftest-NanhuG?
Taylorsbear720 opened this issue · comments
Taylorsbear720 commented
Hello, I am currently writing a paper on verification, so I need some data in this area. I tried for a long time to test difftest NanhuG's data myself, but failed. I can run NanhuG alone, but it fails with difftest, so I would like to ask if you can give me some difftest-NanhuG data. I will indicate the source of the data in the paper。
Thanks!!