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

ID | Project | Category | View Status | Date Submitted | Last Update
0007214 | Part 04: TTCN-3 Operational Semantics | Clarification | public | 04-11-2015 10:41 | 21-07-2016 08:31

Reporter | Jens Grabowski |
Assigned To | Jens Grabowski |
Priority | normal | Severity | minor | Reproducibility | have not tried
Status | closed | Resolution | fixed |
Platform |  | OS |  | OS Version |
Product Version | v4.4.1 (published 2012-04) |
Target Version | v4.5.1 (published 2016-07) | Fixed in Version | v4.5.1 (published 2016-07) |
Clause Reference(s) | 6
Source (company - Author) | STF 491

Summary | 0007214: Lazy and Fuzzy evaluation of variables and parameters is not mentioned in the operational semantics
Description | The operational semantics does not cover lazy and fuzzy evaluation of variables and parameters. This should be clarified.
Steps To Reproduce |
Additional Information |
Tags | No tags attached.
Relationships |
Attached Files | es_20187304v040401p-CR7214.zip (1,608,356) 04-11-2015 14:39 http://oldforge.etsi.org/mantis/file_download.php?file_id=3360&type=bug

Issue History
Date Modified | Username | Field | Change
04-11-2015 10:41 | Jens Grabowski | New Issue |
04-11-2015 10:41 | Jens Grabowski | Status | new => assigned
04-11-2015 10:41 | Jens Grabowski | Assigned To | => Jens Grabowski
04-11-2015 14:39 | Jens Grabowski | Note Added: 0013490 |
04-11-2015 14:39 | Jens Grabowski | File Added: es_20187304v040401p-CR7214.zip |
04-11-2015 14:39 | Jens Grabowski | Assigned To | Jens Grabowski => Jacob Wieland - Spirent
04-11-2015 17:51 | Jacob Wieland - Spirent | Note Added: 0013495 |
04-11-2015 17:51 | Jacob Wieland - Spirent | Status | assigned => resolved
04-11-2015 17:51 | Jacob Wieland - Spirent | Fixed in Version | => v4.5.1 (published 2016-07)
04-11-2015 17:51 | Jacob Wieland - Spirent | Resolution | open => fixed
04-11-2015 17:51 | Jacob Wieland - Spirent | Assigned To | Jacob Wieland - Spirent => Jens Grabowski
21-07-2016 08:31 | Jens Grabowski | Status | resolved => closed

Notes

(0013490)
Jens Grabowski
04-11-2015 14:39

Notes have been added to the clauses 6, 9.18, 9.21 and 9.57. Jacob please check if they are appropriate.

(0013495)
Jacob Wieland - Spirent
04-11-2015 17:51

looks good