Testsuite: gov.nasa.jpf.util.IntTableTest
Tests run: 2, Failures: 0, Errors: 0, Time elapsed: 0,11 sec
------------- Standard Output ---------------
-- original table
1 => 1
3 => 3
2 => 2
-- cloned+modified table
14 => 14
13 => 13
3 => 3
18 => 18
17 => 17
2 => 2
12 => 12
11 => 11
1 => 1
16 => 16
15 => 15
19 => 19
10 => 10
------------- ---------------- ---------------

Testcase: testBasic took 0,05 sec
Testcase: testClone took 0,04 sec
