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 cram tests for CFGs #1360

Merged
merged 25 commits into from
Feb 21, 2024
Merged

Add cram tests for CFGs #1360

merged 25 commits into from
Feb 21, 2024

Commits on Feb 9, 2024

  1. Add CFG test using graph-easy

    @sim642
    sim642 committed Feb 9, 2024
    Configuration menu
    Copy the full SHA
    55c9e5d View commit details
    Browse the repository at this point in the history

  2. Use locations in CFG test nodes

    @sim642
    sim642 committed Feb 9, 2024
    Configuration menu
    Copy the full SHA
    3093d27 View commit details
    Browse the repository at this point in the history

  3. Use stdout for CFG test

    @sim642
    sim642 committed Feb 9, 2024
    Configuration menu
    Copy the full SHA
    b8c6e64 View commit details
    Browse the repository at this point in the history

  4. Use function names in CFG tests

    @sim642
    sim642 committed Feb 9, 2024
    Configuration menu
    Copy the full SHA
    d13a432 View commit details
    Browse the repository at this point in the history

  5. Add cram tests for CFG

    @sim642
    sim642 committed Feb 9, 2024
    Configuration menu
    Copy the full SHA
    48d4b63 View commit details
    Browse the repository at this point in the history

  6. Move some functions to CfgTools

    @sim642
    sim642 committed Feb 9, 2024
    Configuration menu
    Copy the full SHA
    6ed1aae View commit details
    Browse the repository at this point in the history

  7. Test CFGs per function

    @sim642
    sim642 committed Feb 9, 2024
    Configuration menu
    Copy the full SHA
    b727532 View commit details
    Browse the repository at this point in the history

  8. Fix instructions in CFG testing

    @sim642
    sim642 committed Feb 9, 2024
    Configuration menu
    Copy the full SHA
    a1483d6 View commit details
    Browse the repository at this point in the history

  9. More detailed location output in CFG tests

    @sim642
    sim642 committed Feb 9, 2024
    Configuration menu
    Copy the full SHA
    361af13 View commit details
    Browse the repository at this point in the history

Commits on Feb 13, 2024

  1. Merge branch 'master' into cfg-test

    @sim642
    sim642 committed Feb 13, 2024
    Configuration menu
    Copy the full SHA
    9036370 View commit details
    Browse the repository at this point in the history

  2. Add test for synthetic witness invariant locations (PR #758)

    @sim642
    sim642 committed Feb 13, 2024
    Configuration menu
    Copy the full SHA
    e81df45 View commit details
    Browse the repository at this point in the history

  3. Add test for incorrect witness invariant locations from CIL transform… 

    …ations (issue #1356)
    @sim642
    sim642 committed Feb 13, 2024
    Configuration menu
    Copy the full SHA
    7018ccf View commit details
    Browse the repository at this point in the history

  4. Update CIL for synthetic locations fix

    @sim642
    sim642 committed Feb 13, 2024
    Configuration menu
    Copy the full SHA
    b734f50 View commit details
    Browse the repository at this point in the history

  5. Add graph-easy Ubuntu depext

    @sim642
    sim642 committed Feb 13, 2024
    Configuration menu
    Copy the full SHA
    65ae0f0 View commit details
    Browse the repository at this point in the history

  6. Try to pin using with-test in CI

    @sim642
    sim642 committed Feb 13, 2024
    Configuration menu
    Copy the full SHA
    de83ccc View commit details
    Browse the repository at this point in the history

  7. Add enabled_if to CFG tests in 00-sanity as well

    @sim642
    sim642 committed Feb 13, 2024
    Configuration menu
    Copy the full SHA
    4d86fd0 View commit details
    Browse the repository at this point in the history

  8. Try to pin using with-test in CI via opam-depext-flags

    @sim642
    sim642 committed Feb 13, 2024
    Configuration menu
    Copy the full SHA
    d48e85e View commit details
    Browse the repository at this point in the history

  9. Try to pin using with-test in CI via hack 

    ocaml/opam#3790 (comment).
    @sim642
    sim642 committed Feb 13, 2024
    Configuration menu
    Copy the full SHA
    4b58d45 View commit details
    Browse the repository at this point in the history

  10. Install graph-easy manually in CI because nothing works

    @sim642
    sim642 committed Feb 13, 2024
    Configuration menu
    Copy the full SHA
    ae5b2cf View commit details
    Browse the repository at this point in the history

  11. Install graph-easy only on Ubuntu in CI

    @sim642
    sim642 committed Feb 13, 2024
    Configuration menu
    Copy the full SHA
    15e8ca3 View commit details
    Browse the repository at this point in the history

Commits on Feb 14, 2024

  1. Update GobView for moved compute_cfg

    @sim642
    sim642 committed Feb 14, 2024
    Configuration menu
    Copy the full SHA
    d146e9b View commit details
    Browse the repository at this point in the history

Commits on Feb 21, 2024

  1. Comment about depext --with-test

    @sim642
    sim642 committed Feb 21, 2024
    Configuration menu
    Copy the full SHA
    b730994 View commit details
    Browse the repository at this point in the history

  2. Extract CilCfg0

    @sim642
    sim642 committed Feb 21, 2024
    Configuration menu
    Copy the full SHA
    45e01c3 View commit details
    Browse the repository at this point in the history

  3. Remove commented-out CilLocation.get_labelsLoc

    @sim642
    sim642 committed Feb 21, 2024
    Configuration menu
    Copy the full SHA
    3f20225 View commit details
    Browse the repository at this point in the history

  4. Merge branch 'master' into cfg-test

    @sim642
    sim642 committed Feb 21, 2024
    Configuration menu
    Copy the full SHA
    5e65e22 View commit details
    Browse the repository at this point in the history