Update ci.yml

.github/workflows/ci.yml

@@ -59,4 +59,4 @@ jobs:
       run: |
         opam switch ${{ matrix.version }}
         eval $(opam env --switch=${{ matrix.version }})
-        dune runtest && cd cpp && ./test/run_test.py make && ./test/run_test.py for
+        dune runtest && cd cpp && python3 ./test/run_test.py make && python3 ./test/run_test.py for

c-tree-carver.opam

@@ -7,13 +7,14 @@ authors: ["Dhruv Makwana <[email protected]"]
 license: ["MIT" "BSD-2-Clause"]
 tags: ["topics" "c" "clang" "tool" "tree-carving"]
 homepage: "https://github.com/rems-project/c-tree-carver"
+doc: "https://github.com/rems-project/c-tree-carver"
 bug-reports: "https://github.com/rems-project/c-tree-carver/issues"
 depends: [
   "dune" {>= "3.7"}
   "ocaml" {>= "4.14.1"}
   "conf-c++"
   "conf-cmake" {dev}
-  "conf-llvm" {= "15"}
+  "conf-libclang" {= "15"}
   "conf-python-3" {with-test}
   "fileutils" {>= "0.6.4"}
   "shexp" {>= "v0.15.0"}