diff options
| author | Bjoern Brandenburg <bbb@mpi-sws.org> | 2012-08-07 14:04:05 -0400 |
|---|---|---|
| committer | Bjoern Brandenburg <bbb@mpi-sws.org> | 2013-02-12 06:49:39 -0500 |
| commit | 52c28dbda3f4ef2241182e32002b710b1a9eae0b (patch) | |
| tree | c2e47ffa32bfc042ec49694289ab2ea5963a1828 /native/src/testmain.cpp | |
| parent | 2e2370a21d65ee9ea7659f995fc5b553885646fc (diff) | |
Add unique IDs to TaskInfo
The LP code generates variable IDs based on task identity.
It's convenient to keep track of this explicitly.
Diffstat (limited to 'native/src/testmain.cpp')
| -rw-r--r-- | native/src/testmain.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/native/src/testmain.cpp b/native/src/testmain.cpp index 3c5dc24..d901446 100644 --- a/native/src/testmain.cpp +++ b/native/src/testmain.cpp | |||
| @@ -722,7 +722,7 @@ int main6(int argc, char** argv) | |||
| 722 | 722 | ||
| 723 | int main6(int argc, char** argv) | 723 | int main6(int argc, char** argv) |
| 724 | { | 724 | { |
| 725 | TaskInfo ti(100, 100, 0, 0); | 725 | TaskInfo ti(100, 100, 0, 0, 0); |
| 726 | 726 | ||
| 727 | ti.add_request(123, 3, 3); | 727 | ti.add_request(123, 3, 3); |
| 728 | ti.add_request(103, 1, 2); | 728 | ti.add_request(103, 1, 2); |