Open magoorden opened 5 months ago
The page https://docs.uppaal.org/toolsandapi/file-formats/ provides an overview of the used file formats and extensions, but this overview is missing the concrete simulator trace file extension .uctr. This file extension is mentioned on the page about the concrete simulator though https://docs.uppaal.org/gui-reference/concrete-simulator/simulation-control/.
.uctr
As a Mac user, I need to provide the correct file format myself, see https://github.com/UPPAALModelChecker/UPPAAL-Meta/issues/188. So it would be helpful to have all possible file extension on the file formats overview page.
The page https://docs.uppaal.org/toolsandapi/file-formats/ provides an overview of the used file formats and extensions, but this overview is missing the concrete simulator trace file extension
.uctr. This file extension is mentioned on the page about the concrete simulator though https://docs.uppaal.org/gui-reference/concrete-simulator/simulation-control/.As a Mac user, I need to provide the correct file format myself, see https://github.com/UPPAALModelChecker/UPPAAL-Meta/issues/188. So it would be helpful to have all possible file extension on the file formats overview page.