Skip to content
This repository has been archived by the owner on Oct 19, 2024. It is now read-only.

extend model checker options #2147

Merged
merged 2 commits into from
Feb 14, 2023
Merged

extend model checker options #2147

merged 2 commits into from
Feb 14, 2023

Conversation

wiasliaw
Copy link
Contributor

  • divModWithSlacks, showUnproved and solvers are shown in 0.8.7 in compiler input
  • lower the disability of model checker from 0.8.10 to 0.8.7 since options above are implemented.
  • eld solver are introduced in 0.8.18. It had been sanitized.

BTW, in future, adding other sanitized rules will able to remove or lower the version of self.settings.model_checker = None;

PR Checklist

  • Added Tests
  • Added Documentation
  • Updated the changelog
  • Breaking changes

mattsse
mattsse approved these changes Feb 13, 2023
View reviewed changes
Copy link
Collaborator

@mattsse mattsse left a comment

Choose a reason for hiding this comment

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

ty!

@mattsse
Copy link
Collaborator

mattsse commented Feb 13, 2023

clippy error unrelated #2146

@gakonst gakonst merged commit 7511d22 into gakonst:master Feb 14, 2023
@PaulRBerg PaulRBerg mentioned this pull request Feb 20, 2023
Closed
@wiasliaw wiasliaw deleted the wiasliaw/model-checker-config branch February 20, 2023 16:02
@wiasliaw wiasliaw mentioned this pull request Feb 20, 2023
Merged
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Reviewers

@mattsse mattsse mattsse 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.
3 participants
@wiasliaw @mattsse @gakonst