let us set the size of the heap in a sane way
[model-checker.git] / action.cc
2012-05-08 Brian Norrisaction: split ModelAction off into action.cc