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

Enable Concrete Playback Unit tests to run with --cfg kani #2353

Merged
merged 22 commits into from
Apr 7, 2023
Merged

Enable Concrete Playback Unit tests to run with --cfg kani #2353

merged 22 commits into from
Apr 7, 2023

Commits on Feb 16, 2023

  1. Generate unit test, line by line

    @jaisnan
    jaisnan committed Feb 16, 2023
    Configuration menu
    Copy the full SHA
    a160eed View commit details
    Browse the repository at this point in the history

  2. clippy changes

    @jaisnan
    jaisnan committed Feb 16, 2023
    Configuration menu
    Copy the full SHA
    0168917 View commit details
    Browse the repository at this point in the history

  3. add tempfile dependency

    @jaisnan
    jaisnan committed Feb 16, 2023
    Configuration menu
    Copy the full SHA
    964c22e View commit details
    Browse the repository at this point in the history

  4. Merge branch 'main' of https://github.com/model-checking/kani into main

    @jaisnan
    jaisnan committed Feb 16, 2023
    Configuration menu
    Copy the full SHA
    7d749bf View commit details
    Browse the repository at this point in the history

Commits on Feb 22, 2023

  1. Merge branch 'main' of https://github.com/model-checking/kani into main

    @jaisnan
    jaisnan committed Feb 22, 2023
    Configuration menu
    Copy the full SHA
    aa83942 View commit details
    Browse the repository at this point in the history

Commits on Mar 31, 2023

  1. Merge branch 'main' of https://github.com/model-checking/kani into main

    @jaisnan
    jaisnan committed Mar 31, 2023
    Configuration menu
    Copy the full SHA
    16c2400 View commit details
    Browse the repository at this point in the history

Commits on Apr 2, 2023

  1. Merge branch 'main' of https://github.com/model-checking/kani into main

    @jaisnan
    jaisnan committed Apr 2, 2023
    Configuration menu
    Copy the full SHA
    de833b3 View commit details
    Browse the repository at this point in the history

Commits on Apr 6, 2023

  1. Add concrete_playback feature to kani_macros

    @jaisnan
    jaisnan committed Apr 6, 2023
    Configuration menu
    Copy the full SHA
    d51294e View commit details
    Browse the repository at this point in the history

  2. Merge branch 'main' of https://github.com/model-checking/kani into Fi… 

    …x-concrete-playback-cfg-kani
    @jaisnan
    jaisnan committed Apr 6, 2023
    Configuration menu
    Copy the full SHA
    47e48f2 View commit details
    Browse the repository at this point in the history

  3. Add regression test

    @jaisnan
    jaisnan committed Apr 6, 2023
    Configuration menu
    Copy the full SHA
    6c59f18 View commit details
    Browse the repository at this point in the history

  4. Merge branch 'main' of https://github.com/model-checking/kani into Fi… 

    …x-concrete-playback-cfg-kani
    @jaisnan
    jaisnan committed Apr 6, 2023
    Configuration menu
    Copy the full SHA
    d61f6ab View commit details
    Browse the repository at this point in the history

  5. Delete accidental changes

    @jaisnan
    jaisnan committed Apr 6, 2023
    Configuration menu
    Copy the full SHA
    bc3671a View commit details
    Browse the repository at this point in the history

  6. Add copyright strings

    @jaisnan
    jaisnan committed Apr 6, 2023
    Configuration menu
    Copy the full SHA
    4ae20a3 View commit details
    Browse the repository at this point in the history

  7. Fix cargo.toml

    @jaisnan
    jaisnan committed Apr 6, 2023
    Configuration menu
    Copy the full SHA
    3429b9e View commit details
    Browse the repository at this point in the history

  8. Remove logging in CI test

    @jaisnan
    jaisnan committed Apr 6, 2023
    Configuration menu
    Copy the full SHA
    c728dc3 View commit details
    Browse the repository at this point in the history

  9. Add nightly from toolchain file

    @jaisnan
    jaisnan committed Apr 6, 2023
    Configuration menu
    Copy the full SHA
    d1ddd11 View commit details
    Browse the repository at this point in the history

  10. Fix diff error in CI

    @jaisnan
    jaisnan committed Apr 6, 2023
    Configuration menu
    Copy the full SHA
    f43e284 View commit details
    Browse the repository at this point in the history

  11. Remove time from expected

    @jaisnan
    jaisnan committed Apr 6, 2023
    Configuration menu
    Copy the full SHA
    c111570 View commit details
    Browse the repository at this point in the history

  12. Address comments

    @jaisnan
    jaisnan committed Apr 6, 2023
    Configuration menu
    Copy the full SHA
    223b9a8 View commit details
    Browse the repository at this point in the history

  13. Merge branch 'main' into Fix-concrete-playback-cfg-kani

    @jaisnan
    jaisnan authored Apr 6, 2023
    Configuration menu
    Copy the full SHA
    8899012 View commit details
    Browse the repository at this point in the history

  14. Update tests/script-based-pre/playback_with_cfg_kani/sample_crate/src… 

    …/main.rs

Co-authored-by: Adrian Palacios <73246657+adpaco-aws@users.noreply.github.com>
    @jaisnan @adpaco-aws
    jaisnan and adpaco-aws authored Apr 6, 2023
    Configuration menu
    Copy the full SHA
    1c5c5b7 View commit details
    Browse the repository at this point in the history

Commits on Apr 7, 2023

  1. Merge branch 'main' into Fix-concrete-playback-cfg-kani

    @jaisnan
    jaisnan authored Apr 7, 2023
    Configuration menu
    Copy the full SHA
    3d3f1fb View commit details
    Browse the repository at this point in the history