Syntax error after importing lib

12 views

Skip to first unread message

unread,

Apr 9, 2024, 5:43:07 AM4/9/24

to UPPAAL

Follow the steps from "https://github.com/UPPAALModelChecker/uppaal-libs". I downloaded the compiled libtable.so and table.xml into the same folder.

Then I opened table.xml using uppaal and it prompted me with a syntax error.

UPPAAL version: 4.1.26-1

unread,

Apr 9, 2024, 7:14:18 AM4/9/24

to UPPAAL

Thanks for the message.

Uppaal 4.1.26 simply does not have the support.

For external libraries you need at least Uppaal Stratego 7 (branched from Uppaal-4.1.20), or simply Uppaal 5.0.