Build:
- 0
2026-06-16 12:54.48: New job: build alt-ergo-free.2.2.0 (620166798851)
2026-06-16 12:54.48: Waiting for resource in pool day11-builds
2026-06-16 14:21.04: Got resource from pool day11-builds
2026-06-16 14:21.04: [profile full] build alt-ergo-free.2.2.0
2026-06-16 14:21.04: build alt-ergo-free.2.2.0 (620166798851)
=== DEPENDENCIES (19 transitive) ===
base-threads.base b7164ff76afe
base-unix.base 839dc585f12d
camlzip.1.14 e242cb4a30b0
conf-autoconf.0.2 b3cd190cf0b5
conf-gmp.5 61e3c79e0ddf
conf-pkg-config.5 64c6b37d622b
conf-zlib.1 6a8e9cb470aa
dune.3.23.1 5402470d931c
menhir.20211128 58c4ad093048
menhirLib.20211128 581f36ec2b3c
menhirSdk.20211128 ba9fa85c2874
num.1.6 480227ca99db
ocaml.4.14.4 cb826ea44eb2
ocaml-base-compiler.4.14.4 d2f775f983d7
ocaml-config.2 669e0fcf9e4d
ocamlfind.1.9.8 6025f4a8e98e
ocplib-simplex.0.4.1 e8755ec4bafa
psmt2-frontend.0.1 642d949493dd
zarith.1.14 cde7973b8292
=== STDOUT ===
Processing: [default: loading data]
[alt-ergo-free.2.2.0: dl]
[alt-ergo-free.2.2.0: extract]
-> retrieved alt-ergo-free.2.2.0 (https://opam.ocaml.org/cache)
[alt-ergo-free: autoconf]
+ /usr/bin/autoconf (CWD=/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.2.0)
- configure.in:328: warning: AC_OUTPUT should be used without arguments.
- configure.in:328: You should run autoupdate.
[alt-ergo-free: ./configure]
+ /home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.2.0/./configure "-prefix" "/home/opam/.opam/default" (CWD=/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.2.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 zip in -I /home/opam/.opam/default/lib/zip
- ocamlfind found ocplib-simplex in -I /home/opam/.opam/default/lib/ocplib-simplex
- ocamlfind found psmt2-frontend in -I /home/opam/.opam/default/lib/psmt2-frontend
- 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.2.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 parsers/smt2 -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* parsers/smt2/*.ml* plugins/fm-simplex/*ml* > .depend
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/util/config.ml
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.2.0/lib/util/config.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/util/version.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/util/version.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/util/emap.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/util/emap.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/util/myUnix.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/util/myUnix.ml
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.2.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 -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/util/myDynlink.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/util/myDynlink.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/util/myZip.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/util/myZip.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/util/util.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/util/util.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/util/lists.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/util/lists.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/util/numbersInterface.mli
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/util/numsNumbers.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/util/numsNumbers.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/util/zarithNumbers.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/util/zarithNumbers.ml
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.2.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 -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/util/numbers.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/util/numbers.ml
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.2.0/lib/util/numbers.ml", line 51, characters 13-27:
- 51 | 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.2.0/lib/util/numbers.ml", line 52, characters 18-32:
- 52 | 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 -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/util/options.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/util/options.ml
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.2.0/lib/util/options.ml", line 905, characters 33-51:
- 905 | 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
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/util/vec.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/util/vec.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/util/iheap.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/util/iheap.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/util/timers.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/util/timers.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/util/gc_debug.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/util/gc_debug.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/util/loc.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/util/loc.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/util/hconsing.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/util/hconsing.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/util/hstring.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/util/hstring.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/structures/ty.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/structures/ty.ml
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.2.0/lib/structures/ty.ml", line 205, characters 33-51:
- 205 | | 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.2.0/lib/structures/ty.ml", line 228, characters 17-35:
- 228 | | 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.2.0/lib/structures/ty.ml", line 271, characters 52-70:
- 271 | 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.2.0/lib/structures/ty.ml", line 343, characters 30-48:
- 343 | 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.2.0/lib/structures/ty.ml", line 345, characters 26-40:
- 345 | 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.2.0/lib/structures/ty.ml", line 386, characters 45-63:
- 386 | 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 -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/structures/symbols.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/structures/symbols.ml
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.2.0/lib/structures/symbols.ml", line 117, characters 10-28:
- 117 | | _ -> 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 -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/structures/term.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/structures/term.ml
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.2.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.2.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 -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/structures/literal.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/structures/literal.ml
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.2.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 -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/structures/formula.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/structures/formula.ml
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.2.0/lib/structures/formula.ml", line 111, characters 10-28:
- 111 | 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.2.0/lib/structures/formula.ml", line 112, characters 14-32:
- 112 | 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.2.0/lib/structures/formula.ml", line 869, characters 6-20:
- 869 | 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 -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/structures/satml_types.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/structures/satml_types.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/structures/explanation.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/structures/explanation.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/structures/exception.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/structures/exception.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/structures/parsed.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/structures/parsed.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/structures/errors.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/structures/errors.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/structures/typed.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/structures/typed.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/structures/fpa_rounding.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/structures/fpa_rounding.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/structures/commands.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/structures/commands.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/structures/profiling.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/structures/profiling.ml
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.2.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.2.0/lib/structures/profiling.ml", line 629, characters 5-19:
- 629 | 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.2.0/lib/structures/profiling.ml", line 630, characters 10-24:
- 630 | 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.2.0/lib/structures/profiling.ml", line 631, characters 10-24:
- 631 | 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 -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/matching_types.mli
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/sig.mli
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/matching.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/matching.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/use.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/use.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/ac.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/ac.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/uf.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/uf.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/sum.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/sum.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/records.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/records.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/polynome.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/polynome.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/ite.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/ite.ml
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.2.0/lib/reasoners/ite.ml", line 75, characters 32-50:
- 75 | if c <> 0 then c else Pervasives.compare b1 b2
- ^^^^^^^^^^^^^^^^^^
- 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 -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/bitv.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/bitv.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/arrays.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/arrays.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/intervals.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/intervals.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/inequalities.mli
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.2.0/lib/reasoners/inequalities.mli", line 79, characters 3-5:
- 79 | (Uf : Uf.S with type r = X.r)
- ^^
- Warning 67 [unused-functor-parameter]: unused functor parameter Uf.
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.2.0/lib/reasoners/inequalities.mli", line 86, characters 5-7:
- 86 | (Uf : Uf.S with type r = X.r)
- ^^
- Warning 67 [unused-functor-parameter]: unused functor parameter Uf.
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/inequalities.ml
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.2.0/lib/reasoners/inequalities.ml", line 87, characters 5-7:
- 87 | (Uf : Uf.S with type r = X.r)
- ^^
- Warning 67 [unused-functor-parameter]: unused functor parameter Uf.
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.2.0/lib/reasoners/inequalities.ml", line 96, characters 5-7:
- 96 | (Uf : Uf.S with type r = X.r)
- ^^
- Warning 60 [unused-module]: unused module Uf.
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/intervalCalculus.mli
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.2.0/lib/reasoners/intervalCalculus.mli", line 32, characters 3-4:
- 32 | (P : Polynome.EXTENDED_Polynome with type r = X.r)
- ^
- Warning 67 [unused-functor-parameter]: unused functor parameter P.
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/intervalCalculus.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/arith.mli
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.2.0/lib/reasoners/arith.mli", line 39, characters 3-4:
- 39 | (P : Polynome.EXTENDED_Polynome with type r = X.r)
- ^
- Warning 67 [unused-functor-parameter]: unused functor parameter P.
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/arith.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/combine.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/combine.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/ccx.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/ccx.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/theory.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/theory.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/instances.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/instances.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/sat_solver_sig.mli
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.2.0/lib/reasoners/sat_solver_sig.mli", line 67, characters 15-17:
- 67 | module Make (Th : Theory.S) : S
- ^^
- Warning 67 [unused-functor-parameter]: unused functor parameter Th.
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/sat_solver_sig.ml
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.2.0/lib/reasoners/sat_solver_sig.ml", line 70, characters 15-17:
- 70 | module Make (Th : Theory.S) : S
- ^^
- Warning 67 [unused-functor-parameter]: unused functor parameter Th.
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/fun_sat.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/fun_sat.ml
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.2.0/lib/reasoners/fun_sat.ml", line 72, characters 34-49:
- 72 | 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.2.0/lib/reasoners/fun_sat.ml", line 98, characters 21-39:
- 98 | 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.2.0/lib/reasoners/fun_sat.ml", line 100, characters 18-36:
- 100 | 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.2.0/lib/reasoners/fun_sat.ml", line 970, characters 7-22:
- 970 | 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
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/satml.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/satml.ml
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.2.0/lib/reasoners/satml.ml", line 354, characters 4-18:
- 354 | 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.2.0/lib/reasoners/satml.ml", line 368, characters 7-21:
- 368 | 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.2.0/lib/reasoners/satml.ml", line 380, characters 7-21:
- 380 | 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.2.0/lib/reasoners/satml.ml", line 864, characters 12-30:
- 864 | 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
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.2.0/lib/reasoners/satml.ml", line 92, characters 8-39:
- 92 | mutable clauses : clause Vec.t;
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 69 [unused-field]: mutable record field clauses is never mutated.
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.2.0/lib/reasoners/satml.ml", line 95, characters 8-39:
- 95 | mutable learnts : clause Vec.t;
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 69 [unused-field]: mutable record field learnts is never mutated.
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.2.0/lib/reasoners/satml.ml", line 104, characters 8-33:
- 104 | mutable vars : var Vec.t;
- ^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 69 [unused-field]: mutable record field vars is never mutated.
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.2.0/lib/reasoners/satml.ml", line 107, characters 8-35:
- 107 | mutable trail : atom Vec.t;
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 69 [unused-field]: mutable record field trail is never mutated.
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.2.0/lib/reasoners/satml.ml", line 110, characters 8-38:
- 110 | mutable trail_lim : int Vec.t;
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 69 [unused-field]: mutable record field trail_lim is never mutated.
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.2.0/lib/reasoners/satml.ml", line 125, characters 8-32:
- 125 | mutable order : Iheap.t;
- ^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 69 [unused-field]: mutable record field order is never mutated.
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.2.0/lib/reasoners/satml.ml", line 128, characters 8-42:
- 128 | mutable progress_estimate : float;
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 69 [unused-field]: record field progress_estimate is never read.
- (However, this field is used to build or mutate values.)
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.2.0/lib/reasoners/satml.ml", line 140, characters 8-36:
- 140 | mutable restart_first : int;
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 69 [unused-field]: mutable record field restart_first is never mutated.
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.2.0/lib/reasoners/satml.ml", line 147, characters 8-42:
- 147 | mutable learntsize_factor : float;
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 69 [unused-field]: mutable record field learntsize_factor is never mutated.
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.2.0/lib/reasoners/satml.ml", line 154, characters 8-31:
- 154 | expensive_ccmin : bool;
- ^^^^^^^^^^^^^^^^^^^^^^^
- Warning 69 [unused-field]: record field expensive_ccmin is never read.
- (However, this field is used to build or mutate values.)
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.2.0/lib/reasoners/satml.ml", line 157, characters 8-29:
- 157 | polarity_mode : bool;
- ^^^^^^^^^^^^^^^^^^^^^
- Warning 69 [unused-field]: record field polarity_mode is never read.
- (However, this field is used to build or mutate values.)
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.2.0/lib/reasoners/satml.ml", line 171, characters 8-35:
- 171 | mutable max_literals : int;
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 69 [unused-field]: record field max_literals is never read.
- (However, this field is used to build or mutate values.)
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.2.0/lib/reasoners/satml.ml", line 173, characters 8-35:
- 173 | mutable tot_literals : int;
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 69 [unused-field]: record field tot_literals is never read.
- (However, this field is used to build or mutate values.)
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.2.0/lib/reasoners/satml.ml", line 179, characters 8-34:
- 179 | mutable model : var Vec.t;
- ^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 69 [unused-field]: mutable record field model is never mutated.
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.2.0/lib/reasoners/satml.ml", line 185, characters 8-40:
- 185 | mutable tenv_queue : Th.t Vec.t;
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 69 [unused-field]: mutable record field tenv_queue is never mutated.
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.2.0/lib/reasoners/satml.ml", line 187, characters 8-44:
- 187 | mutable tatoms_queue : atom Queue.t;
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 69 [unused-field]: mutable record field tatoms_queue is never mutated.
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.2.0/lib/reasoners/satml.ml", line 188, characters 8-43:
- 188 | mutable th_tableaux : atom Queue.t;
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 69 [unused-field]: mutable record field th_tableaux is never mutated.
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/satml_frontend.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/satml_frontend.ml
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.2.0/lib/reasoners/satml_frontend.ml", line 536, characters 16-34:
- 536 | 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
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.2.0/lib/reasoners/satml_frontend.ml", line 925, characters 19-33:
- 925 | let aux mx f = Pervasives.max mx (F.max_term_depth f) 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 -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/sat_solver.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/sat_solver.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/frontend/triggers.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/frontend/triggers.ml
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.2.0/lib/frontend/triggers.ml", line 36, characters 54-72:
- 36 | 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.2.0/lib/frontend/triggers.ml", line 53, characters 17-35:
- 53 | | 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.2.0/lib/frontend/triggers.ml", line 58, characters 9-27:
- 58 | 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.2.0/lib/frontend/triggers.ml", line 78, characters 11-29:
- 78 | | _ -> 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.2.0/lib/frontend/triggers.ml", line 156, characters 28-46:
- 156 | 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.2.0/lib/frontend/triggers.ml", line 194, characters 14-32:
- 194 | 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 -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/frontend/cnf.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/frontend/cnf.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/frontend/typechecker.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/frontend/typechecker.ml
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.2.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.2.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.2.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.2.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.2.0/lib/frontend/typechecker.ml", line 772, characters 17-31:
- 772 | 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.2.0/lib/frontend/typechecker.ml", line 772, characters 42-56:
- 772 | 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.2.0/lib/frontend/typechecker.ml", line 1874, characters 6-20:
- 1874 | 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.2.0/lib/frontend/typechecker.ml", line 1877, characters 6-20:
- 1877 | 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 -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/frontend/parsed_interface.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/frontend/parsed_interface.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/frontend/frontend.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/frontend/frontend.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/frontend/parsers.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/frontend/parsers.ml
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.2.0/lib/frontend/parsers.ml", line 103, characters 9-24:
- 103 | 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 -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib parsers/why/why_parser.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib parsers/why/why_parser.ml
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib parsers/why/why_lexer.ml
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.2.0/parsers/why/why_lexer.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib parsers/smt2/psmt2_to_alt_ergo.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib parsers/smt2/psmt2_to_alt_ergo.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/frontend/parsers_loader.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/frontend/parsers_loader.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib tools/text/main_text.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib tools/text/main_text.ml
- ocamlopt.opt -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib -o alt-ergo.opt zarith.cmxa nums.cmxa unix.cmxa dynlink.cmxa str.cmxa zip.cmxa ocplibSimplex.cmxa psmt2Frontend.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/vec.cmx lib/util/iheap.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/satml_types.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/ite.cmx lib/reasoners/combine.cmx lib/reasoners/ccx.cmx lib/reasoners/theory.cmx lib/reasoners/sat_solver_sig.cmx lib/reasoners/fun_sat.cmx lib/reasoners/satml.cmx lib/reasoners/satml_frontend.cmx lib/reasoners/sat_solver.cmx lib/frontend/triggers.cmx lib/frontend/cnf.cmx lib/frontend/typechecker.cmx lib/frontend/parsed_interface.cmx lib/frontend/frontend.cmx lib/frontend/parsers.cmx parsers/why/why_parser.cmx parsers/why/why_lexer.cmx parsers/smt2/psmt2_to_alt_ergo.cmx lib/frontend/parsers_loader.cmx tools/text/main_text.cmx
- gui compilation skipped (lablgtksourceview not detected)
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib plugins/fm-simplex/simplex.ml
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.2.0/plugins/fm-simplex/simplex.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.2.0/plugins/fm-simplex/simplex.ml", line 351, characters 19-38:
- 351 | let subst_in_p ({a=a ; c=c} as pp) ((s,lhs), {a=rhs_a; c=rhs_c}) =
- ^^^^^^^^^^^^^^^^^^^
- Warning 68 [match-on-mutable-state-prevent-uncurry]: This pattern depends on mutable state.
- It prevents the remaining arguments from being uncurried, which will cause additional closure allocations.
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.2.0/plugins/fm-simplex/simplex.ml", line 521, characters 23-34:
- 521 | let compact_poly_2 {a=a ; c=c} base new_len h_zsbt =
- ^^^^^^^^^^^
- Warning 68 [match-on-mutable-state-prevent-uncurry]: This pattern depends on mutable state.
- It prevents the remaining arguments from being uncurried, which will cause additional closure allocations.
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.2.0/plugins/fm-simplex/simplex.ml", line 533, characters 21-32:
- 533 | let compact_poly {a=a ; c=c} base new_len h_zsbt =
- ^^^^^^^^^^^
- Warning 68 [match-on-mutable-state-prevent-uncurry]: This pattern depends on mutable state.
- It prevents the remaining arguments from being uncurried, which will cause additional closure allocations.
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.2.0/plugins/fm-simplex/simplex.ml", line 639, characters 14-36:
- 639 | let subst ({a2=a2; c2=c2} as pp) lhs {a2=rhs_a2; c2=rhs_c2} =
- ^^^^^^^^^^^^^^^^^^^^^^
- Warning 68 [match-on-mutable-state-prevent-uncurry]: This pattern depends on mutable state.
- It prevents the remaining arguments from being uncurried, which will cause additional closure allocations.
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.2.0/plugins/fm-simplex/simplex.ml", line 706, characters 27-54:
- 706 | let change_pivot ch_vr (old_vr, {a2=old_a; c2=c2}) distr order =
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 68 [match-on-mutable-state-prevent-uncurry]: This pattern depends on mutable state.
- It prevents the remaining arguments from being uncurried, which will cause additional closure allocations.
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.2.0/plugins/fm-simplex/simplex.ml", line 897, characters 25-32:
- 897 | let infos_of distr q {c2=c2} ctx =
- ^^^^^^^
- Warning 68 [match-on-mutable-state-prevent-uncurry]: This pattern depends on mutable state.
- It prevents the remaining arguments from being uncurried, which will cause additional closure allocations.
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.2.0/plugins/fm-simplex/simplex.ml", line 975, characters 17-39:
- 975 | let subst_spec ({a2=a2; c2=c2} as pp) v {a2=rhs_a2; c2=rhs_c2} =
- ^^^^^^^^^^^^^^^^^^^^^^
- Warning 68 [match-on-mutable-state-prevent-uncurry]: This pattern depends on mutable state.
- It prevents the remaining arguments from being uncurried, which will cause additional closure allocations.
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib plugins/fm-simplex/simplex_cache.ml
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.2.0/plugins/fm-simplex/simplex_cache.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib plugins/fm-simplex/fmSimplexIneqs.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib 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/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -shared -o fm-simplex-plugin.cmxs plugins/fm-simplex/simplex_cache.cmx plugins/fm-simplex/simplex.cmx plugins/fm-simplex/fmSimplexIneqs.cmx
-> compiled alt-ergo-free.2.2.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.2.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
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/util/config.ml
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.2.0/lib/util/config.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/util/version.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/util/emap.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/util/myUnix.ml
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.2.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 -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/util/myDynlink.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/util/myZip.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/util/util.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/util/lists.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/util/numsNumbers.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/util/zarithNumbers.ml
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.2.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 -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/util/numbers.ml
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.2.0/lib/util/numbers.ml", line 51, characters 13-27:
- 51 | 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.2.0/lib/util/numbers.ml", line 52, characters 18-32:
- 52 | 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 -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/util/options.ml
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.2.0/lib/util/options.ml", line 905, characters 33-51:
- 905 | 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
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/util/vec.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/util/iheap.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/util/timers.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/util/gc_debug.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/util/loc.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/util/hconsing.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/util/hstring.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/structures/exception.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/structures/symbols.ml
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.2.0/lib/structures/symbols.ml", line 117, characters 10-28:
- 117 | | _ -> 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 -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/structures/ty.ml
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.2.0/lib/structures/ty.ml", line 205, characters 33-51:
- 205 | | 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.2.0/lib/structures/ty.ml", line 228, characters 17-35:
- 228 | | 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.2.0/lib/structures/ty.ml", line 271, characters 52-70:
- 271 | 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.2.0/lib/structures/ty.ml", line 343, characters 30-48:
- 343 | 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.2.0/lib/structures/ty.ml", line 345, characters 26-40:
- 345 | 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.2.0/lib/structures/ty.ml", line 386, characters 45-63:
- 386 | 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 -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/structures/parsed.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/structures/errors.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/structures/typed.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/structures/term.ml
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.2.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.2.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 -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/structures/fpa_rounding.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/structures/literal.ml
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.2.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 -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/structures/formula.ml
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.2.0/lib/structures/formula.ml", line 111, characters 10-28:
- 111 | 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.2.0/lib/structures/formula.ml", line 112, characters 14-32:
- 112 | 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.2.0/lib/structures/formula.ml", line 869, characters 6-20:
- 869 | 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 -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/structures/satml_types.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/structures/explanation.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/structures/commands.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/structures/profiling.ml
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.2.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.2.0/lib/structures/profiling.ml", line 629, characters 5-19:
- 629 | 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.2.0/lib/structures/profiling.ml", line 630, characters 10-24:
- 630 | 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.2.0/lib/structures/profiling.ml", line 631, characters 10-24:
- 631 | 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 -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/matching.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/instances.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/polynome.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/ac.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/uf.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/use.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/intervals.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/inequalities.ml
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.2.0/lib/reasoners/inequalities.ml", line 87, characters 5-7:
- 87 | (Uf : Uf.S with type r = X.r)
- ^^
- Warning 67 [unused-functor-parameter]: unused functor parameter Uf.
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.2.0/lib/reasoners/inequalities.ml", line 96, characters 5-7:
- 96 | (Uf : Uf.S with type r = X.r)
- ^^
- Warning 60 [unused-module]: unused module Uf.
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/intervalCalculus.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/arith.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/records.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/bitv.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/arrays.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/sum.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/ite.ml
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.2.0/lib/reasoners/ite.ml", line 75, characters 32-50:
- 75 | if c <> 0 then c else Pervasives.compare b1 b2
- ^^^^^^^^^^^^^^^^^^
- 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 -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/combine.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/ccx.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/theory.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/sat_solver_sig.ml
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.2.0/lib/reasoners/sat_solver_sig.ml", line 70, characters 15-17:
- 70 | module Make (Th : Theory.S) : S
- ^^
- Warning 67 [unused-functor-parameter]: unused functor parameter Th.
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/fun_sat.ml
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.2.0/lib/reasoners/fun_sat.ml", line 72, characters 34-49:
- 72 | 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.2.0/lib/reasoners/fun_sat.ml", line 98, characters 21-39:
- 98 | 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.2.0/lib/reasoners/fun_sat.ml", line 100, characters 18-36:
- 100 | 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.2.0/lib/reasoners/fun_sat.ml", line 970, characters 7-22:
- 970 | 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
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/satml.ml
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.2.0/lib/reasoners/satml.ml", line 354, characters 4-18:
- 354 | 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.2.0/lib/reasoners/satml.ml", line 368, characters 7-21:
- 368 | 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.2.0/lib/reasoners/satml.ml", line 380, characters 7-21:
- 380 | 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.2.0/lib/reasoners/satml.ml", line 864, characters 12-30:
- 864 | 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
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.2.0/lib/reasoners/satml.ml", line 92, characters 8-39:
- 92 | mutable clauses : clause Vec.t;
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 69 [unused-field]: mutable record field clauses is never mutated.
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.2.0/lib/reasoners/satml.ml", line 95, characters 8-39:
- 95 | mutable learnts : clause Vec.t;
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 69 [unused-field]: mutable record field learnts is never mutated.
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.2.0/lib/reasoners/satml.ml", line 104, characters 8-33:
- 104 | mutable vars : var Vec.t;
- ^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 69 [unused-field]: mutable record field vars is never mutated.
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.2.0/lib/reasoners/satml.ml", line 107, characters 8-35:
- 107 | mutable trail : atom Vec.t;
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 69 [unused-field]: mutable record field trail is never mutated.
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.2.0/lib/reasoners/satml.ml", line 110, characters 8-38:
- 110 | mutable trail_lim : int Vec.t;
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 69 [unused-field]: mutable record field trail_lim is never mutated.
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.2.0/lib/reasoners/satml.ml", line 125, characters 8-32:
- 125 | mutable order : Iheap.t;
- ^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 69 [unused-field]: mutable record field order is never mutated.
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.2.0/lib/reasoners/satml.ml", line 128, characters 8-42:
- 128 | mutable progress_estimate : float;
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 69 [unused-field]: record field progress_estimate is never read.
- (However, this field is used to build or mutate values.)
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.2.0/lib/reasoners/satml.ml", line 140, characters 8-36:
- 140 | mutable restart_first : int;
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 69 [unused-field]: mutable record field restart_first is never mutated.
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.2.0/lib/reasoners/satml.ml", line 147, characters 8-42:
- 147 | mutable learntsize_factor : float;
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 69 [unused-field]: mutable record field learntsize_factor is never mutated.
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.2.0/lib/reasoners/satml.ml", line 154, characters 8-31:
- 154 | expensive_ccmin : bool;
- ^^^^^^^^^^^^^^^^^^^^^^^
- Warning 69 [unused-field]: record field expensive_ccmin is never read.
- (However, this field is used to build or mutate values.)
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.2.0/lib/reasoners/satml.ml", line 157, characters 8-29:
- 157 | polarity_mode : bool;
- ^^^^^^^^^^^^^^^^^^^^^
- Warning 69 [unused-field]: record field polarity_mode is never read.
- (However, this field is used to build or mutate values.)
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.2.0/lib/reasoners/satml.ml", line 171, characters 8-35:
- 171 | mutable max_literals : int;
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 69 [unused-field]: record field max_literals is never read.
- (However, this field is used to build or mutate values.)
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.2.0/lib/reasoners/satml.ml", line 173, characters 8-35:
- 173 | mutable tot_literals : int;
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 69 [unused-field]: record field tot_literals is never read.
- (However, this field is used to build or mutate values.)
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.2.0/lib/reasoners/satml.ml", line 179, characters 8-34:
- 179 | mutable model : var Vec.t;
- ^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 69 [unused-field]: mutable record field model is never mutated.
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.2.0/lib/reasoners/satml.ml", line 185, characters 8-40:
- 185 | mutable tenv_queue : Th.t Vec.t;
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 69 [unused-field]: mutable record field tenv_queue is never mutated.
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.2.0/lib/reasoners/satml.ml", line 187, characters 8-44:
- 187 | mutable tatoms_queue : atom Queue.t;
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 69 [unused-field]: mutable record field tatoms_queue is never mutated.
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.2.0/lib/reasoners/satml.ml", line 188, characters 8-43:
- 188 | mutable th_tableaux : atom Queue.t;
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 69 [unused-field]: mutable record field th_tableaux is never mutated.
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/satml_frontend.ml
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.2.0/lib/reasoners/satml_frontend.ml", line 536, characters 16-34:
- 536 | 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
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.2.0/lib/reasoners/satml_frontend.ml", line 925, characters 19-33:
- 925 | let aux mx f = Pervasives.max mx (F.max_term_depth f) 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 -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/reasoners/sat_solver.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/frontend/triggers.ml
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.2.0/lib/frontend/triggers.ml", line 36, characters 54-72:
- 36 | 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.2.0/lib/frontend/triggers.ml", line 53, characters 17-35:
- 53 | | 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.2.0/lib/frontend/triggers.ml", line 58, characters 9-27:
- 58 | 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.2.0/lib/frontend/triggers.ml", line 78, characters 11-29:
- 78 | | _ -> 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.2.0/lib/frontend/triggers.ml", line 156, characters 28-46:
- 156 | 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.2.0/lib/frontend/triggers.ml", line 194, characters 14-32:
- 194 | 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 -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/frontend/cnf.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/frontend/typechecker.ml
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.2.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.2.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.2.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.2.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.2.0/lib/frontend/typechecker.ml", line 772, characters 17-31:
- 772 | 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.2.0/lib/frontend/typechecker.ml", line 772, characters 42-56:
- 772 | 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.2.0/lib/frontend/typechecker.ml", line 1874, characters 6-20:
- 1874 | 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.2.0/lib/frontend/typechecker.ml", line 1877, characters 6-20:
- 1877 | 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 -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/frontend/parsed_interface.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/frontend/frontend.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib lib/frontend/parsers.ml
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.2.0/lib/frontend/parsers.ml", line 103, characters 9-24:
- 103 | 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 -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib parsers/why/why_parser.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib parsers/why/why_lexer.ml
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo-free.2.2.0/parsers/why/why_lexer.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -for-pack AltErgoLib parsers/smt2/psmt2_to_alt_ergo.ml
- ocamlc.opt -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -pack -o altErgoLib.cmo lib/util/config.cmo lib/util/version.cmo lib/util/emap.cmo lib/util/myUnix.cmo lib/util/myDynlink.cmo lib/util/myZip.cmo lib/util/util.cmo lib/util/lists.cmo lib/util/numsNumbers.cmo lib/util/zarithNumbers.cmo lib/util/numbers.cmo lib/util/options.cmo lib/util/vec.cmo lib/util/iheap.cmo lib/util/timers.cmo lib/util/gc_debug.cmo lib/util/loc.cmo lib/util/hconsing.cmo lib/util/hstring.cmo lib/structures/exception.cmo lib/structures/symbols.cmo lib/structures/ty.cmo lib/structures/parsed.cmo lib/structures/errors.cmo lib/structures/typed.cmo lib/structures/term.cmo lib/structures/fpa_rounding.cmo lib/structures/literal.cmo lib/structures/formula.cmo lib/structures/satml_types.cmo lib/structures/explanation.cmo lib/structures/commands.cmo lib/structures/profiling.cmo lib/reasoners/matching.cmo lib/reasoners/instances.cmo lib/reasoners/polynome.cmo lib/reasoners/ac.cmo lib/reasoners/uf.cmo lib/reasoners/use.cmo lib/reasoners/intervals.cmo lib/reasoners/inequalities.cmo lib/reasoners/intervalCalculus.cmo lib/reasoners/arith.cmo lib/reasoners/records.cmo lib/reasoners/bitv.cmo lib/reasoners/arrays.cmo lib/reasoners/sum.cmo lib/reasoners/ite.cmo lib/reasoners/combine.cmo lib/reasoners/ccx.cmo lib/reasoners/theory.cmo lib/reasoners/sat_solver_sig.cmo lib/reasoners/fun_sat.cmo lib/reasoners/satml.cmo lib/reasoners/satml_frontend.cmo lib/reasoners/sat_solver.cmo lib/frontend/triggers.cmo lib/frontend/cnf.cmo lib/frontend/typechecker.cmo lib/frontend/parsed_interface.cmo lib/frontend/frontend.cmo lib/frontend/parsers.cmo parsers/why/why_parser.cmo parsers/why/why_lexer.cmo parsers/smt2/psmt2_to_alt_ergo.cmo lib/reasoners/sig.cmi
- ocamlc.opt -a -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -o altErgoLib.cma altErgoLib.cmo
- ocamlopt.opt -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -inline 100 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -pack -o altErgoLib.cmx 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/vec.cmx lib/util/iheap.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/satml_types.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/ite.cmx lib/reasoners/combine.cmx lib/reasoners/ccx.cmx lib/reasoners/theory.cmx lib/reasoners/sat_solver_sig.cmx lib/reasoners/fun_sat.cmx lib/reasoners/satml.cmx lib/reasoners/satml_frontend.cmx lib/reasoners/sat_solver.cmx lib/frontend/triggers.cmx lib/frontend/cnf.cmx lib/frontend/typechecker.cmx lib/frontend/parsed_interface.cmx lib/frontend/frontend.cmx lib/frontend/parsers.cmx parsers/why/why_parser.cmx parsers/why/why_lexer.cmx parsers/smt2/psmt2_to_alt_ergo.cmx lib/reasoners/sig.cmi
- ocamlopt.opt -a -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -inline 100 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -o altErgoLib.cmxa altErgoLib.cmx
- ocamlopt.opt -shared -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -inline 100 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/psmt2-frontend -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I parsers/smt2 -I plugins/fm-simplex -o altErgoLib.cmxs altErgoLib.cmx
- OCAMLFIND_DESTDIR=/home/opam/.opam/default/lib \
- ocamlfind install alt-ergo altErgoLib.* META
- Installed /home/opam/.opam/default/lib/alt-ergo/altErgoLib.o
- Installed /home/opam/.opam/default/lib/alt-ergo/altErgoLib.cmxs
- Installed /home/opam/.opam/default/lib/alt-ergo/altErgoLib.cmxa
- Installed /home/opam/.opam/default/lib/alt-ergo/altErgoLib.cmx
- Installed /home/opam/.opam/default/lib/alt-ergo/altErgoLib.cmt
- Installed /home/opam/.opam/default/lib/alt-ergo/altErgoLib.cmo
- Installed /home/opam/.opam/default/lib/alt-ergo/altErgoLib.cmi
- Installed /home/opam/.opam/default/lib/alt-ergo/altErgoLib.cma
- Installed /home/opam/.opam/default/lib/alt-ergo/altErgoLib.a
- Installed /home/opam/.opam/default/lib/alt-ergo/META
-> installed alt-ergo-free.2.2.0
[WARNING] Opam packages conf-autoconf.0.2, conf-gmp.5 and conf-zlib.1 depend on the following system packages that are no longer installed: autoconf libgmp-dev zlib1g-dev
- conf-autoconf.0.2: depends on autoconf
- conf-gmp.5: depends on libgmp-dev
- conf-zlib.1: depends on zlib1g-dev
=== STDERR ===
2026-06-16 14:22.07: OK: build alt-ergo-free.2.2.0 (runc: 50.2s, disk: 179KB)
2026-06-16 14:22.07: Job succeeded