Scenario file
Generate a file with a textual representation of the witness found by ITSTool, as a sequence of calls to guarded actions where parameters are instantiated by assets.
GitLab upgrade completed. Current version is 17.11.4.
Generate a file with a textual representation of the witness found by ITSTool, as a sequence of calls to guarded actions where parameters are instantiated by assets.