Rename entries of CProver API for binaries and libraries in the CMakeLists.txt

Author: NlightNFotis

CMakeLists.txt

@@ -216,8 +216,8 @@ cprover_default_properties(
     cbmc
     cbmc-lib
     cpp
-    api_bin
-    bmc_api
+    api-binary-driver
+    cprover-api
     cprover
     cprover-lib
     crangler

cpp_api/CMakeLists.txt

@@ -1,9 +1,9 @@
 # This step builds a binary driving the API (to be used for testing)
-add_executable(api_bin call_bmc.cpp api.cpp)
-target_link_libraries(api_bin goto-programs util langapi ansi-c)
+add_executable(api-binary-driver call_bmc.cpp api.cpp)
+target_link_libraries(api-binary-driver goto-programs util langapi ansi-c)
 
-# This step builds the API in the form of a statically linked library (libbmc_api.a)
-add_library(bmc_api api.cpp)
-target_link_libraries(bmc_api goto-programs util langapi ansi-c)
+# This step builds the API in the form of a statically linked library (libcprover-api.a)
+add_library(cprover-api api.cpp)
+target_link_libraries(cprover-api goto-programs util langapi ansi-c)
 
-install(TARGETS bmc_api RUNTIME DESTINATION lib)
+install(TARGETS cprover-api RUNTIME DESTINATION lib)