How to generate trace with verifyta command line tool

75 views

Skip to first unread message

Sen Wang

unread,

May 1, 2021, 1:30:00 PM5/1/21

to UPPAAL

I read the help information, and tried everything I can think of, but it always shows "Generating no trace" in the summary after running. Could anyone give an example about how to generate trace while using command line?

Thanks!

Best,

Sen

Leandro Ribeiro

unread,

May 5, 2021, 10:36:07 AM5/5/21

to UPPAAL

Hi,

It works for me with the flags "-t0 -f prefix".

verifyta.exe -t0 -f prefix model.xml queries.q

Cheers,

Sen Wang

unread,

May 5, 2021, 12:41:25 PM5/5/21

to UPPAAL

Oh! that works! Thanks a lot!

Best,

Sen

Reply all

Reply to author

Forward

0 new messages