Saving simulations using Uppaal's "verifyta" feature.

[samaye ismael]

Hello, please, 

I would like to receive assistance with the "verifyta" feature in Uppaal. Indeed, when I run my XML file through the command line, I am unable to save the verifications or simulations into the XML file. I would appreciate a solution, please. Thank you.

[Marius Mikučionis]

On Wednesday, 11 October 2023 at 20:29:39 UTC+2 samayeismael wrote:

Hello, please, 

I would like to receive assistance with the "verifyta" feature in Uppaal. Indeed, when I run my XML file through the command line, I am unable to save the verifications or simulations into the XML file. I would appreciate a solution, please. Thank you.

This assumes some knowledge of a command line.

See the available options:

verifyta --help

If you cannot find specific option to save your results into a file, then a generic redirect output into a file:

verifyta -sq model.xml model.q  > results.txt

(-s silences the progress indicator and -q makes it quiet about options summary)

Alternatively please create a feature request:

https://github.com/UPPAALModelChecker/UPPAAL-Meta/issues