diff options
| author | Bjoern Brandenburg <bbb@mpi-sws.org> | 2012-09-30 03:33:40 -0400 |
|---|---|---|
| committer | Bjoern Brandenburg <bbb@mpi-sws.org> | 2012-11-24 09:30:02 -0500 |
| commit | 01251da14f0d3fb2bf4ed2299a70998ff3aa5a1f (patch) | |
| tree | 962c6c78b8a442e702be703c5bebd39219c47f0b /native/src/blocking | |
| parent | 47ca70df678bc698c51a1f8f2dfbc2112add13a9 (diff) | |
TaskSystem.copy() should make deep copies
Otherwise, the resource model will not be copied correctly, which
can lead to wrong results if parameters are inflated to account
for overheads.
Diffstat (limited to 'native/src/blocking')
0 files changed, 0 insertions, 0 deletions