Skip to content
This repository has been archived by the owner on Sep 22, 2023. It is now read-only.

Added GerRL tool #110

Open
wants to merge 2 commits into
base: main
Choose a base branch
from
Open

Added GerRL tool #110

wants to merge 2 commits into from

Conversation

luistar
Copy link

@luistar luistar commented Jan 24, 2022

Dear SBST 2022 CPS Testing Competition Organizers,

as instructed via email, we're sending you a pull request with our submission.

Best regards,
Luigi

@alessiogambi
Copy link
Contributor

@luistar We managed to run your code but had to "guess" some of the additional depedendencies (i.e., baseline_samples and baseline_samples3). Maybe you can add a few lines to your doc (for future references).

added missing info on required dependencies
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants