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

Protect make_n_ary() from being called with empty list #1627

Merged
merged 6 commits into from
Jan 28, 2024
Merged

Protect make_n_ary() from being called with empty list #1627

Changes from 1 commit
Commits
Show all changes
6 commits
Select commit Hold shift + click to select a range
fc4b02a
[smt] tuple-node: handle equality on empty structs
fbrausse Jan 27, 2024
7714358
[regression] add case from #1626
fbrausse Jan 27, 2024
195b14f
[smt] replace make_n_ary() API with separate funs for and/or
fbrausse Jan 28, 2024
9eac209
[regression] add case from #1626 with --tuple-sym-flatter
fbrausse Jan 28, 2024
f696a7f
[regression] add KNOWNBUG version of #1626 w/o free()
fbrausse Jan 28, 2024
d47a2f8
Merge remote-tracking branch 'upstream/master' into fb/fix-1626
fbrausse Jan 28, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Merge remote-tracking branch 'upstream/master' into fb/fix-1626
  • Loading branch information
@fbrausse
fbrausse committed Jan 28, 2024
commit d47a2f8bbba5ec725996a54480bac902df902f51

This merge commit was added into this branch cleanly.

There are no new changes to show, but you can still view the diff.