diff options
| author | bothameister <bothameister@ec762483-ff6d-05da-a07a-a48fb63a330f> | 2010-07-02 02:47:27 +0000 |
|---|---|---|
| committer | bothameister <bothameister@ec762483-ff6d-05da-a07a-a48fb63a330f> | 2010-07-02 02:47:27 +0000 |
| commit | ee48eb96e8228d922a8db2259a4f3666e45b0bd7 (patch) | |
| tree | 32540153f4210c93c9fe162f2c5c65048184aa34 /tests/system_tests/lattice/gold.statistics | |
| parent | 72c705df4fefe32792ed7c75f39b06da5061870e (diff) | |
changed timer mechanism to play nice with multiple threads
git-svn-id: https://ws10smt.googlecode.com/svn/trunk@99 ec762483-ff6d-05da-a07a-a48fb63a330f
Diffstat (limited to 'tests/system_tests/lattice/gold.statistics')
0 files changed, 0 insertions, 0 deletions