We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Ideally, the suite should test automatically for which versions of Stratego our interface works fine.
But for sure test the intergration with the latest version of Stratego and disply it on the main page.
The text was updated successfully, but these errors were encountered:
Lets test it on the latest available stratego version from here: https://people.cs.aau.dk/~marius/stratego/download.html#instructions
Then our task just boils down to: download unzip decided whether to use bin-Linux / bin-Windows depending on our test OS
Sorry, something went wrong.
Decision whether to use bin-Linux or bin-Windows can be automated using workflows if syntax https://docs.github.com/en/actions/reference/workflow-syntax-for-github-actions#jobsjob_idstepsif
if
Need to ask Marius how to go around registration page while automatically downloading Stratego within a github workflow https://www.it.uu.se/research/group/darts/uppaal/download/registration.php?id=12&subid=12
Merge pull request #14 from mihsamusev/#7-output-print
405268e
#13 Make output file option optionally
No branches or pull requests
Ideally, the suite should test automatically for which versions of Stratego our interface works fine.
But for sure test the intergration with the latest version of Stratego and disply it on the main page.
The text was updated successfully, but these errors were encountered: