Skip to content
GitLab
Projects Groups Topics Snippets
  • /
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
  • Sign in
  • T titan.core
  • Project information
    • Project information
    • Activity
    • Labels
    • Members
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributor statistics
    • Graph
    • Compare revisions
    • Locked files
  • Issues 111
    • Issues 111
    • List
    • Boards
    • Service Desk
    • Milestones
    • Iterations
    • Requirements
  • Merge requests 0
    • Merge requests 0
  • Deployments
    • Deployments
    • Releases
  • Monitor
    • Monitor
    • Incidents
  • Analytics
    • Analytics
    • Value stream
    • Code review
    • Insights
    • Issue
    • Repository
  • Wiki
    • Wiki
  • Snippets
    • Snippets
  • Activity
  • Graph
  • Create a new issue
  • Commits
  • Issue Boards
Collapse sidebar
  • Eclipse ProjectsEclipse Projects
  • Eclipse Titan
  • titan.core
  • Issues
  • #622
Closed
Open
Issue created Aug 15, 2022 by Levente Erős@leventeeros

-not_a_number can be assigned as value to float

Summary

-not_a_number can be assigned as value to float however, according to section 6.1.0, NOTE 2 of the TTCN-3 standard, this is not allowed.

Steps and/or TTCN-3 code to reproduce

Put this code into a module, compile, and run:

type component ct_empty{}

testcase special_float_values() runs on ct_empty{
  const float cpi := infinity;
  const float cmi := -infinity;
  const float cnn := not_a_number;
  const float cmnn := -not_a_number; //should cause an error, the rest should pass
  log(cpi, cmi, cnn, cmnn);
  setverdict(pass);
}

What is the current bug behavior?

Test passes

What is the expected correct behavior?

Test shall lead to error (maybe in compilation phase) due to the 4th value assignment.

Relevant logs and/or screenshots

Possible fixes

Titan version

8.1.0

Platform details (OS type and version)

Microsoft Windows 10 Enterprise 10.0.19042

/cc @aknappqwt

Assignee
Assign to
Time tracking

Copyright © Eclipse Foundation, Inc. All Rights Reserved.     Privacy Policy | Terms of Use | Copyright Agent