2026-06-24 12:11.36: New job: build alt-ergo-free.2.0.0 (ae7ccad1d910)
2026-06-24 12:11.36: Waiting for resource in pool day11-builds
2026-06-24 13:36.09: Got resource from pool day11-builds
2026-06-24 13:36.09: [profile full] build alt-ergo-free.2.0.0
2026-06-24 13:36.09: build alt-ergo-free.2.0.0 (ae7ccad1d910)
=== DEPENDENCIES (17 transitive) ===
  base-threads.base                                  c9e7bdbf5823
  base-unix.base                                     7d1428be9ddb
  camlzip.1.07                                       2fd78855ac76
  conf-autoconf.0.2                                  676e4452dc37
  conf-gmp.5                                         be11edf77089
  conf-pkg-config.5                                  d5de2c6a88f9
  dune.3.23.1                                        848a72441e15
  menhir.20211128                                    4d375e46691e
  menhirLib.20211128                                 84dec646e3db
  menhirSdk.20211128                                 fab0287522a3
  num.1.6                                            110cee7a7e2e
  ocaml.4.14.4                                       b047fb9251f4
  ocaml-base-compiler.4.14.4                         d3b7ccb2c6fb
  ocaml-config.2                                     2d9c209f5590
  ocamlfind.1.9.8                                    214dd418ac02
  ocplib-simplex.0.4.1                               176009ccfa7b
  zarith.1.14                                        a8971d2f668c
=== STDOUT ===
Processing: [default: loading data]
[alt-ergo-free.2.0.0: dl]
[alt-ergo-free.2.0.0: extract]
[alt-ergo-free.2.0.0/makefile.user_replace_echo_by_printf.patch: dl]
[alt-ergo-free.2.0.0/patch_for_changes_in_num_library.patch: dl]
-> retrieved alt-ergo-free.2.0.0  (https://opam.ocaml.org/cache)
[alt-ergo-free: patch] applying makefile.user_replace_echo_by_printf.patch
[alt-ergo-free: patch] applying patch_for_changes_in_num_library.patch
[alt-ergo-free: autoconf]
+ /usr/bin/autoconf  (CWD=/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.0.0)
- configure.in:315: warning: AC_OUTPUT should be used without arguments.
- configure.in:315: You should run autoupdate.
[alt-ergo-free: ./configure]
+ /home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.0.0/./configure "-prefix" "/home/opam/.opam/default" (CWD=/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.0.0)
- checking for ocp-ocamlc... no
- checking for ocamlc... ocamlc
- ocaml version is 4.14.4
- ocaml library path is /home/opam/.opam/default/lib/ocaml
- checking for ocamlfind... yes
- ocamlfind found zarith in -I /home/opam/.opam/default/lib/zarith
- ocamlfind found num in -I /home/opam/.opam/default/lib/num
- ocamlfind found camlzip in -I /home/opam/.opam/default/lib/camlzip/../zip
- ocamlfind found ocplib-simplex in -I /home/opam/.opam/default/lib/ocplib-simplex
- checking for ocp-ocamlopt... no
- checking for ocamlopt... ocamlopt
- checking ocamlopt version... ok
- checking for ocp-ocamlc.opt... no
- checking for ocamlc.opt... ocamlc.opt
- checking ocamlc.opt version... ok
- checking for ocp-ocamlopt.opt... no
- checking for ocamlopt.opt... ocamlopt.opt
- checking ocamlc.opt version... ok
- checking for ocamldep... ocamldep
- checking for ocamllex... ocamllex
- checking for ocamllex.opt... ocamllex.opt
- checking for menhir... menhir
- ocamlfind: Package `lablgtk2.sourceview2' not found
- checking for /home/opam/.opam/default/lib/ocaml/lablgtk2/lablgtksourceview2.cma... no
- Will not be able to compile GUI. Please install the *liblablgtksourceview2-ocaml-dev* Debian package - or use the GODI caml package system *http://godi.ocaml-programming.de/* - or compile from sources *http://wwwfun.kurims.kyoto-u.ac.jp/soft/lsl/lablgtk.html*
- checking for ocamlweb... true
- checking platform... configure: creating ./config.status
- config.status: creating Makefile.configurable
- config.status: WARNING:  'Makefile.configurable.in' seems to ignore the --datarootdir setting
[alt-ergo-free: make]
+ /usr/bin/make  (CWD=/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.0.0)
- menhir -v parsers/why/why_parser.mly 
- ocamllex.opt parsers/why/why_lexer.mll > /dev/null
- ocamldep -slash -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/util/*.ml* lib/structures/*.ml* lib/reasoners/*.ml* lib/frontend/*.ml* tools/text/*.ml* \
-         tools/gui/*.ml* parsers/why/*.ml* plugins/common/*ml* plugins/satML/*ml* plugins/fm-simplex/*ml* > .depend
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith   -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/util/config.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith   -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/util/version.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith   -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/util/version.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith   -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/util/emap.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith   -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/util/emap.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith   -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/util/myUnix.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith   -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/util/myUnix.ml
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.0.0/lib/util/myUnix.ml", line 19, characters 7-22:
- 19 |     if Pervasives.(<>) timelimit 0. then
-             ^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
- 
- If you need to stay compatible with OCaml < 4.07, you can use the 
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith   -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/util/myDynlink.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith   -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/util/myDynlink.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith   -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/util/myZip.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith   -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/util/myZip.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith   -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/util/util.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith   -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/util/util.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith   -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/util/lists.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith   -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/util/lists.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith   -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/util/numbersInterface.mli
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith   -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/util/numsNumbers.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith   -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/util/numsNumbers.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith   -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/util/zarithNumbers.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith   -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/util/zarithNumbers.ml
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.0.0/lib/util/zarithNumbers.ml", line 156, characters 16-30:
- 156 |     let abs_n = Pervasives.abs n in
-                       ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
- 
- If you need to stay compatible with OCaml < 4.07, you can use the 
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith   -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/util/numbers.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith   -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/util/numbers.ml
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.0.0/lib/util/numbers.ml", line 50, characters 13-27:
- 50 |           if Pervasives.(<) v min_float then min_float
-                   ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
- 
- If you need to stay compatible with OCaml < 4.07, you can use the 
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.0.0/lib/util/numbers.ml", line 51, characters 18-32:
- 51 |           else if Pervasives.(>) v max_float then max_float
-                        ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
- 
- If you need to stay compatible with OCaml < 4.07, you can use the 
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith   -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/util/options.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith   -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/util/options.ml
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.0.0/lib/util/options.ml", line 30, characters 20-70:
- 30 |   [@ocaml.ppwarning "Options: should not parse args here in 'lib mod'"]
-                          ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 22 [preprocessor]: Options: should not parse args here in 'lib mod'
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.0.0/lib/util/options.ml", line 568, characters 33-51:
- 568 | let compare  (a: int) (b: int) = Pervasives.compare a b
-                                        ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
- 
- If you need to stay compatible with OCaml < 4.07, you can use the 
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith   -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/util/cmdline_parser.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith   -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/util/timers.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith   -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/util/timers.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith   -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/util/gc_debug.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith   -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/util/gc_debug.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith   -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/util/loc.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith   -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/util/loc.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith   -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/util/hconsing.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith   -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/util/hconsing.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith   -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/util/hstring.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith   -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/util/hstring.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith   -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/structures/ty.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith   -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/structures/ty.ml
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.0.0/lib/structures/ty.ml", line 206, characters 33-51:
- 206 |     | Tvar{v=v1} , Tvar{v=v2} -> Pervasives.compare v1 v2
-                                        ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
- 
- If you need to stay compatible with OCaml < 4.07, you can use the 
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.0.0/lib/structures/ty.ml", line 229, characters 17-35:
- 229 |     | t1 , t2 -> Pervasives.compare t1 t2
-                        ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
- 
- If you need to stay compatible with OCaml < 4.07, you can use the 
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.0.0/lib/structures/ty.ml", line 272, characters 52-70:
- 272 | module M = Map.Make(struct type t=int let compare = Pervasives.compare end)
-                                                           ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
- 
- If you need to stay compatible with OCaml < 4.07, you can use the 
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.0.0/lib/structures/ty.ml", line 341, characters 30-48:
- 341 | let compare_subst = M.compare Pervasives.compare
-                                     ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
- 
- If you need to stay compatible with OCaml < 4.07, you can use the 
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.0.0/lib/structures/ty.ml", line 343, characters 26-40:
- 343 | let equal_subst = M.equal Pervasives.(=)
-                                 ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
- 
- If you need to stay compatible with OCaml < 4.07, you can use the 
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.0.0/lib/structures/ty.ml", line 384, characters 45-63:
- 384 |   Set.Make(struct type t = int let compare = Pervasives.compare end)
-                                                    ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
- 
- If you need to stay compatible with OCaml < 4.07, you can use the 
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith   -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/structures/symbols.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith   -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/structures/symbols.ml
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.0.0/lib/structures/symbols.ml", line 118, characters 10-28:
- 118 |   | _  -> Pervasives.compare s1 s2
-                 ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
- 
- If you need to stay compatible with OCaml < 4.07, you can use the 
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith   -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/structures/term.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith   -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/structures/term.ml
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.0.0/lib/structures/term.ml", line 273, characters 4-18:
- 273 |     Pervasives.(=) (String.sub (Sy.to_string v.f) 0 4) "_sko"
-           ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
- 
- If you need to stay compatible with OCaml < 4.07, you can use the 
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.0.0/lib/structures/term.ml", line 341, characters 6-20:
- 341 |   try Pervasives.(=) (String.sub (Hstring.view h) 0 6) "model:"
-             ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
- 
- If you need to stay compatible with OCaml < 4.07, you can use the 
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith   -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/structures/literal.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith   -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/structures/literal.ml
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.0.0/lib/structures/literal.ml", line 98, characters 22-40:
- 98 |   let compare a1 a2 = Pervasives.compare a1.tpos a2.tpos
-                            ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
- 
- If you need to stay compatible with OCaml < 4.07, you can use the 
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith   -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/structures/formula.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith   -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/structures/formula.ml
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.0.0/lib/structures/formula.ml", line 112, characters 10-28:
- 112 |   let c = Pervasives.compare (size f1) (size f2) in
-                 ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
- 
- If you need to stay compatible with OCaml < 4.07, you can use the 
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.0.0/lib/structures/formula.ml", line 113, characters 14-32:
- 113 |   if c=0 then Pervasives.compare v1.tag v2.tag else c
-                     ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
- 
- If you need to stay compatible with OCaml < 4.07, you can use the 
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.0.0/lib/structures/formula.ml", line 772, characters 6-20:
- 772 |   try Pervasives.(=) (String.sub (Hstring.view h) 0 6) "model:"
-             ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
- 
- If you need to stay compatible with OCaml < 4.07, you can use the 
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith   -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/structures/explanation.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith   -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/structures/explanation.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith   -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/structures/exception.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith   -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/structures/exception.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith   -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/structures/parsed.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith   -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/structures/parsed.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith   -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/structures/errors.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith   -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/structures/errors.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith   -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/structures/typed.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith   -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/structures/typed.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith   -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/structures/fpa_rounding.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith   -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/structures/fpa_rounding.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith   -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/structures/commands.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith   -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/structures/commands.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith   -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/structures/profiling.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith   -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/structures/profiling.ml
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.0.0/lib/structures/profiling.ml", line 89, characters 7-21:
- 89 |     if Pervasives.(>) v 0. then v else -. v
-             ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
- 
- If you need to stay compatible with OCaml < 4.07, you can use the 
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.0.0/lib/structures/profiling.ml", line 636, characters 5-19:
- 636 |   if Pervasives.(=) v 0. then fprintf fmt "--     "
-            ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
- 
- If you need to stay compatible with OCaml < 4.07, you can use the 
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.0.0/lib/structures/profiling.ml", line 637, characters 10-24:
- 637 |   else if Pervasives.(<) v 10. then fprintf fmt "%0.5f" v
-                 ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
- 
- If you need to stay compatible with OCaml < 4.07, you can use the 
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.0.0/lib/structures/profiling.ml", line 638, characters 10-24:
- 638 |   else if Pervasives.(<) v 100. then fprintf fmt "%0.4f" v
-                 ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
- 
- If you need to stay compatible with OCaml < 4.07, you can use the 
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith   -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/reasoners/matching_types.mli
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith   -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/reasoners/sig.mli
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith   -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/reasoners/matching.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith   -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/reasoners/matching.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith   -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/reasoners/use.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith   -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/reasoners/use.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith   -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/reasoners/ac.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith   -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/reasoners/ac.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith   -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/reasoners/uf.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith   -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/reasoners/uf.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith   -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/reasoners/sum.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith   -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/reasoners/sum.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith   -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/reasoners/records.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith   -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/reasoners/records.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith   -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/reasoners/polynome.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith   -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/reasoners/polynome.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith   -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/reasoners/bitv.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith   -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/reasoners/bitv.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith   -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/reasoners/arrays.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith   -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/reasoners/arrays.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith   -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/reasoners/intervals.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith   -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/reasoners/intervals.ml
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.0.0/lib/reasoners/intervals.ml", line 981, characters 19-32:
- 981 |   let zero_inf_r = new_borne_inf Ex.empty Q.zero true (undefined Ty.Treal) in
-                          ^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label is_le was omitted in the application of this function.
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.0.0/lib/reasoners/intervals.ml", line 982, characters 19-32:
- 982 |   let zero_inf_i = new_borne_inf Ex.empty Q.zero true (undefined Ty.Tint) in
-                          ^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label is_le was omitted in the application of this function.
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith   -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/reasoners/inequalities.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith   -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/reasoners/inequalities.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith   -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/reasoners/intervalCalculus.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith   -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/reasoners/intervalCalculus.ml
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.0.0/lib/reasoners/intervalCalculus.ml", line 895, characters 3-18:
- 895 | 	  I.new_borne_sup expl b is_le uints
-       	  ^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label is_le was omitted in the application of this function.
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.0.0/lib/reasoners/intervalCalculus.ml", line 897, characters 3-18:
- 897 | 	  I.new_borne_inf expl b is_le uints in
-       	  ^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label is_le was omitted in the application of this function.
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.0.0/lib/reasoners/intervalCalculus.ml", line 915, characters 12-27:
- 915 |             I.new_borne_inf expl c is_le (I.undefined ty)
-                   ^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label is_le was omitted in the application of this function.
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.0.0/lib/reasoners/intervalCalculus.ml", line 917, characters 5-20:
- 917 | 	    I.new_borne_sup expl c is_le (I.undefined ty) in
-       	    ^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label is_le was omitted in the application of this function.
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.0.0/lib/reasoners/intervalCalculus.ml", line 1148, characters 12-16:
- 1148 |             func (Explanation.union ineq_ex ex_b) b is_le ix
-                    ^^^^
- Warning 6 [labels-omitted]: label is_le was omitted in the application of this function.
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.0.0/lib/reasoners/intervalCalculus.ml", line 1181, characters 12-16:
- 1181 |             func (Explanation.union ineq_ex ex_b) b is_le ip
-                    ^^^^
- Warning 6 [labels-omitted]: label is_le was omitted in the application of this function.
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.0.0/lib/reasoners/intervalCalculus.ml", line 1854, characters 16-34:
- 1854 |       let res = default_case_split env uf for_model in
-                        ^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label for_model was omitted in the application of this function.
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.0.0/lib/reasoners/intervalCalculus.ml", line 1892, characters 32-77:
- 1892 |               [@ocaml.ppwarning "TODO: find an example triggering this case!"]
-                                        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 22 [preprocessor]: TODO: find an example triggering this case!
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith   -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/reasoners/arith.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith   -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/reasoners/arith.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith   -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/reasoners/combine.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith   -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/reasoners/combine.ml
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.0.0/lib/reasoners/combine.ml", lines 484-485, characters 30-55:
- 484 | .............................."TODO: a simple way of handling equalities \
- 485 | with void and unit is to add this case is the solver !".
- Warning 22 [preprocessor]: TODO: a simple way of handling equalities with void and unit is to add this case is the solver !
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.0.0/lib/reasoners/combine.ml", line 774, characters 15-30:
- 774 |     let seq1 = Rel1.case_split env.r1 uf for_model in
-                      ^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label for_model was omitted in the application of this function.
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.0.0/lib/reasoners/combine.ml", line 775, characters 15-30:
- 775 |     let seq2 = Rel2.case_split env.r2 uf for_model in
-                      ^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label for_model was omitted in the application of this function.
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.0.0/lib/reasoners/combine.ml", line 776, characters 15-30:
- 776 |     let seq3 = Rel3.case_split env.r3 uf for_model in
-                      ^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label for_model was omitted in the application of this function.
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.0.0/lib/reasoners/combine.ml", line 777, characters 15-30:
- 777 |     let seq4 = Rel4.case_split env.r4 uf for_model in
-                      ^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label for_model was omitted in the application of this function.
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.0.0/lib/reasoners/combine.ml", line 778, characters 15-30:
- 778 |     let seq5 = Rel5.case_split env.r5 uf for_model in
-                      ^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label for_model was omitted in the application of this function.
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith   -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/reasoners/ccx.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith   -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/reasoners/ccx.ml
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.0.0/lib/reasoners/ccx.ml", line 615, characters 10-24:
- 615 |     match Rel.case_split env.relation env.uf for_model with
-                 ^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label for_model was omitted in the application of this function.
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith   -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/reasoners/theory.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith   -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/reasoners/theory.ml
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.0.0/lib/reasoners/theory.ml", line 323, characters 30-45:
- 323 |             let l, base_env = CC_X.case_split base_env for_model in
-                                     ^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label for_model was omitted in the application of this function.
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.0.0/lib/reasoners/theory.ml", line 408, characters 25-37:
- 408 | 	if t.choices == [] then look_for_sat [] t t.gamma [] for_model
-       	                        ^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label for_model was omitted in the application of this function.
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.0.0/lib/reasoners/theory.ml", line 412, characters 5-17:
- 412 | 	    look_for_sat ch t env [] for_model
-       	    ^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label for_model was omitted in the application of this function.
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith   -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/reasoners/instances.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith   -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/reasoners/instances.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith   -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/reasoners/sat_solver_sig.mli
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith   -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/reasoners/fun_sat.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith   -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/reasoners/fun_sat.ml
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.0.0/lib/reasoners/fun_sat.ml", line 73, characters 31-46:
- 73 |           stable := !stable && Pervasives.(<=) w 1e100;
-                                     ^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
- 
- If you need to stay compatible with OCaml < 4.07, you can use the 
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.0.0/lib/reasoners/fun_sat.ml", line 99, characters 18-36:
- 99 |           let c = Pervasives.compare b2 b1 in
-                        ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
- 
- If you need to stay compatible with OCaml < 4.07, you can use the 
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.0.0/lib/reasoners/fun_sat.ml", line 101, characters 15-33:
- 101 |           else Pervasives.compare x2 x1
-                      ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
- 
- If you need to stay compatible with OCaml < 4.07, you can use the 
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.0.0/lib/reasoners/fun_sat.ml", line 967, characters 4-19:
- 967 |     Pervasives.(<>) (Options.interpretation_timelimit ()) 0. then
-           ^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
- 
- If you need to stay compatible with OCaml < 4.07, you can use the 
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.0.0/lib/reasoners/fun_sat.ml", line 1422, characters 13-24:
- 1422 |   let tbox = Th.add_term tbox Term.vrai true in
-                     ^^^^^^^^^^^
- Warning 6 [labels-omitted]: label add_in_cs was omitted in the application of this function.
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.0.0/lib/reasoners/fun_sat.ml", line 1423, characters 13-24:
- 1423 |   let tbox = Th.add_term tbox Term.faux true in
-                     ^^^^^^^^^^^
- Warning 6 [labels-omitted]: label add_in_cs was omitted in the application of this function.
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith   -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/reasoners/sat_solver.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith   -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/reasoners/sat_solver.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith   -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/frontend/triggers.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith   -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/frontend/triggers.ml
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.0.0/lib/frontend/triggers.ml", line 37, characters 54-72:
- 37 | module Vtype = Set.Make(struct type t=int let compare=Pervasives.compare end)
-                                                            ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
- 
- If you need to stay compatible with OCaml < 4.07, you can use the 
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.0.0/lib/frontend/triggers.ml", line 54, characters 17-35:
- 54 |       | x , y -> Pervasives.compare x y
-                       ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
- 
- If you need to stay compatible with OCaml < 4.07, you can use the 
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.0.0/lib/frontend/triggers.ml", line 59, characters 9-27:
- 59 | 	let c = Pervasives.compare x y in if c=0 then compare_list l1 l2 else c
-      	        ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
- 
- If you need to stay compatible with OCaml < 4.07, you can use the 
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.0.0/lib/frontend/triggers.ml", line 79, characters 11-29:
- 79 |     | _ -> Pervasives.compare c1 c2
-                 ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
- 
- If you need to stay compatible with OCaml < 4.07, you can use the 
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.0.0/lib/frontend/triggers.ml", line 155, characters 28-46:
- 155 |       if c <> 0 then c else Pervasives.compare (a1, b1, c1, d1) (a2, b2, c2, d2)
-                                   ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
- 
- If you need to stay compatible with OCaml < 4.07, you can use the 
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.0.0/lib/frontend/triggers.ml", line 193, characters 14-32:
- 193 |       let c = Pervasives.compare a1 a2 in
-                     ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
- 
- If you need to stay compatible with OCaml < 4.07, you can use the 
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith   -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/frontend/typechecker.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith   -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/frontend/typechecker.ml
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.0.0/lib/frontend/typechecker.ml", line 39, characters 48-66:
- 39 |   Map.Make(struct type t = string let compare = Pervasives.compare end)
-                                                      ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
- 
- If you need to stay compatible with OCaml < 4.07, you can use the 
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.0.0/lib/frontend/typechecker.ml", line 81, characters 30-44:
- 81 |          | PPTvarid (y, _) -> Pervasives.(=) x y
-                                    ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
- 
- If you need to stay compatible with OCaml < 4.07, you can use the 
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.0.0/lib/frontend/typechecker.ml", line 100, characters 35-49:
- 100 |     | PPTexternal (l, s, loc) when Pervasives.(=) s "farray" ->
-                                          ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
- 
- If you need to stay compatible with OCaml < 4.07, you can use the 
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.0.0/lib/frontend/typechecker.ml", line 111, characters 28-42:
- 111 | 	| Some (id, vars, ty) when Pervasives.(=) s id &&
-       	                           ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
- 
- If you need to stay compatible with OCaml < 4.07, you can use the 
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.0.0/lib/frontend/typechecker.ml", line 739, characters 7-21:
- 739 | 		  if Pervasives.(=) p "<=" || Pervasives.(=) p "<" then
-       		     ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
- 
- If you need to stay compatible with OCaml < 4.07, you can use the 
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.0.0/lib/frontend/typechecker.ml", line 739, characters 32-46:
- 739 | 		  if Pervasives.(=) p "<=" || Pervasives.(=) p "<" then
-       		                              ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
- 
- If you need to stay compatible with OCaml < 4.07, you can use the 
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.0.0/lib/frontend/typechecker.ml", line 1726, characters 6-20:
- 1726 |   try Pervasives.(=) (String.sub s 0 2) "@L" with Invalid_argument _ -> false
-              ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
- 
- If you need to stay compatible with OCaml < 4.07, you can use the 
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.0.0/lib/frontend/typechecker.ml", line 1729, characters 6-20:
- 1729 |   try Pervasives.(=) (String.sub s 0 2) "@H" with Invalid_argument _ -> false
-              ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
- 
- If you need to stay compatible with OCaml < 4.07, you can use the 
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith   -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/frontend/cnf.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith   -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/frontend/cnf.ml
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.0.0/lib/frontend/cnf.ml", lines 42-43, characters 20-65:
- 42 | ...................."TODO: Change Symbols.Float to store FP numeral \
- 43 |    constants (eg, <24, -149> for single) instead of having terms".
- Warning 22 [preprocessor]: TODO: Change Symbols.Float to store FP numeral constants (eg, <24, -149> for single) instead of having terms
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith   -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/frontend/parsed_interface.mli
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.0.0/lib/frontend/parsed_interface.mli", line 17, characters 20-77:
- 17 |   [@ocaml.ppwarning "TODO: add documentation for every function in this file"]
-                          ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 22 [preprocessor]: TODO: add documentation for every function in this file
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith   -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/frontend/parsed_interface.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith   -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/frontend/frontend.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith   -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/frontend/frontend.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith   -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/frontend/parsers.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith   -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/frontend/parsers.ml
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.0.0/lib/frontend/parsers.ml", line 39, characters 20-70:
- 39 |   [@ocaml.ppwarning "TODO: add the ability to add parsers dynamically"]
-                          ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 22 [preprocessor]: TODO: add the ability to add parsers dynamically
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.0.0/lib/frontend/parsers.ml", line 104, characters 9-24:
- 104 |       if Pervasives.(<>) file "" then
-                ^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
- 
- If you need to stay compatible with OCaml < 4.07, you can use the 
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith   -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex parsers/why/why_parser.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith   -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo parsers/why/why_parser.ml
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith   -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo parsers/why/why_lexer.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith   -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex tools/text/main_text.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith   -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo tools/text/main_text.ml
- ocamlopt.opt -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith   -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo -o alt-ergo.opt zarith.cmxa nums.cmxa unix.cmxa dynlink.cmxa str.cmxa zip.cmxa ocplibSimplex.cmxa lib/util/config.cmx lib/util/version.cmx lib/util/emap.cmx lib/util/myUnix.cmx lib/util/myDynlink.cmx lib/util/myZip.cmx lib/util/util.cmx lib/util/lists.cmx lib/util/numsNumbers.cmx lib/util/zarithNumbers.cmx lib/util/numbers.cmx lib/util/options.cmx lib/util/cmdline_parser.cmx lib/util/timers.cmx lib/util/gc_debug.cmx lib/util/loc.cmx lib/util/hconsing.cmx lib/util/hstring.cmx lib/structures/exception.cmx lib/structures/symbols.cmx lib/structures/ty.cmx lib/structures/parsed.cmx lib/structures/errors.cmx lib/structures/typed.cmx lib/structures/term.cmx lib/structures/fpa_rounding.cmx lib/structures/literal.cmx lib/structures/formula.cmx lib/structures/explanation.cmx lib/structures/commands.cmx lib/structures/profiling.cmx lib/reasoners/matching.cmx lib/reasoners/instances.cmx lib/reasoners/polynome.cmx lib/reasoners/ac.cmx lib/reasoners/uf.cmx lib/reasoners/use.cmx lib/reasoners/intervals.cmx lib/reasoners/inequalities.cmx lib/reasoners/intervalCalculus.cmx lib/reasoners/arith.cmx lib/reasoners/records.cmx lib/reasoners/bitv.cmx lib/reasoners/arrays.cmx lib/reasoners/sum.cmx lib/reasoners/combine.cmx lib/reasoners/ccx.cmx lib/reasoners/theory.cmx lib/reasoners/fun_sat.cmx lib/reasoners/sat_solver.cmx lib/frontend/triggers.cmx lib/frontend/typechecker.cmx lib/frontend/cnf.cmx lib/frontend/parsed_interface.cmx lib/frontend/frontend.cmx lib/frontend/parsers.cmx parsers/why/why_parser.cmx parsers/why/why_lexer.cmx tools/text/main_text.cmx
- gui compilation skipped (lablgtksourceview not detected)
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith   -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex plugins/common/vec.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith   -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo plugins/common/vec.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith   -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex plugins/satML/satml.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith   -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo plugins/satML/satml.ml
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.0.0/plugins/satML/satml.ml", line 1264, characters 4-18:
- 1264 |     Pervasives.(<) (Vec.get env.vars j).weight (Vec.get env.vars i).weight
-            ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
- 
- If you need to stay compatible with OCaml < 4.07, you can use the 
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.0.0/plugins/satML/satml.ml", line 1278, characters 7-21:
- 1278 |     if Pervasives.(>) v.weight 1e100 then begin
-               ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
- 
- If you need to stay compatible with OCaml < 4.07, you can use the 
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.0.0/plugins/satML/satml.ml", line 1290, characters 7-21:
- 1290 |     if Pervasives.(>) c.activity 1e20 then begin
-               ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
- 
- If you need to stay compatible with OCaml < 4.07, you can use the 
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.0.0/plugins/satML/satml.ml", line 1597, characters 12-30:
- 1597 |     let c = Pervasives.compare c1.activity c2.activity in
-                    ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
- 
- If you need to stay compatible with OCaml < 4.07, you can use the 
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith   -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex plugins/satML/satml_frontend.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith   -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo plugins/satML/satml_frontend.ml
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.0.0/plugins/satML/satml_frontend.ml", line 308, characters 26-79:
- 308 |         [@ocaml.ppwarning "TODO: modifications made in tbox are lost! improve?"]
-                                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 22 [preprocessor]: TODO: modifications made in tbox are lost! improve?
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.0.0/plugins/satML/satml_frontend.ml", line 306, characters 6-27:
- 306 |       Th.theories_instances
-             ^^^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label do_syntactic_matching was omitted in the application of this function.
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.0.0/plugins/satML/satml_frontend.ml", line 480, characters 16-34:
- 480 |       let res = Pervasives.compare w2 w1 in
-                       ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
- 
- If you need to stay compatible with OCaml < 4.07, you can use the 
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- ocamlopt.opt -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith   -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex  -shared -o satML-plugin.cmxs plugins/common/vec.cmx plugins/satML/satml.cmx plugins/satML/satml_frontend.cmx
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith   -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo plugins/fm-simplex/simplex.ml
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith   -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo plugins/fm-simplex/simplex_cache.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith   -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex plugins/fm-simplex/fmSimplexIneqs.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith   -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo plugins/fm-simplex/fmSimplexIneqs.ml
- ocamlopt.opt -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith   -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex  -shared -o fm-simplex-plugin.cmxs plugins/common/vec.cmx plugins/fm-simplex/simplex_cache.cmx plugins/fm-simplex/simplex.cmx plugins/fm-simplex/fmSimplexIneqs.cmx
-> compiled  alt-ergo-free.2.0.0
[alt-ergo-free: make install]
+ /usr/bin/make "install" "MANDIR=/home/opam/.opam/default/man" (CWD=/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.0.0)
- mkdir -p /home/opam/.opam/default/man/man1
- cp -f doc/alt-ergo.1 /home/opam/.opam/default/man/man1
- mkdir -p /home/opam/.opam/default/lib/alt-ergo/preludes
- cp -f preludes/fpa-theory-2017-01-04-16h00.why /home/opam/.opam/default/lib/alt-ergo/preludes/
- mkdir -p /home/opam/.opam/default/bin
- cp -f alt-ergo.opt /home/opam/.opam/default/bin/alt-ergo
- mkdir -p /home/opam/.opam/default/lib/alt-ergo/plugins
- cp -f fm-simplex-plugin.cmxs /home/opam/.opam/default/lib/alt-ergo/plugins
- mkdir -p /home/opam/.opam/default/lib/alt-ergo/plugins
- cp -f satML-plugin.cmxs /home/opam/.opam/default/lib/alt-ergo/plugins
-> installed alt-ergo-free.2.0.0
[WARNING] Opam packages conf-autoconf.0.2, conf-gmp.5 and conf-pkg-config.5 depend on the following system packages that are no longer installed: autoconf libgmp-dev pkg-config
  - conf-autoconf.0.2: depends on autoconf
  - conf-gmp.5: depends on libgmp-dev
  - conf-pkg-config.5: depends on pkg-config

=== STDERR ===

2026-06-24 13:37.07: OK: build alt-ergo-free.2.0.0 (runc: 44.7s, disk: 100KB)
2026-06-24 13:37.07: Job succeeded