[PATCH] D79883: Fix Z3 function calls regarding arithmetic operations

[Balázs Benics via Phabricator via llvm-commits]

steakhal added a comment.

It's a huge copy-paste bug. Great job tracking this down.

I've checked several other Z3 API calls with more than 2 arguments.
They all seem to match the API specification.


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D79883/new/

https://reviews.llvm.org/D79883