scanalysis: allocate structures as true members of class (not pointers)
[model-checker.git] / test / thinair.c
2012-12-19 Brian Norristest: don't relay on thrd_current() returning an int
2012-10-29 Brian Norristests: add thinair test