Syntax checking issues with the uppaal GUI

[刘乔森]

Hello, everyone.
I followed the tutorial "https://docs.uppaal.org/language-reference/system-description/declarations/external-functions/" and tried to import the dynamic library functions, but uppaal tells me that I have a syntax error.

[Marius Mikučionis]

Hi,

What error are you getting?

Could you please post the C declarations of those functions?

I don't think Uppaal "knows"  the type mem_t, thus it won't be able to use any of those functions, unless you define those types too.

Best regards,
Marius

[刘乔森]

Thanks for the reply, I have uploaded the uppaal file.