update tests for CI

Lelio-Brun · Jul 2, 2024 · fdef82e · fdef82e
1 parent 5780d82
commit fdef82e
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 12 deletions.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -27,7 +27,7 @@ jobs:
       - name: Install LaTeX
         run: |
           sudo apt-get update
-          sudo apt-get install texlive texlive-latex-extra
+          sudo apt-get install texlive texlive-latex-extra texlive-science
 
       - name: Checkout tree
         uses: actions/checkout@v4

diff --git a/tests/test.ml b/tests/test.ml
@@ -4,7 +4,7 @@ let width = ref 0
 let amount = ref 0
 let tmp = "tmp"
 let prefix = "my_prefix42"
-let verbose = ref false
+let verbose = ref true
 let command cmd = Sys.command (cmd ^ if !verbose then "" else "> /dev/null 2>&1") = 0
 let has_pdflatex = command "command -v pdflatex"
 let is_on_mac =
@@ -18,15 +18,7 @@ let tmppkg = "tmppkg"
 let main = "main"
 
 let too_larges_for_tabular = [
-  "coccinelle.1.0.2-parser_cocci_menhir.mly";
-  "fsharp.mly";
-  "ocaml.mly";
-  "ocaml_parser_menhir.mly";
-  "parser_cocci_menhir.mly";
-  "parser_raw.mly";
-  "reason.3.3.7-reason_parser.mly";
-  "reason_parser.mly";
-  "verilog.mly";
+  "sysver.mly"
 ]
 let too_larges_for_syntax = [
   "coccinelle.1.0.2-parser_cocci_menhir.mly";
@@ -38,7 +30,9 @@ let too_larges_for_syntax = [
   "reason_parser.mly";
   "verilog.mly";
 ]
-let too_larges_for_backnaur = ["sysver.mly"]
+let too_larges_for_backnaur = [
+  "sysver.mly"
+]
 
 type mode =
   | Default