Automate Generation of Timed Traces

UoY-RoboStar / robotool

Top-level repository for tracking issues and discussions about overall RoboTool.

0 stars 0 forks source link

Automate Generation of Timed Traces #5

Open mikevaux opened 4 months ago

mikevaux commented 4 months ago

This change is wider than just one plugin, so I have collated the individual PRs here (more information can be found in each individual PR):

robotest-textual https://github.com/UoY-RoboStar/robotest-textual/pull/5

robochart-csp-gen https://github.com/UoY-RoboStar/robochart-csp-gen/pull/126

robochart-trace-gen https://github.com/UoY-RoboStar/robochart-trace-gen/pull/8

mikevaux commented 4 months ago

@pefribeiro I've just pushed an update to robotest-textual and robochart-trace-gen to distinguish a timed traces model in the grammar, and also to meta- information in the JSON formatted output (timing version and max-valid-length for now).

The syntax for how we define a set of timed traces can obviously be changed if you wish, but for now I've gone for cspm timed <name=ID> associated to...