Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

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

Jump to bottom

Fix regression tests that require "rmc-flags: --no-undefined-function-checks" #555

Open
1 of 4 tasks
danielsn opened this issue Oct 15, 2021 · 0 comments
Open
1 of 4 tasks

Fix regression tests that require "rmc-flags: --no-undefined-function-checks" #555

danielsn opened this issue Oct 15, 2021 · 0 comments
Labels
[C] Bug This is a bug. Something isn't working.

Comments

@danielsn
Copy link
Contributor

danielsn commented Oct 15, 2021 •
edited by tautschnig
Loading

@danielsn danielsn mentioned this issue Oct 15, 2021
Merged
4 tasks
celinval added a commit to celinval/kani-dev that referenced this issue Mar 16, 2022
@celinval
Add testcase for model-checking#555.
b763ebc
@zhassan-aws zhassan-aws added [C] Bug This is a bug. Something isn't working. MLP - Must Have and removed MLP - Need Triage labels Mar 17, 2022
celinval added a commit that referenced this issue Mar 22, 2022
@celinval
Add fixme tests that reproduce issues #555, #556, and #560 (#952)
7a7b2bf 
Add tests for a few open issues.
tedinski pushed a commit to tedinski/rmc that referenced this issue Apr 22, 2022
@celinval @tedinski
Add fixme tests that reproduce issues model-checking#555, model-check…
f44d4ae 
…ing#556, and model-checking#560 (model-checking#952)

Add tests for a few open issues.
tedinski pushed a commit to tedinski/rmc that referenced this issue Apr 25, 2022
@celinval @tedinski
Add fixme tests that reproduce issues model-checking#555, model-check…
2218748 
…ing#556, and model-checking#560 (model-checking#952)

Add tests for a few open issues.
tedinski pushed a commit to tedinski/rmc that referenced this issue Apr 26, 2022
@celinval @tedinski
Add fixme tests that reproduce issues model-checking#555, model-check…
8c2be4a 
…ing#556, and model-checking#560 (model-checking#952)

Add tests for a few open issues.
tedinski pushed a commit that referenced this issue Apr 27, 2022
@celinval @tedinski
Add fixme tests that reproduce issues #555, #556, and #560 (#952)
b3a3fc2 
Add tests for a few open issues.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
[C] Bug This is a bug. Something isn't working.
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
4 participants
@tedinski @danielsn @celinval @zhassan-aws