diff options
author | Morgan Deters <mdeters@cs.nyu.edu> | 2014-06-18 20:44:09 -0400 |
---|---|---|
committer | lianah <lianahady@gmail.com> | 2014-06-19 18:24:40 -0400 |
commit | dd5dee0a40a03ea5fc7c3685aa2ce17d073a22ab (patch) | |
tree | 452b19b7f7ab12eeb8230f1a201bd94301dd31cc /doc | |
parent | 5cb4e490bc222d1e8a3853b2f975a64af2976baf (diff) |
Version of the run script that works with trace executor; waiting on StarExec infrastructure for testing.
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions