Skip to content
Snippets Groups Projects
Commit 99383f79 authored by François Bobot's avatar François Bobot
Browse files

Fixes #24

parent 4ee3e1d4
1 merge request!11Fix bug24
Pipeline #32778 passed
Stage: test
    Expand all Hide whitespace changes
    Inline Side-by-side
    Showing
    with 766 additions and 0 deletions
    tests/unsat/bug24.smt2 0 → 100644
    + 766
    − 0
    View file @ 99383f79
    This diff is collapsed.
    0% or .
    You are about to add 0 people to the discussion. Proceed with caution.
    Finish editing this message first!
    Please register or to comment