Re: [Spot] Assistance with Spot

Roei Nahum <roeina@nvidia.com> writes:

Following checking more operators in SPOT, just want to inform that the operand overflow problem also applies to the unary operators: Kleene star, goto, nonconseq. rep. (all seem to be stored in uint8_t variable).

Yes, I've added an overflow test to all of those already; they all use the same parsing rule and data structure.