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

Add missing functionalities to kani_core #3384

Merged
merged 3 commits into from
Jul 25, 2024
Merged

Add missing functionalities to kani_core #3384

merged 3 commits into from
Jul 25, 2024

Commits on Jul 25, 2024

  1. Add missing functionalities to kani_core 

      - Add Arbitrary for array
  - Add Arbitrary for tuples
  - Add missing changes from modifies slices (model-checking#3295)

Note that for adding `any_array` I had to cleanup the unnecessary usage
of constant parameters from `kani::any_raw`.
    @celinval
    celinval committed Jul 25, 2024
    Configuration menu
    Copy the full SHA
    b52cb34 View commit details
    Browse the repository at this point in the history

  2. Fix expected output

    @celinval
    celinval committed Jul 25, 2024
    Configuration menu
    Copy the full SHA
    1564e74 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'main' into issue-3257-missing

    @celinval
    celinval authored Jul 25, 2024
    Configuration menu
    Copy the full SHA
    65d0097 View commit details
    Browse the repository at this point in the history