Fix linting issues

Author: NlightNFotis

src/libcprover-rust/include/c_errors.h

@@ -9,10 +9,11 @@
 // in that we don't want to export internal headers to the clients, and our
 // current build system architecture on the C++ end doesn't allow us to do so.
 //
-// At the same time, we want to allow the Rust API to be able to catch at the shim
-// level the errors generated within CBMC, which are C++ types (and subtypes of
-// those), and so because of the mechanism that cxx.rs uses, we need to have the
-// types present at compilation time (an incomplete type won't do - I've tried).
+// At the same time, we want to allow the Rust API to be able to catch at the
+// shimlevel the errors generated within CBMC, which are C++ types (and
+// subtypes of those), and so because of the mechanism that cxx.rs uses, we
+// need to have thetypes present at compilation time (an incomplete type won't
+// do - I've tried).
 //
 // This is the best way that we have currently to be have the type definitions
 // around so that the exception handling code knows what our exceptions look
@@ -23,7 +24,7 @@
 // This should mirror the definition in `util/invariant.h`.
 class invariant_failedt
 {
- private:
+private:
   const std::string file;
   const std::string function;
   const int line;
@@ -56,7 +57,7 @@ class invariant_failedt
 // This is needed here because the original definition is in the file
 // <util/exception_utils.h> which is including <util/source_location.h>, which
 // being an `irep` is a no-go for our needs as we will need to expose internal
-// headers as well. 
+// headers as well.
 class cprover_exception_baset
 {
 public:

src/libcprover-rust/src/c_api.cc

@@ -3,7 +3,9 @@
 // NOLINTNEXTLINE(build/include)
 #include "include/c_api.h"
 
-#include <cprover/api.h>
+// clang-format off
+#include <api.h>
+// clang-format on
 
 #include <algorithm>
 #include <cassert>
@@ -26,6 +28,7 @@ _translate_vector_of_string(rust::Vec<rust::String> elements)
     std::back_inserter(*stdv),
     [](rust::String elem) { return std::string(elem); });
 
+  // NOLINTNEXTLINE(build/deprecated)
   assert(elements.size() == stdv->size());
   return *stdv;
 }

src/libcprover-rust/src/lib.rs

@@ -6,7 +6,7 @@
 pub mod cprover_api {
 
     unsafe extern "C++" {
-        include!("cprover/api.h");
+        include!("api.h");
         include!("include/c_api.h");
 
         /// Central organisational handle of the API. This directly corresponds to the