ETSI's Bug Tracker - Part 04: TTCN-3 Operational Semantics
View Issue Details

ID | Project | Category | View Status | Date Submitted | Last Update
0005915 | Part 04: TTCN-3 Operational Semantics | New Feature | public | 01-07-2011 15:34 | 27-02-2012 13:53

Reporter | Gyorgy Rethy |
Assigned To | Jens Grabowski |
Priority | normal | Severity | minor | Reproducibility | have not tried
Status | closed | Resolution | fixed |
Platform |  | OS |  | OS Version |
Product Version | v4.3.1 - VOID |
Target Version | v4.4.1 (published 2012-04) | Fixed in Version |  |
Clause Reference(s) | New?
Source (company - Author) | STF430

Summary | 0005915: Add OS extensions for the port checkstate operation
Description | CR5243 has added the port checkstate operation to Part-1. This CR is a follow-up to add the needed amendments to Part-4 as well.
Steps To Reproduce |
Additional Information |
Tags | No tags attached.
Relationships |

Attached Files

CR5915-Resolution-JG-110928.doc (356,352) 28-09-2011 17:10
http://oldforge.etsi.org/mantis/file_download.php?file_id=2570&type=bug
CR5915-Resolution-JG-110929-V2.doc (359,936) 29-09-2011 16:01
http://oldforge.etsi.org/mantis/file_download.php?file_id=2578&type=bug
CR5915-Resolution-JG-110929-V3.doc (359,936) 29-09-2011 16:55
http://oldforge.etsi.org/mantis/file_download.php?file_id=2579&type=bug

Issue History
Date Modified | Username | Field | Change
01-07-2011 15:34 | Gyorgy Rethy | New Issue |
01-07-2011 15:34 | Gyorgy Rethy | Clause Reference(s) | => New?
01-07-2011 15:34 | Gyorgy Rethy | Source (company - Author) | => STF430
01-07-2011 16:13 | Gyorgy Rethy | Status | new => assigned
01-07-2011 16:13 | Gyorgy Rethy | Assigned To | => Jens Grabowski
27-09-2011 13:33 | Gyorgy Rethy | Target Version | => Edition 4.4.1
28-09-2011 17:10 | Jens Grabowski | File Added: CR5915-Resolution-JG-110928.doc |
28-09-2011 17:11 | Jens Grabowski | Note Added: 0010285 |
28-09-2011 17:12 | Jens Grabowski | Assigned To | Jens Grabowski => Jacob Wieland - Spirent
29-09-2011 12:07 | Jacob Wieland - Spirent | Note Added: 0010296 |
29-09-2011 16:01 | Jens Grabowski | File Added: CR5915-Resolution-JG-110929-V2.doc |
29-09-2011 16:05 | Jacob Wieland - Spirent | Note Added: 0010303 |
29-09-2011 16:20 | Jacob Wieland - Spirent | Assigned To | Jacob Wieland - Spirent => Jens Grabowski
29-09-2011 16:55 | Jens Grabowski | File Added: CR5915-Resolution-JG-110929-V3.doc |
27-02-2012 13:53 | Jens Grabowski | Status | assigned => closed
27-02-2012 13:53 | Jens Grabowski | Resolution | open => fixed

Notes

(0010285)
Jens Grabowski
28-09-2011 17:11

Resolution uploaded, assigned to Jacob for review.

(0010296)
Jacob Wieland - Spirent
29-09-2011 12:07

all component/any component? Should that not be all port/any port?

(0010303)
Jacob Wieland - Spirent
29-09-2011 16:05

Ok, but I think it should be if (x == y) instead of if (x := y).