Skip to content

Conversation

@celinval
Copy link
Contributor

@celinval celinval commented Dec 1, 2021

There was a regression introduced by 7820fa5 that broke rmc --gen-c. This change fixes that. I am also fixing a random white space from my previous commit.

Resolved issues:

None

Call-outs:

Testing:

  • How is this change tested? We don't have any regression test for --gen-c yet.

  • Is this a refactor change?

Checklist

  • Each commit message has a non-empty body, explaining why the change was made
  • Methods or procedures are documented
  • Regression or unit tests are included, or existing tests cover the modified code
  • My PR is restricted to a single feature or bugfix

By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 and MIT licenses.

@celinval celinval requested a review from a team as a code owner December 1, 2021 21:49
@celinval celinval force-pushed the main branch 3 times, most recently from bf726c0 to 53a4d9f Compare December 2, 2021 01:55
Copy link
Contributor

@avanhatt avanhatt left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks for catching this!!

There was a regression introduced by 7820fa5 that broke rmc --gen-c.
This change fixes that. I am also fixing a random white space from my
previous commit.
@celinval celinval merged commit ffedfc2 into model-checking:main Dec 7, 2021
tedinski pushed a commit to tedinski/rmc that referenced this pull request Apr 26, 2022
There was a regression introduced by b6e2bcad6cb that broke rmc --gen-c.
This change fixes that. I am also fixing a random white space from my
previous commit.
tedinski pushed a commit that referenced this pull request Apr 27, 2022
There was a regression introduced by b6e2bcad6cb that broke rmc --gen-c.
This change fixes that. I am also fixing a random white space from my
previous commit.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants