cerc-io/solidity
10
0
Fork 0
mirror of https://github.com/ethereum/solidity synced 2023-10-03 13:03:40 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

SMTChecker: Rename CVC interface files

Browse Source
This commit is contained in:
Martin Blicha 2023-06-02 13:49:29 +02:00
parent 43f7a0f1cb
commit 7323680b08
4 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
libsmtutil/CMakeLists.txt
View File

@ -19,7 +19,7 @@ else()
endif()
if (${CVC5_FOUND})
set(cvc5_SRCS CVC4Interface.cpp CVC4Interface.h)
set(cvc5_SRCS CVC5Interface.cpp CVC5Interface.h)
else()
set(cvc5_SRCS)
endif()

2
libsmtutil/CVC4Interface.cpp → libsmtutil/CVC5Interface.cpp
View File

@ -16,7 +16,7 @@
*/
// SPDX-License-Identifier: GPL-3.0
#include <libsmtutil/CVC4Interface.h>
#include <libsmtutil/CVC5Interface.h>
#include <libsolutil/CommonData.h>
#include <libsolutil/CommonIO.h>

0
libsmtutil/CVC4Interface.h → libsmtutil/CVC5Interface.h
View File

2
libsmtutil/SMTPortfolio.cpp
View File

@ -22,7 +22,7 @@
#include <libsmtutil/Z3Interface.h>
#endif
#ifdef HAVE_CVC5
#include <libsmtutil/CVC4Interface.h>
#include <libsmtutil/CVC5Interface.h>
#endif
#include <libsmtutil/SMTLib2Interface.h>