diff options
author | Andres Noetzli <andres.noetzli@gmail.com> | 2021-09-20 09:22:57 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-09-20 16:22:57 +0000 |
commit | 69fe669d9645f4e311ebd34852066070205b8036 (patch) | |
tree | 2ab928de004637a46c03b3ddd99ae792aa22309b /src/theory/theory_model.cpp | |
parent | 656b13b04627a7c226fb6367ca4323c4971d5f48 (diff) |
Optionally enable interprocedural optimization (#7209)
This commit adds support for enabling interprocedural optimization. The
option is enabled by default for --best builds and cuts down our
executable size from about 33M to 20M.
Diffstat (limited to 'src/theory/theory_model.cpp')
0 files changed, 0 insertions, 0 deletions