Finding Loaded Machine Invariant

5 views

Skip to first unread message

unread,

May 1, 2023, 12:14:31 PM5/1/23

to ProB Users

Hi There,

After loading a machine

StateSpace s = api.b_load(machine_file);

How can I get the invariant of this machine from s?

Cheers,

Marcel

unread,

May 1, 2023, 12:25:19 PM5/1/23

to ProB Users

Sorry... My question is related with the use of the Java API.

Reply all

Reply to author

Forward

0 new messages