News for hackers. Stuff that matters.

A comment on Frama-C: Modular Analysis of C Programs. Parent comment

Re:Frama-C: Modular Analysis of C Programs by Chris2048 on Tuesday October 06, 2020 @11:07AM (#24698431)
could you add some modifier?

"iff a =/= MAXINT"

[ Parent | on HN ]

There are no comments on this comment yet.