Bug 521463 - [editor] Numbers format
Summary: [editor] Numbers format
Status: NEW
Alias: None
Product: EFM
Classification: Modeling
Component: modeling (show other bugs)
Version: modeling-0.0.1   Edit
Hardware: PC Windows 7
: P3 normal
Target Milestone: ---   Edit
Assignee: Project Inbox CLA
QA Contact:
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2017-08-28 06:07 EDT by Boutheina Bannour CLA
Modified: 2017-08-28 06:11 EDT (History)
0 users

See Also:

Attachments
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
Description Boutheina Bannour CLA 2017-08-28 06:07:09 EDT 
The editor does not recognize numbers of the form "n.m" for instance:

var clock real c;
tguard(c <= 3.5)

"3.5" is highlighted as a syntax error (the symbolic execution is fine).