fint function always returns 0

70 views

Skip to first unread message

unread,

Jan 28, 2020, 10:21:22 AM1/28/20

to UPPAAL

Dear community,

I am using version 4.1.24 of UPPAAL but I have a problem with the "int fint(double x)" function.

The function is supposed to convert a floating-point value into an integer, however, it always returns a 0.

(e.g. fint(3.4) => 0)

I would be grateful if someone could help me solve this problem.

Best regards,

unread,

Feb 20, 2020, 4:57:17 AM2/20/20

to UPPAAL

Hi,

I need more details.

I suspect that you are running a symbolic query (A[], E<> and the like), where the floating point operations are disabled.

Meanwhile a proper test is to run SMC query, like this:

simulate [<=1] { fint(3.4) }

Best regards,
Marius

Best regards,

Reply all

Reply to author

Forward

0 new messages