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

ebmc: test for k-induction with both refuted and proved property #266

Merged
merged 1 commit into from
Dec 11, 2023
Merged

ebmc: test for k-induction with both refuted and proved property #266

merged 1 commit into from
Dec 11, 2023

Conversation

kroening
Copy link
Member

@kroening kroening commented Dec 9, 2023

No description provided.

tautschnig
tautschnig approved these changes Dec 11, 2023
View reviewed changes
regression/ebmc/k-induction/k-induction5.desc Outdated
^EXIT=10$
^SIGNAL=0$
^\[main.property.property1\] .* SUCCESS$
^\[main.property.property2\] .* FAILURE$
Copy link
Collaborator

Choose a reason for hiding this comment

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

Needs a rebase.

@kroening kroening force-pushed the k-induction5 branch 2 times, most recently from a25879c to 20ec69f Compare December 11, 2023 10:35
@kroening
ebmc: two KNOWNBUG tests for k-induction
41e7f83 
The test is one file that has two properties, one to be refuted and one to
be proved.
@kroening kroening merged commit 6def7e7 into main Dec 11, 2023
4 checks passed
@kroening kroening deleted the k-induction5 branch December 11, 2023 10:50
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@tautschnig tautschnig tautschnig approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@kroening @tautschnig