model: fix "earliest diverge" NULL pointer exception
[c11tester.git] / impatomic.cc
2012-08-02 Brian Demskytowards making rmw work...
2012-08-02 Brian Demskydon't forget this file