Loading ATS/PROGRESS_FILE.txt +2 −2 Original line number Diff line number Diff line Loading @@ -61,8 +61,8 @@ The exact description of required updates is in /trunk/standards/4.7.1/part-1-ch 21.3.7 The done operation (Tomas, done: 5 new tests, 1 positive, 4 negative; added not validated tests from STF 470) 21.3.8 The killed operation (Tomas, done: 5 new tests, 1 positive, 4 negative; added not validated tests from STF 470) 22.2.1 The send operation (Tomas, done: 10 new tests, 3 positive, 7 negative) 22.2.2 The receive operation () 22.2.3 The trigger operation () 22.2.2 The receive operation (Tomas, done: 45 new tests, 23 positive, 22 negative; 2 CR) 22.2.3 The trigger operation (Tomas, done: 44 new tests, 22 positive, 22 negative) 22.3.1 The call operation () 22.3.2 The getcall operation () 22.3.3 The reply operation () Loading Loading
ATS/PROGRESS_FILE.txt +2 −2 Original line number Diff line number Diff line Loading @@ -61,8 +61,8 @@ The exact description of required updates is in /trunk/standards/4.7.1/part-1-ch 21.3.7 The done operation (Tomas, done: 5 new tests, 1 positive, 4 negative; added not validated tests from STF 470) 21.3.8 The killed operation (Tomas, done: 5 new tests, 1 positive, 4 negative; added not validated tests from STF 470) 22.2.1 The send operation (Tomas, done: 10 new tests, 3 positive, 7 negative) 22.2.2 The receive operation () 22.2.3 The trigger operation () 22.2.2 The receive operation (Tomas, done: 45 new tests, 23 positive, 22 negative; 2 CR) 22.2.3 The trigger operation (Tomas, done: 44 new tests, 22 positive, 22 negative) 22.3.1 The call operation () 22.3.2 The getcall operation () 22.3.3 The reply operation () Loading