Change default tricera path to assume that tri is in $PATH

.github/workflows/build.yml

@@ -24,12 +24,16 @@ jobs:
     runs-on: ${{ matrix.os }}
 
     steps:
+      - run: |
+          sudo apt-get update
+          sudo apt-get install -q -y graphviz libgtk-3-dev libgtksourceview-3.0-dev
       - name: Checkout tree
         uses: actions/checkout@v4
       - name: Set-up OCaml ${{ matrix.ocaml-compiler }}
         uses: ocaml/setup-ocaml@v2
         with:
           ocaml-compiler: ${{ matrix.ocaml-compiler }}
-      - run: opam install . --deps-only --with-test
-      - run: opam exec -- dune build
-      - run: opam exec -- dune runtest
+      - run: |
+          opam install . --deps-only --with-test
+          opam exec -- dune build
+          opam exec -- dune runtest

README.md

@@ -4,7 +4,7 @@ This program is licensed under the GPL2 license, see license headers in source c
 and the full license in the LICENSE file.
 
 ACSL Contract inference for helper functions.
-Developed for Frama-C v23.1 but also seems to work for v24.  
+Developed for Frama-C v23.1 but also seems to work for Frama-C versions <= 28.1.
 Please note that the plugin is experimental and still under development so that no results are guaranteed.
 
 

src/options_saida.ml

@@ -44,7 +44,7 @@ module Output_file = Self.String
 module Tricera_path = Self.String
   (struct
     let option_name = "-saida-tricera-path"
-    let default = "~/Documents/tricera/tri"
+    let default = "tri"
     let arg_name = "output_file"
     let help = "Sets the path to the TriCera executable"
   end)