search

kalhauge / jpamb

JPAMB: Java Program Analysis Micro Benchmarks
BSD 3-Clause "New" or "Revised" License
0 stars 12 forks source link

fix syntaxer unable to find assertion #8

Closed turingzhi closed 2 months ago

turingzhi commented 2 months ago

syntaxer couldn't find assertion even though there were assertion, now fixed by replacing t with node

kalhauge commented 2 months ago

Good catch!

I'll merge if you are okay with your change being released with the LICENSE of the repository (see the newly added CONTRIBUTING.md file).

turingzhi commented 2 months ago

Yes, I am okay with it, and I would appreciate it if you could merge it with my changes.

On Wed, Sep 11, 2024 at 21:18 Christian Kalhauge @.***> wrote:

Good catch!

I'll merge if you are okay with your change being released with the LICENSE of the repository (see the newly added CONTRIBUTING.md https://github.com/kalhauge/jpamb/blob/main/CONTRIBUTING.md file).

— Reply to this email directly, view it on GitHub https://github.com/kalhauge/jpamb/pull/8#issuecomment-2344521174, or unsubscribe https://github.com/notifications/unsubscribe-auth/ARGA4O6O5DLSZAHOK4LV4HLZWCJQ3AVCNFSM6AAAAABN4UMNV6VHI2DSMVQWIX3LMV43OSLTON2WKQ3PNVWWK3TUHMZDGNBUGUZDCMJXGQ . You are receiving this because you authored the thread.Message ID: @.***>