>>186381
>the only thing i dont understand is what "positive" means in that for loop, is it a macro perhaps?
It is a macro. The macro maps to a custom attribute that would normally do nothing. However, I could use a special program to modify the code such that all accesses and writes to any variable tagged with that attribute have an assert statement x >= 0 inserted before/after.
The idea behind this is because I plan to use a bounded model checker to formally verify the program as free of undefined behavior. The idea is constrain the search space and avoid false positives.