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

unary_exprt::check and nullary_exprt::check #8151

Merged
merged 3 commits into from
Jan 8, 2024
Merged

unary_exprt::check and nullary_exprt::check #8151

merged 3 commits into from
Jan 8, 2024

Commits on Jan 6, 2024

  1. add unary_exprt::check(expr) 

    This adds unary_exprt::check(expr), which checks that the expression is
indeed unary.  This follows the same pattern as binary_exprt::check and
ternary_exprt::check.
    @kroening
    kroening committed Jan 6, 2024
    Configuration menu
    Copy the full SHA
    a18c481 View commit details
    Browse the repository at this point in the history

  2. fix a mis-encoding in three tests 

    Three wrongly hand-crafted bit-vector constants are fixed.  Bit-vector
constants are hex, and must not use leading zeros.
    @kroening
    kroening committed Jan 6, 2024
    Configuration menu
    Copy the full SHA
    9002f8e View commit details
    Browse the repository at this point in the history

  3. add nullary_exprt::check(expr) 

    This adds nullary_exprt::check(expr), which checks that the expression is
indeed nullary.  This follows the same pattern as binary_exprt::check and
ternary_exprt::check.
    @kroening
    kroening committed Jan 6, 2024
    Configuration menu
    Copy the full SHA
    550251b View commit details
    Browse the repository at this point in the history