| |
ETSI's Bug Tracker |
| Anonymous | Login | Signup for local Mantis account | 03-05-2024 03:03 IST |  |
| Main | My View | View Issues | Change Log | Roadmap | Monitor project |
| View Issue Details [ Jump to Notes ] | [ Issue History ] [ Print ] | ||||||||
| 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) | ||||||
| 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. | ||||||||
| Tags | No tags attached. | ||||||||
| Clause Reference(s) | 6 | ||||||||
| Source (company - Author) | STF 491 | ||||||||
| Attached Files |  es_20187304v040401p-CR7214.zip [^] (1,608,356 bytes) 04-11-2015 14:39 | ||||||||
 Relationships |
|
 Relationships |
|
Notes |
|
|
(0013490) Jens Grabowski (manager) 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 (reporter) 04-11-2015 17:51 |
looks good |
|
Notes |
|
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 |
|
Issue History |
| MantisBT 1.2.14 [^] Copyright © 2000 - 2024 MantisBT Team |
 |