Issue with running a model on mac

[mohsen-ghaffari1992]

Hi,

Recently, I attempted to open a system that was previously tested by my colleagues. Strangely, they encountered no difficulties, whereas I keep encountering an error. To provide you with a better understanding, I have attached some screenshots illustrating the issue.

I am using uppaal64-4.1.26, and system is only an xml file (no extra libraries).

Thank you in advance for your valuable time and ongoing support.

[mikucionisaau]

I made this minimal model:

clock x;
const double Capacity = 2.5;
double value(){
  if (x<=Capacity)
    return 1.5;
  else
    return 2.5;
}

4.1.26 does not allow it (with "Boolean expected" error) as it does not implement the necessary support for floating point variables.

This model works fine in Uppaal Stratego-11 and Uppaal 5 rc4.

[mohsen-ghaffari1992]

Thanks Marius! I moved to Uppaal Stratego and everything is fine now. Best, Mohsen From: Marius Mikučionis ***@***.***> Date: Thursday, 15 June 2023 at 08.09 To: UPPAALModelChecker/UPPAAL-Meta ***@***.***> Cc: Mohsen Ghaffari ***@***.***>, Author ***@***.***> Subject: Re: [UPPAALModelChecker/UPPAAL-Meta] Issue with running a model on mac (Discussion #205) I made this minimal model: clock x; const double Capacity = 2.5; double value(){ if (x<=Capacity) return 1.5; else return 2.5; } 4.1.26 does not allow it (with "Boolean expected" error) as it does not implement the necessary support for floating point variables. This model works fine in Uppaal Stratego-11 and Uppaal 5 rc4. — Reply to this email directly, view it on GitHub<#205 (comment)>, or unsubscribe<https://github.com/notifications/unsubscribe-auth/ASQKWRIZH3DY5DJDI7UEZC3XLKRITANCNFSM6AAAAAAZF5DLVU>. You are receiving this because you authored the thread.Message ID: ***@***.***>