Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
somersault ECU: do not use a matching request parameter from the non-…
…const portion The location of the `num_flips_done` parameter of the 'somersault.PR.happy_forward' is ouside of the constant prefix of the corresponding request. Although the spec does not explicitly disallow this, it is probably not intended to be done. Signed-off-by: Andreas Lauser <andreas.lauser@mbition.io> Signed-off-by: Katja Köhler <katja.koehler@mbition.io>
- Loading branch information