diff options
author | Jiri Slaby <jirislaby@gmail.com> | 2018-01-15 11:07:47 +0100 |
---|---|---|
committer | MartinNowack <martin.nowack@gmail.com> | 2018-10-26 13:31:07 +0100 |
commit | b0a6688ca476a8b7a9f28b762bace09bf5a431f1 (patch) | |
tree | ab1b174500d982efa73c0a1f7c2f25c5a8ec14a7 /.codecov.yml | |
parent | 85b2324dd54e63c49ce4936e6b6b0d4d6535fc05 (diff) | |
download | klee-b0a6688ca476a8b7a9f28b762bace09bf5a431f1.tar.gz |
llvm5: use MutableArrayRef for APFloat::convertToInteger
In llvm 5, since commit 957caa243d9270df37a566aedae3f1244e7b62ef, the first parameter to APFloat::convertToInteger is MutableArrayRef. So handle that. Signed-off-by: Jiri Slaby <jirislaby@gmail.com>
Diffstat (limited to '.codecov.yml')
0 files changed, 0 insertions, 0 deletions