model: index thread_map by int, not thread_id_t
[c11tester.git] / run.sh
2012-04-24 Brian Norrisrun.sh: add simple 'run' script