Diff of the two buildlogs:
--
--- b1/build.log 2024-01-09 10:11:52.830387051 +0000
+++ b2/build.log 2024-01-09 10:17:10.586123596 +0000
@@ -1,6 +1,6 @@
I: pbuilder: network access will be disabled during build
-I: Current time: Mon Feb 10 04:33:59 -12 2025
-I: pbuilder-time-stamp: 1739205239
+I: Current time: Wed Jan 10 00:11:59 +14 2024
+I: pbuilder-time-stamp: 1704795119
I: Building the build Environment
I: extracting base tarball [/var/cache/pbuilder/bullseye-reproducible-base.tgz]
I: copying local configuration
@@ -17,7 +17,7 @@
I: copying [./alt-ergo_2.0.0-7.debian.tar.xz]
I: Extracting source
gpgv: unknown type of key resource 'trustedkeys.kbx'
-gpgv: keyblock resource '/tmp/dpkg-verify-sig.9dMJLWIy/trustedkeys.kbx': General error
+gpgv: keyblock resource '/tmp/dpkg-verify-sig.xpsWYnV2/trustedkeys.kbx': General error
gpgv: Signature made Tue Aug 11 08:06:35 2020
gpgv: using RSA key 6DE24E97ECA886CC56E6250E21B8EEF1B1893081
gpgv: Can't check signature: No public key
@@ -30,49 +30,80 @@
dpkg-source: info: applying 0002-Fix-compilation-with-camlzip-1.08.patch
I: Not using root during the build.
I: Installing the build-deps
-I: user script /srv/workspace/pbuilder/4142469/tmp/hooks/D02_print_environment starting
+I: user script /srv/workspace/pbuilder/753193/tmp/hooks/D01_modify_environment starting
+debug: Running on ionos1-amd64.
+I: Changing host+domainname to test build reproducibility
+I: Adding a custom variable just for the fun of it...
+I: Changing /bin/sh to bash
+'/bin/sh' -> '/bin/bash'
+lrwxrwxrwx 1 root root 9 Jan 9 10:12 /bin/sh -> /bin/bash
+I: Setting pbuilder2's login shell to /bin/bash
+I: Setting pbuilder2's GECOS to second user,second room,second work-phone,second home-phone,second other
+I: user script /srv/workspace/pbuilder/753193/tmp/hooks/D01_modify_environment finished
+I: user script /srv/workspace/pbuilder/753193/tmp/hooks/D02_print_environment starting
I: set
- BUILDDIR='/build/reproducible-path'
- BUILDUSERGECOS='first user,first room,first work-phone,first home-phone,first other'
- BUILDUSERNAME='pbuilder1'
- BUILD_ARCH='amd64'
- DEBIAN_FRONTEND='noninteractive'
- DEB_BUILD_OPTIONS='buildinfo=+all reproducible=+all,-fixfilepath parallel=16 '
- DISTRIBUTION='bullseye'
- HOME='/root'
- HOST_ARCH='amd64'
+ BASH=/bin/sh
+ BASHOPTS=checkwinsize:cmdhist:complete_fullquote:extquote:force_fignore:globasciiranges:hostcomplete:interactive_comments:progcomp:promptvars:sourcepath
+ BASH_ALIASES=()
+ BASH_ARGC=()
+ BASH_ARGV=()
+ BASH_CMDS=()
+ BASH_LINENO=([0]="12" [1]="0")
+ BASH_SOURCE=([0]="/tmp/hooks/D02_print_environment" [1]="/tmp/hooks/D02_print_environment")
+ BASH_VERSINFO=([0]="5" [1]="1" [2]="4" [3]="1" [4]="release" [5]="x86_64-pc-linux-gnu")
+ BASH_VERSION='5.1.4(1)-release'
+ BUILDDIR=/build/reproducible-path
+ BUILDUSERGECOS='second user,second room,second work-phone,second home-phone,second other'
+ BUILDUSERNAME=pbuilder2
+ BUILD_ARCH=amd64
+ DEBIAN_FRONTEND=noninteractive
+ DEB_BUILD_OPTIONS='buildinfo=+all reproducible=+all,-fixfilepath parallel=15 '
+ DIRSTACK=()
+ DISTRIBUTION=bullseye
+ EUID=0
+ FUNCNAME=([0]="Echo" [1]="main")
+ GROUPS=()
+ HOME=/root
+ HOSTNAME=i-capture-the-hostname
+ HOSTTYPE=x86_64
+ HOST_ARCH=amd64
IFS='
'
- INVOCATION_ID='9946f38bf37844e7895cb3059c4fdafc'
- LANG='C'
- LANGUAGE='en_US:en'
- LC_ALL='C'
- MAIL='/var/mail/root'
- OPTIND='1'
- PATH='/usr/sbin:/usr/bin:/sbin:/bin:/usr/games'
- PBCURRENTCOMMANDLINEOPERATION='build'
- PBUILDER_OPERATION='build'
- PBUILDER_PKGDATADIR='/usr/share/pbuilder'
- PBUILDER_PKGLIBDIR='/usr/lib/pbuilder'
- PBUILDER_SYSCONFDIR='/etc'
- PPID='4142469'
- PS1='# '
- PS2='> '
+ INVOCATION_ID=f5269a8e46054bcaa000a5acd62ff43c
+ LANG=C
+ LANGUAGE=et_EE:et
+ LC_ALL=C
+ MACHTYPE=x86_64-pc-linux-gnu
+ MAIL=/var/mail/root
+ OPTERR=1
+ OPTIND=1
+ OSTYPE=linux-gnu
+ PATH=/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/i/capture/the/path
+ PBCURRENTCOMMANDLINEOPERATION=build
+ PBUILDER_OPERATION=build
+ PBUILDER_PKGDATADIR=/usr/share/pbuilder
+ PBUILDER_PKGLIBDIR=/usr/lib/pbuilder
+ PBUILDER_SYSCONFDIR=/etc
+ PIPESTATUS=([0]="0")
+ POSIXLY_CORRECT=y
+ PPID=753193
PS4='+ '
- PWD='/'
- SHELL='/bin/bash'
- SHLVL='2'
- SUDO_COMMAND='/usr/bin/timeout -k 18.1h 18h /usr/bin/ionice -c 3 /usr/bin/nice /usr/sbin/pbuilder --build --configfile /srv/reproducible-results/rbuild-debian/r-b-build.Q1cGVGiE/pbuilderrc_rKvp --distribution bullseye --hookdir /etc/pbuilder/first-build-hooks --debbuildopts -b --basetgz /var/cache/pbuilder/bullseye-reproducible-base.tgz --buildresult /srv/reproducible-results/rbuild-debian/r-b-build.Q1cGVGiE/b1 --logfile b1/build.log alt-ergo_2.0.0-7.dsc'
- SUDO_GID='111'
- SUDO_UID='106'
- SUDO_USER='jenkins'
- TERM='unknown'
- TZ='/usr/share/zoneinfo/Etc/GMT+12'
- USER='root'
- _='/usr/bin/systemd-run'
- http_proxy='http://85.184.249.68:3128'
+ PWD=/
+ SHELL=/bin/bash
+ SHELLOPTS=braceexpand:errexit:hashall:interactive-comments:posix
+ SHLVL=3
+ SUDO_COMMAND='/usr/bin/timeout -k 24.1h 24h /usr/bin/ionice -c 3 /usr/bin/nice -n 11 /usr/bin/unshare --uts -- /usr/sbin/pbuilder --build --configfile /srv/reproducible-results/rbuild-debian/r-b-build.Q1cGVGiE/pbuilderrc_HbAe --distribution bullseye --hookdir /etc/pbuilder/rebuild-hooks --debbuildopts -b --basetgz /var/cache/pbuilder/bullseye-reproducible-base.tgz --buildresult /srv/reproducible-results/rbuild-debian/r-b-build.Q1cGVGiE/b2 --logfile b2/build.log alt-ergo_2.0.0-7.dsc'
+ SUDO_GID=110
+ SUDO_UID=105
+ SUDO_USER=jenkins
+ TERM=unknown
+ TZ=/usr/share/zoneinfo/Etc/GMT-14
+ UID=0
+ USER=root
+ _='I: set'
+ http_proxy=http://78.137.99.97:3128
I: uname -a
- Linux ionos15-amd64 6.5.0-0.deb12.4-amd64 #1 SMP PREEMPT_DYNAMIC Debian 6.5.10-1~bpo12+1 (2023-11-23) x86_64 GNU/Linux
+ Linux i-capture-the-hostname 6.1.0-17-amd64 #1 SMP PREEMPT_DYNAMIC Debian 6.1.69-1 (2023-12-30) x86_64 GNU/Linux
I: ls -l /bin
total 5476
-rwxr-xr-x 1 root root 1234376 Mar 27 2022 bash
@@ -132,7 +163,7 @@
-rwxr-xr-x 1 root root 52032 Sep 24 2020 rmdir
-rwxr-xr-x 1 root root 27472 Sep 27 2020 run-parts
-rwxr-xr-x 1 root root 122224 Dec 22 2018 sed
- lrwxrwxrwx 1 root root 4 Feb 8 15:47 sh -> dash
+ lrwxrwxrwx 1 root root 9 Jan 9 10:12 sh -> /bin/bash
-rwxr-xr-x 1 root root 43808 Sep 24 2020 sleep
-rwxr-xr-x 1 root root 84928 Sep 24 2020 stty
-rwsr-xr-x 1 root root 71912 Jan 20 2022 su
@@ -158,7 +189,7 @@
-rwxr-xr-x 1 root root 2206 Apr 10 2022 zless
-rwxr-xr-x 1 root root 1842 Apr 10 2022 zmore
-rwxr-xr-x 1 root root 4577 Apr 10 2022 znew
-I: user script /srv/workspace/pbuilder/4142469/tmp/hooks/D02_print_environment finished
+I: user script /srv/workspace/pbuilder/753193/tmp/hooks/D02_print_environment finished
-> Attempting to satisfy build-dependencies
-> Creating pbuilder-satisfydepends-dummy package
Package: pbuilder-satisfydepends-dummy
@@ -266,7 +297,7 @@
Get: 52 http://deb.debian.org/debian bullseye/main amd64 menhir amd64 20201216-1 [853 kB]
Get: 53 http://deb.debian.org/debian bullseye/main amd64 ocaml-findlib amd64 1.8.1-2 [477 kB]
Get: 54 http://deb.debian.org/debian bullseye/main amd64 ocplib-simplex-ocaml-dev amd64 0.4-2+b1 [270 kB]
-Fetched 129 MB in 1s (89.1 MB/s)
+Fetched 129 MB in 1min 13s (1768 kB/s)
debconf: delaying package configuration, since apt-utils is not installed
Selecting previously unselected package bsdextrautils.
(Reading database ...
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 17743 files and directories currently installed.)
@@ -498,7 +529,11 @@
Building tag database...
-> Finished parsing the build-deps
I: Building the package
-I: Running cd /build/reproducible-path/alt-ergo-2.0.0/ && env PATH="/usr/sbin:/usr/bin:/sbin:/bin:/usr/games" HOME="/nonexistent/first-build" dpkg-buildpackage -us -uc -b && env PATH="/usr/sbin:/usr/bin:/sbin:/bin:/usr/games" HOME="/nonexistent/first-build" dpkg-genchanges -S > ../alt-ergo_2.0.0-7_source.changes
+I: user script /srv/workspace/pbuilder/753193/tmp/hooks/A99_set_merged_usr starting
+Not re-configuring usrmerge for bullseye
+I: user script /srv/workspace/pbuilder/753193/tmp/hooks/A99_set_merged_usr finished
+hostname: Name or service not known
+I: Running cd /build/reproducible-path/alt-ergo-2.0.0/ && env PATH="/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/i/capture/the/path" HOME="/nonexistent/second-build" dpkg-buildpackage -us -uc -b && env PATH="/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/i/capture/the/path" HOME="/nonexistent/second-build" dpkg-genchanges -S > ../alt-ergo_2.0.0-7_source.changes
dpkg-buildpackage: info: source package alt-ergo
dpkg-buildpackage: info: source version 2.0.0-7
dpkg-buildpackage: info: source distribution unstable
@@ -552,644 +587,35 @@
config.status: creating Makefile.configurable
config.status: WARNING: 'Makefile.configurable.in' seems to ignore the --datarootdir setting
dh_auto_build
- make -j16
+ make -j15
make[1]: Entering directory '/build/reproducible-path/alt-ergo-2.0.0'
menhir -v parsers/why/why_parser.mly
menhir -v parsers/why/why_parser.mly
ocamllex.opt parsers/why/why_lexer.mll > /dev/null
ocamldep -slash -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/util/*.ml* lib/structures/*.ml* lib/reasoners/*.ml* lib/frontend/*.ml* tools/text/*.ml* \
tools/gui/*.ml* parsers/why/*.ml* plugins/common/*ml* plugins/satML/*ml* plugins/fm-simplex/*ml* > .depend
-ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/util/config.ml
-ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/util/version.mli
-ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/util/emap.mli
-ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/util/myUnix.mli
-ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/util/myDynlink.mli
-ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/util/myZip.mli
-ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/util/util.mli
-ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/util/lists.mli
-ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/util/numbersInterface.mli
-ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/util/timers.mli
-ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/util/gc_debug.mli
-ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/util/loc.mli
-ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/util/hconsing.mli
-ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex tools/text/main_text.mli
-gui compilation skipped (lablgtksourceview not detected)
-ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex plugins/common/vec.mli
-ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex plugins/fm-simplex/fmSimplexIneqs.mli
-ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/util/version.ml
-ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/util/emap.ml
-ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/util/myUnix.ml
-ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/util/myDynlink.ml
-ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/util/myZip.ml
-ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/util/util.ml
-ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/util/lists.ml
-ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/util/numsNumbers.mli
-ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/util/zarithNumbers.mli
-ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/util/numbers.mli
-ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/util/hstring.mli
-ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/util/numsNumbers.ml
-File "/build/reproducible-path/alt-ergo-2.0.0/lib/util/myUnix.ml", line 19, characters 7-22:
-19 | if Pervasives.(<>) timelimit 0. then
- ^^^^^^^^^^^^^^^
-Alert deprecated: module Stdlib.Pervasives
-Use Stdlib instead.
-
-If you need to stay compatible with OCaml < 4.07, you can use the
-stdlib-shims library: https://github.com/ocaml/stdlib-shims
-ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/util/zarithNumbers.ml
-ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/util/options.mli
-ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/structures/ty.mli
-File "/build/reproducible-path/alt-ergo-2.0.0/lib/util/zarithNumbers.ml", line 156, characters 16-30:
-156 | let abs_n = Pervasives.abs n in
- ^^^^^^^^^^^^^^
-Alert deprecated: module Stdlib.Pervasives
-Use Stdlib instead.
-
-If you need to stay compatible with OCaml < 4.07, you can use the
-stdlib-shims library: https://github.com/ocaml/stdlib-shims
-ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/structures/symbols.mli
-ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/structures/errors.mli
-ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/structures/term.mli
-ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/structures/parsed.mli
-ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/structures/typed.mli
-ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/structures/fpa_rounding.mli
-ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/frontend/parsed_interface.mli
-ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/frontend/parsers.mli
-ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex parsers/why/why_parser.mli
-ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/structures/literal.mli
-ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/util/numbers.ml
-File "/build/reproducible-path/alt-ergo-2.0.0/lib/frontend/parsed_interface.mli", line 17, characters 20-77:
-17 | [@ocaml.ppwarning "TODO: add documentation for every function in this file"]
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
-Warning 22: TODO: add documentation for every function in this file
-ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/frontend/triggers.mli
-ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/frontend/typechecker.mli
-File "/build/reproducible-path/alt-ergo-2.0.0/lib/util/numbers.ml", line 50, characters 13-27:
-50 | if Pervasives.(<) v min_float then min_float
- ^^^^^^^^^^^^^^
-Alert deprecated: module Stdlib.Pervasives
-Use Stdlib instead.
-
-If you need to stay compatible with OCaml < 4.07, you can use the
-stdlib-shims library: https://github.com/ocaml/stdlib-shims
-File "/build/reproducible-path/alt-ergo-2.0.0/lib/util/numbers.ml", line 51, characters 18-32:
-51 | else if Pervasives.(>) v max_float then max_float
- ^^^^^^^^^^^^^^
-Alert deprecated: module Stdlib.Pervasives
-Use Stdlib instead.
-
-If you need to stay compatible with OCaml < 4.07, you can use the
-stdlib-shims library: https://github.com/ocaml/stdlib-shims
-ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/structures/formula.mli
-ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/structures/explanation.mli
-ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/structures/commands.mli
-ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/structures/profiling.mli
-ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/util/options.ml
-ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/structures/exception.mli
-ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/reasoners/matching_types.mli
-ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/reasoners/sat_solver_sig.mli
-ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/frontend/cnf.mli
-File "/build/reproducible-path/alt-ergo-2.0.0/lib/util/options.ml", line 30, characters 20-70:
-30 | [@ocaml.ppwarning "Options: should not parse args here in 'lib mod'"]
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
-Warning 22: Options: should not parse args here in 'lib mod'
-ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/reasoners/fun_sat.mli
-ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/reasoners/sat_solver.mli
-ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/frontend/frontend.mli
-ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex plugins/satML/satml_frontend.mli
-ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/reasoners/sig.mli
-File "/build/reproducible-path/alt-ergo-2.0.0/lib/util/options.ml", line 568, characters 33-51:
-568 | let compare (a: int) (b: int) = Pervasives.compare a b
- ^^^^^^^^^^^^^^^^^^
-Alert deprecated: module Stdlib.Pervasives
-Use Stdlib instead.
-
-If you need to stay compatible with OCaml < 4.07, you can use the
-stdlib-shims library: https://github.com/ocaml/stdlib-shims
-ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/reasoners/matching.mli
-ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/reasoners/use.mli
-ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/reasoners/ac.mli
-ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/reasoners/uf.mli
-ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/reasoners/polynome.mli
-ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/reasoners/intervals.mli
-ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/reasoners/sum.mli
-ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/reasoners/records.mli
-ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/reasoners/bitv.mli
-ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/reasoners/arrays.mli
-ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/reasoners/combine.mli
-ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/reasoners/inequalities.mli
-ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/reasoners/intervalCalculus.mli
-ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/reasoners/arith.mli
-ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/reasoners/ccx.mli
-ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/reasoners/theory.mli
-ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/reasoners/instances.mli
-ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex plugins/satML/satml.mli
-ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/util/cmdline_parser.ml
-ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/util/timers.ml
-ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/util/gc_debug.ml
-ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/util/loc.ml
-ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/util/hconsing.ml
-ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo plugins/common/vec.ml
-ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/util/hstring.ml
-ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo plugins/fm-simplex/simplex.ml
-ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/structures/ty.ml
-File "/build/reproducible-path/alt-ergo-2.0.0/lib/structures/ty.ml", line 206, characters 33-51:
-206 | | Tvar{v=v1} , Tvar{v=v2} -> Pervasives.compare v1 v2
- ^^^^^^^^^^^^^^^^^^
-Alert deprecated: module Stdlib.Pervasives
-Use Stdlib instead.
-
-If you need to stay compatible with OCaml < 4.07, you can use the
-stdlib-shims library: https://github.com/ocaml/stdlib-shims
-File "/build/reproducible-path/alt-ergo-2.0.0/lib/structures/ty.ml", line 229, characters 17-35:
-229 | | t1 , t2 -> Pervasives.compare t1 t2
- ^^^^^^^^^^^^^^^^^^
-Alert deprecated: module Stdlib.Pervasives
-Use Stdlib instead.
-
-If you need to stay compatible with OCaml < 4.07, you can use the
-stdlib-shims library: https://github.com/ocaml/stdlib-shims
-File "/build/reproducible-path/alt-ergo-2.0.0/lib/structures/ty.ml", line 272, characters 52-70:
-272 | module M = Map.Make(struct type t=int let compare = Pervasives.compare end)
- ^^^^^^^^^^^^^^^^^^
-Alert deprecated: module Stdlib.Pervasives
-Use Stdlib instead.
-
-If you need to stay compatible with OCaml < 4.07, you can use the
-stdlib-shims library: https://github.com/ocaml/stdlib-shims
-File "/build/reproducible-path/alt-ergo-2.0.0/lib/structures/ty.ml", line 341, characters 30-48:
-341 | let compare_subst = M.compare Pervasives.compare
- ^^^^^^^^^^^^^^^^^^
-Alert deprecated: module Stdlib.Pervasives
-Use Stdlib instead.
-
-If you need to stay compatible with OCaml < 4.07, you can use the
-stdlib-shims library: https://github.com/ocaml/stdlib-shims
-File "/build/reproducible-path/alt-ergo-2.0.0/lib/structures/ty.ml", line 343, characters 26-40:
-343 | let equal_subst = M.equal Pervasives.(=)
- ^^^^^^^^^^^^^^
-Alert deprecated: module Stdlib.Pervasives
-Use Stdlib instead.
-
-If you need to stay compatible with OCaml < 4.07, you can use the
-stdlib-shims library: https://github.com/ocaml/stdlib-shims
-File "/build/reproducible-path/alt-ergo-2.0.0/lib/structures/ty.ml", line 384, characters 45-63:
-384 | Set.Make(struct type t = int let compare = Pervasives.compare end)
- ^^^^^^^^^^^^^^^^^^
-Alert deprecated: module Stdlib.Pervasives
-Use Stdlib instead.
-
-If you need to stay compatible with OCaml < 4.07, you can use the
-stdlib-shims library: https://github.com/ocaml/stdlib-shims
-ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/structures/symbols.ml
-ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/structures/errors.ml
-ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/reasoners/polynome.ml
-File "/build/reproducible-path/alt-ergo-2.0.0/lib/structures/symbols.ml", line 118, characters 10-28:
-118 | | _ -> Pervasives.compare s1 s2
- ^^^^^^^^^^^^^^^^^^
-Alert deprecated: module Stdlib.Pervasives
-Use Stdlib instead.
-
-If you need to stay compatible with OCaml < 4.07, you can use the
-stdlib-shims library: https://github.com/ocaml/stdlib-shims
-ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/structures/term.ml
-ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/structures/parsed.ml
-ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/structures/typed.ml
-ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/frontend/parsed_interface.ml
-ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/frontend/parsers.ml
-File "/build/reproducible-path/alt-ergo-2.0.0/lib/structures/term.ml", line 273, characters 4-18:
-273 | Pervasives.(=) (String.sub (Sy.to_string v.f) 0 4) "_sko"
- ^^^^^^^^^^^^^^
-Alert deprecated: module Stdlib.Pervasives
-Use Stdlib instead.
-
-If you need to stay compatible with OCaml < 4.07, you can use the
-stdlib-shims library: https://github.com/ocaml/stdlib-shims
-File "/build/reproducible-path/alt-ergo-2.0.0/lib/frontend/parsers.ml", line 39, characters 20-70:
-39 | [@ocaml.ppwarning "TODO: add the ability to add parsers dynamically"]
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
-Warning 22: TODO: add the ability to add parsers dynamically
-File "/build/reproducible-path/alt-ergo-2.0.0/lib/structures/term.ml", line 341, characters 6-20:
-341 | try Pervasives.(=) (String.sub (Hstring.view h) 0 6) "model:"
- ^^^^^^^^^^^^^^
-Alert deprecated: module Stdlib.Pervasives
-Use Stdlib instead.
-
-If you need to stay compatible with OCaml < 4.07, you can use the
-stdlib-shims library: https://github.com/ocaml/stdlib-shims
-File "/build/reproducible-path/alt-ergo-2.0.0/lib/frontend/parsers.ml", line 104, characters 9-24:
-104 | if Pervasives.(<>) file "" then
- ^^^^^^^^^^^^^^^
-Alert deprecated: module Stdlib.Pervasives
-Use Stdlib instead.
-
-If you need to stay compatible with OCaml < 4.07, you can use the
-stdlib-shims library: https://github.com/ocaml/stdlib-shims
-ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo parsers/why/why_parser.ml
-ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/frontend/triggers.ml
-ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo plugins/fm-simplex/simplex_cache.ml
-File "/build/reproducible-path/alt-ergo-2.0.0/lib/frontend/triggers.ml", line 37, characters 54-72:
-37 | module Vtype = Set.Make(struct type t=int let compare=Pervasives.compare end)
- ^^^^^^^^^^^^^^^^^^
-Alert deprecated: module Stdlib.Pervasives
-Use Stdlib instead.
-
-If you need to stay compatible with OCaml < 4.07, you can use the
-stdlib-shims library: https://github.com/ocaml/stdlib-shims
-File "/build/reproducible-path/alt-ergo-2.0.0/lib/frontend/triggers.ml", line 54, characters 17-35:
-54 | | x , y -> Pervasives.compare x y
- ^^^^^^^^^^^^^^^^^^
-Alert deprecated: module Stdlib.Pervasives
-Use Stdlib instead.
-
-If you need to stay compatible with OCaml < 4.07, you can use the
-stdlib-shims library: https://github.com/ocaml/stdlib-shims
-File "/build/reproducible-path/alt-ergo-2.0.0/lib/frontend/triggers.ml", line 59, characters 9-27:
-59 | let c = Pervasives.compare x y in if c=0 then compare_list l1 l2 else c
- ^^^^^^^^^^^^^^^^^^
-Alert deprecated: module Stdlib.Pervasives
-Use Stdlib instead.
-
-If you need to stay compatible with OCaml < 4.07, you can use the
-stdlib-shims library: https://github.com/ocaml/stdlib-shims
-File "/build/reproducible-path/alt-ergo-2.0.0/lib/frontend/triggers.ml", line 79, characters 11-29:
-79 | | _ -> Pervasives.compare c1 c2
- ^^^^^^^^^^^^^^^^^^
-Alert deprecated: module Stdlib.Pervasives
-Use Stdlib instead.
-
-If you need to stay compatible with OCaml < 4.07, you can use the
-stdlib-shims library: https://github.com/ocaml/stdlib-shims
-File "/build/reproducible-path/alt-ergo-2.0.0/lib/frontend/triggers.ml", line 155, characters 28-46:
-155 | if c <> 0 then c else Pervasives.compare (a1, b1, c1, d1) (a2, b2, c2, d2)
- ^^^^^^^^^^^^^^^^^^
-Alert deprecated: module Stdlib.Pervasives
-Use Stdlib instead.
-
-If you need to stay compatible with OCaml < 4.07, you can use the
-stdlib-shims library: https://github.com/ocaml/stdlib-shims
-File "/build/reproducible-path/alt-ergo-2.0.0/lib/frontend/triggers.ml", line 193, characters 14-32:
-193 | let c = Pervasives.compare a1 a2 in
- ^^^^^^^^^^^^^^^^^^
-Alert deprecated: module Stdlib.Pervasives
-Use Stdlib instead.
-
-If you need to stay compatible with OCaml < 4.07, you can use the
-stdlib-shims library: https://github.com/ocaml/stdlib-shims
-ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/structures/literal.ml
-ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/structures/fpa_rounding.ml
-File "/build/reproducible-path/alt-ergo-2.0.0/lib/structures/literal.ml", line 98, characters 22-40:
-98 | let compare a1 a2 = Pervasives.compare a1.tpos a2.tpos
- ^^^^^^^^^^^^^^^^^^
-Alert deprecated: module Stdlib.Pervasives
-Use Stdlib instead.
-
-If you need to stay compatible with OCaml < 4.07, you can use the
-stdlib-shims library: https://github.com/ocaml/stdlib-shims
-ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/structures/formula.ml
-ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/reasoners/ac.ml
-File "/build/reproducible-path/alt-ergo-2.0.0/lib/structures/formula.ml", line 112, characters 10-28:
-112 | let c = Pervasives.compare (size f1) (size f2) in
- ^^^^^^^^^^^^^^^^^^
-Alert deprecated: module Stdlib.Pervasives
-Use Stdlib instead.
-
-If you need to stay compatible with OCaml < 4.07, you can use the
-stdlib-shims library: https://github.com/ocaml/stdlib-shims
-File "/build/reproducible-path/alt-ergo-2.0.0/lib/structures/formula.ml", line 113, characters 14-32:
-113 | if c=0 then Pervasives.compare v1.tag v2.tag else c
- ^^^^^^^^^^^^^^^^^^
-Alert deprecated: module Stdlib.Pervasives
-Use Stdlib instead.
-
-If you need to stay compatible with OCaml < 4.07, you can use the
-stdlib-shims library: https://github.com/ocaml/stdlib-shims
-ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/frontend/typechecker.ml
-File "/build/reproducible-path/alt-ergo-2.0.0/lib/structures/formula.ml", line 772, characters 6-20:
-772 | try Pervasives.(=) (String.sub (Hstring.view h) 0 6) "model:"
- ^^^^^^^^^^^^^^
-Alert deprecated: module Stdlib.Pervasives
-Use Stdlib instead.
-
-If you need to stay compatible with OCaml < 4.07, you can use the
-stdlib-shims library: https://github.com/ocaml/stdlib-shims
-File "/build/reproducible-path/alt-ergo-2.0.0/lib/frontend/typechecker.ml", line 39, characters 48-66:
-39 | Map.Make(struct type t = string let compare = Pervasives.compare end)
- ^^^^^^^^^^^^^^^^^^
-Alert deprecated: module Stdlib.Pervasives
-Use Stdlib instead.
-
-If you need to stay compatible with OCaml < 4.07, you can use the
-stdlib-shims library: https://github.com/ocaml/stdlib-shims
-File "/build/reproducible-path/alt-ergo-2.0.0/lib/frontend/typechecker.ml", line 81, characters 30-44:
-81 | | PPTvarid (y, _) -> Pervasives.(=) x y
- ^^^^^^^^^^^^^^
-Alert deprecated: module Stdlib.Pervasives
-Use Stdlib instead.
-
-If you need to stay compatible with OCaml < 4.07, you can use the
-stdlib-shims library: https://github.com/ocaml/stdlib-shims
-File "/build/reproducible-path/alt-ergo-2.0.0/lib/frontend/typechecker.ml", line 100, characters 35-49:
-100 | | PPTexternal (l, s, loc) when Pervasives.(=) s "farray" ->
- ^^^^^^^^^^^^^^
-Alert deprecated: module Stdlib.Pervasives
-Use Stdlib instead.
-
-If you need to stay compatible with OCaml < 4.07, you can use the
-stdlib-shims library: https://github.com/ocaml/stdlib-shims
-File "/build/reproducible-path/alt-ergo-2.0.0/lib/frontend/typechecker.ml", line 111, characters 28-42:
-111 | | Some (id, vars, ty) when Pervasives.(=) s id &&
- ^^^^^^^^^^^^^^
-Alert deprecated: module Stdlib.Pervasives
-Use Stdlib instead.
-
-If you need to stay compatible with OCaml < 4.07, you can use the
-stdlib-shims library: https://github.com/ocaml/stdlib-shims
-File "/build/reproducible-path/alt-ergo-2.0.0/lib/frontend/typechecker.ml", line 739, characters 7-21:
-739 | if Pervasives.(=) p "<=" || Pervasives.(=) p "<" then
- ^^^^^^^^^^^^^^
-Alert deprecated: module Stdlib.Pervasives
-Use Stdlib instead.
-
-If you need to stay compatible with OCaml < 4.07, you can use the
-stdlib-shims library: https://github.com/ocaml/stdlib-shims
-File "/build/reproducible-path/alt-ergo-2.0.0/lib/frontend/typechecker.ml", line 739, characters 32-46:
-739 | if Pervasives.(=) p "<=" || Pervasives.(=) p "<" then
- ^^^^^^^^^^^^^^
-Alert deprecated: module Stdlib.Pervasives
-Use Stdlib instead.
-
-If you need to stay compatible with OCaml < 4.07, you can use the
-stdlib-shims library: https://github.com/ocaml/stdlib-shims
-File "/build/reproducible-path/alt-ergo-2.0.0/lib/frontend/typechecker.ml", line 1726, characters 6-20:
-1726 | try Pervasives.(=) (String.sub s 0 2) "@L" with Invalid_argument _ -> false
- ^^^^^^^^^^^^^^
-Alert deprecated: module Stdlib.Pervasives
-Use Stdlib instead.
-
-If you need to stay compatible with OCaml < 4.07, you can use the
-stdlib-shims library: https://github.com/ocaml/stdlib-shims
-File "/build/reproducible-path/alt-ergo-2.0.0/lib/frontend/typechecker.ml", line 1729, characters 6-20:
-1729 | try Pervasives.(=) (String.sub s 0 2) "@H" with Invalid_argument _ -> false
- ^^^^^^^^^^^^^^
-Alert deprecated: module Stdlib.Pervasives
-Use Stdlib instead.
-
-If you need to stay compatible with OCaml < 4.07, you can use the
-stdlib-shims library: https://github.com/ocaml/stdlib-shims
-ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/structures/explanation.ml
-ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/structures/commands.ml
-ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/structures/profiling.ml
-File "/build/reproducible-path/alt-ergo-2.0.0/lib/structures/profiling.ml", line 89, characters 7-21:
-89 | if Pervasives.(>) v 0. then v else -. v
- ^^^^^^^^^^^^^^
-Alert deprecated: module Stdlib.Pervasives
-Use Stdlib instead.
-
-If you need to stay compatible with OCaml < 4.07, you can use the
-stdlib-shims library: https://github.com/ocaml/stdlib-shims
-ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/frontend/cnf.ml
-File "/build/reproducible-path/alt-ergo-2.0.0/lib/frontend/cnf.ml", lines 42-43, characters 20-65:
-42 | ...................."TODO: Change Symbols.Float to store FP numeral \
-43 | constants (eg, <24, -149> for single) instead of having terms".
-Warning 22: TODO: Change Symbols.Float to store FP numeral constants (eg, <24, -149> for single) instead of having terms
-File "/build/reproducible-path/alt-ergo-2.0.0/lib/structures/profiling.ml", line 636, characters 5-19:
-636 | if Pervasives.(=) v 0. then fprintf fmt "-- "
- ^^^^^^^^^^^^^^
-Alert deprecated: module Stdlib.Pervasives
-Use Stdlib instead.
-
-If you need to stay compatible with OCaml < 4.07, you can use the
-stdlib-shims library: https://github.com/ocaml/stdlib-shims
-File "/build/reproducible-path/alt-ergo-2.0.0/lib/structures/profiling.ml", line 637, characters 10-24:
-637 | else if Pervasives.(<) v 10. then fprintf fmt "%0.5f" v
- ^^^^^^^^^^^^^^
-Alert deprecated: module Stdlib.Pervasives
-Use Stdlib instead.
-
-If you need to stay compatible with OCaml < 4.07, you can use the
-stdlib-shims library: https://github.com/ocaml/stdlib-shims
-File "/build/reproducible-path/alt-ergo-2.0.0/lib/structures/profiling.ml", line 638, characters 10-24:
-638 | else if Pervasives.(<) v 100. then fprintf fmt "%0.4f" v
- ^^^^^^^^^^^^^^
-Alert deprecated: module Stdlib.Pervasives
-Use Stdlib instead.
-
-If you need to stay compatible with OCaml < 4.07, you can use the
-stdlib-shims library: https://github.com/ocaml/stdlib-shims
-ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/structures/exception.ml
-ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/reasoners/use.ml
-ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/reasoners/intervals.ml
-ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/reasoners/matching.ml
-ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/reasoners/uf.ml
-ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/frontend/frontend.ml
-ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/reasoners/sum.ml
-ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/reasoners/records.ml
-ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/reasoners/bitv.ml
-ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/reasoners/arrays.ml
-ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/reasoners/inequalities.ml
-ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/reasoners/intervalCalculus.ml
-ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo plugins/fm-simplex/fmSimplexIneqs.ml
-File "/build/reproducible-path/alt-ergo-2.0.0/lib/reasoners/intervalCalculus.ml", line 1892, characters 32-77:
-1892 | [@ocaml.ppwarning "TODO: find an example triggering this case!"]
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
-Warning 22: TODO: find an example triggering this case!
-ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/reasoners/arith.ml
-ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/reasoners/combine.ml
-File "/build/reproducible-path/alt-ergo-2.0.0/lib/reasoners/combine.ml", lines 484-485, characters 30-55:
-484 | .............................."TODO: a simple way of handling equalities \
-485 | with void and unit is to add this case is the solver !".
-Warning 22: TODO: a simple way of handling equalities with void and unit is to add this case is the solver !
-ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/reasoners/ccx.ml
-ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo parsers/why/why_lexer.ml
-ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/reasoners/theory.ml
-ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/reasoners/instances.ml
-ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo plugins/satML/satml.ml
-File "/build/reproducible-path/alt-ergo-2.0.0/plugins/satML/satml.ml", line 1264, characters 4-18:
-1264 | Pervasives.(<) (Vec.get env.vars j).weight (Vec.get env.vars i).weight
- ^^^^^^^^^^^^^^
-Alert deprecated: module Stdlib.Pervasives
-Use Stdlib instead.
-
-If you need to stay compatible with OCaml < 4.07, you can use the
-stdlib-shims library: https://github.com/ocaml/stdlib-shims
-File "/build/reproducible-path/alt-ergo-2.0.0/plugins/satML/satml.ml", line 1278, characters 7-21:
-1278 | if Pervasives.(>) v.weight 1e100 then begin
- ^^^^^^^^^^^^^^
-Alert deprecated: module Stdlib.Pervasives
-Use Stdlib instead.
-
-If you need to stay compatible with OCaml < 4.07, you can use the
-stdlib-shims library: https://github.com/ocaml/stdlib-shims
-File "/build/reproducible-path/alt-ergo-2.0.0/plugins/satML/satml.ml", line 1290, characters 7-21:
-1290 | if Pervasives.(>) c.activity 1e20 then begin
- ^^^^^^^^^^^^^^
-Alert deprecated: module Stdlib.Pervasives
-Use Stdlib instead.
-
-If you need to stay compatible with OCaml < 4.07, you can use the
-stdlib-shims library: https://github.com/ocaml/stdlib-shims
-File "/build/reproducible-path/alt-ergo-2.0.0/plugins/satML/satml.ml", line 1597, characters 12-30:
-1597 | let c = Pervasives.compare c1.activity c2.activity in
- ^^^^^^^^^^^^^^^^^^
-Alert deprecated: module Stdlib.Pervasives
-Use Stdlib instead.
-
-If you need to stay compatible with OCaml < 4.07, you can use the
-stdlib-shims library: https://github.com/ocaml/stdlib-shims
-ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/reasoners/fun_sat.ml
-File "/build/reproducible-path/alt-ergo-2.0.0/lib/reasoners/fun_sat.ml", line 73, characters 31-46:
-73 | stable := !stable && Pervasives.(<=) w 1e100;
- ^^^^^^^^^^^^^^^
-Alert deprecated: module Stdlib.Pervasives
-Use Stdlib instead.
-
-If you need to stay compatible with OCaml < 4.07, you can use the
-stdlib-shims library: https://github.com/ocaml/stdlib-shims
-File "/build/reproducible-path/alt-ergo-2.0.0/lib/reasoners/fun_sat.ml", line 99, characters 18-36:
-99 | let c = Pervasives.compare b2 b1 in
- ^^^^^^^^^^^^^^^^^^
-Alert deprecated: module Stdlib.Pervasives
-Use Stdlib instead.
-
-If you need to stay compatible with OCaml < 4.07, you can use the
-stdlib-shims library: https://github.com/ocaml/stdlib-shims
-File "/build/reproducible-path/alt-ergo-2.0.0/lib/reasoners/fun_sat.ml", line 101, characters 15-33:
-101 | else Pervasives.compare x2 x1
- ^^^^^^^^^^^^^^^^^^
-Alert deprecated: module Stdlib.Pervasives
-Use Stdlib instead.
-
-If you need to stay compatible with OCaml < 4.07, you can use the
-stdlib-shims library: https://github.com/ocaml/stdlib-shims
-File "/build/reproducible-path/alt-ergo-2.0.0/lib/reasoners/fun_sat.ml", line 967, characters 4-19:
-967 | Pervasives.(<>) (Options.interpretation_timelimit ()) 0. then
- ^^^^^^^^^^^^^^^
-Alert deprecated: module Stdlib.Pervasives
-Use Stdlib instead.
-
-If you need to stay compatible with OCaml < 4.07, you can use the
-stdlib-shims library: https://github.com/ocaml/stdlib-shims
-ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/reasoners/sat_solver.ml
-ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo tools/text/main_text.ml
-ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo plugins/satML/satml_frontend.ml
-ocamlopt.opt -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -shared -o fm-simplex-plugin.cmxs plugins/common/vec.cmx plugins/fm-simplex/simplex_cache.cmx plugins/fm-simplex/simplex.cmx plugins/fm-simplex/fmSimplexIneqs.cmx
-File "/build/reproducible-path/alt-ergo-2.0.0/plugins/satML/satml_frontend.ml", line 308, characters 26-79:
-308 | [@ocaml.ppwarning "TODO: modifications made in tbox are lost! improve?"]
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
-Warning 22: TODO: modifications made in tbox are lost! improve?
-File "/build/reproducible-path/alt-ergo-2.0.0/plugins/satML/satml_frontend.ml", line 480, characters 16-34:
-480 | let res = Pervasives.compare w2 w1 in
- ^^^^^^^^^^^^^^^^^^
-Alert deprecated: module Stdlib.Pervasives
-Use Stdlib instead.
-
-If you need to stay compatible with OCaml < 4.07, you can use the
-stdlib-shims library: https://github.com/ocaml/stdlib-shims
-ocamlopt.opt -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo -o alt-ergo.opt zarith.cmxa nums.cmxa unix.cmxa dynlink.cmxa str.cmxa zip.cmxa ocplibSimplex.cmxa lib/util/config.cmx lib/util/version.cmx lib/util/emap.cmx lib/util/myUnix.cmx lib/util/myDynlink.cmx lib/util/myZip.cmx lib/util/util.cmx lib/util/lists.cmx lib/util/numsNumbers.cmx lib/util/zarithNumbers.cmx lib/util/numbers.cmx lib/util/options.cmx lib/util/cmdline_parser.cmx lib/util/timers.cmx lib/util/gc_debug.cmx lib/util/loc.cmx lib/util/hconsing.cmx lib/util/hstring.cmx lib/structures/exception.cmx lib/structures/symbols.cmx lib/structures/ty.cmx lib/structures/parsed.cmx lib/structures/errors.cmx lib/structures/typed.cmx lib/structures/term.cmx lib/structures/fpa_rounding.cmx lib/structures/literal.cmx lib/structures/formula.cmx lib/structures/explanation.cmx lib/structures/commands.cmx lib/structures/profiling.cmx lib/reasoners/matching.cmx lib/reasoners/instances.cmx lib/reasoners/polynome.cmx lib/reasoners/ac.cmx lib/reasoners/uf.cmx lib/reasoners/use.cmx lib/reasoners/intervals.cmx lib/reasoners/inequalities.cmx lib/reasoners/intervalCalculus.cmx lib/reasoners/arith.cmx lib/reasoners/records.cmx lib/reasoners/bitv.cmx lib/reasoners/arrays.cmx lib/reasoners/sum.cmx lib/reasoners/combine.cmx lib/reasoners/ccx.cmx lib/reasoners/theory.cmx lib/reasoners/fun_sat.cmx lib/reasoners/sat_solver.cmx lib/frontend/triggers.cmx lib/frontend/typechecker.cmx lib/frontend/cnf.cmx lib/frontend/parsed_interface.cmx lib/frontend/frontend.cmx lib/frontend/parsers.cmx parsers/why/why_parser.cmx parsers/why/why_lexer.cmx tools/text/main_text.cmx
-ocamlopt.opt -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -shared -o satML-plugin.cmxs plugins/common/vec.cmx plugins/satML/satml.cmx plugins/satML/satml_frontend.cmx
+File "lib/util/cmdline_parser.ml", line 9, characters 0-1:
+9 | \nlet () = Options.parse_cmdline_arguments ()
+ ^
+Error: Illegal character (\\)
+Makefile.users:304: .depend: No such file or directory
+make[1]: *** [Makefile.users:301: .depend] Error 2
make[1]: Leaving directory '/build/reproducible-path/alt-ergo-2.0.0'
- dh_auto_test
- create-stamp debian/debhelper-build-stamp
- dh_prep
- dh_auto_install
- make -j16 install DESTDIR=/build/reproducible-path/alt-ergo-2.0.0/debian/alt-ergo AM_UPDATE_INFO_DIR=no
-make[1]: Entering directory '/build/reproducible-path/alt-ergo-2.0.0'
-mkdir -p /build/reproducible-path/alt-ergo-2.0.0/debian/alt-ergo/usr/share/man/man1
-mkdir -p /build/reproducible-path/alt-ergo-2.0.0/debian/alt-ergo/usr/lib/x86_64-linux-gnu/alt-ergo/preludes
-cp -f doc/alt-ergo.1 /build/reproducible-path/alt-ergo-2.0.0/debian/alt-ergo/usr/share/man/man1
-cp -f preludes/fpa-theory-2017-01-04-16h00.why /build/reproducible-path/alt-ergo-2.0.0/debian/alt-ergo/usr/lib/x86_64-linux-gnu/alt-ergo/preludes/
-mkdir -p /build/reproducible-path/alt-ergo-2.0.0/debian/alt-ergo/usr/lib/x86_64-linux-gnu/alt-ergo/plugins
-mkdir -p /build/reproducible-path/alt-ergo-2.0.0/debian/alt-ergo/usr/lib/x86_64-linux-gnu/alt-ergo/plugins
-cp -f fm-simplex-plugin.cmxs /build/reproducible-path/alt-ergo-2.0.0/debian/alt-ergo/usr/lib/x86_64-linux-gnu/alt-ergo/plugins
-mkdir -p /build/reproducible-path/alt-ergo-2.0.0/debian/alt-ergo/usr/bin
-cp -f satML-plugin.cmxs /build/reproducible-path/alt-ergo-2.0.0/debian/alt-ergo/usr/lib/x86_64-linux-gnu/alt-ergo/plugins
-cp -f alt-ergo.opt /build/reproducible-path/alt-ergo-2.0.0/debian/alt-ergo/usr/bin/alt-ergo
-make[1]: Leaving directory '/build/reproducible-path/alt-ergo-2.0.0'
- dh_ocamldoc
- dh_installdocs
- dh_installchangelogs
- dh_installexamples
- dh_installman
- dh_perl
- dh_link
- dh_strip_nondeterminism
- dh_compress
- dh_fixperms
- dh_missing
- dh_strip -a
- dh_makeshlibs -a
- dh_shlibdeps -a
- dh_installdeb
- dh_ocaml
-W: alt-ergo doesn't resolve dependency on unit Timers
-W: alt-ergo doesn't resolve dependency on unit Sig
-W: alt-ergo doesn't resolve dependency on unit Exception
-W: alt-ergo doesn't resolve dependency on unit Loc
-W: alt-ergo doesn't resolve dependency on unit Numbers
-W: alt-ergo doesn't resolve dependency on unit Instances
-W: alt-ergo doesn't resolve dependency on unit Sat_solver_sig
-W: alt-ergo doesn't resolve dependency on unit Fun_sat
-W: alt-ergo doesn't resolve dependency on unit Util
-W: alt-ergo doesn't resolve dependency on unit Instances
-W: alt-ergo doesn't resolve dependency on unit Formula
-W: alt-ergo doesn't resolve dependency on unit Term
-W: alt-ergo doesn't resolve dependency on unit Timers
-W: alt-ergo doesn't resolve dependency on unit Hconsing
-W: alt-ergo doesn't resolve dependency on unit Literal
-W: alt-ergo doesn't resolve dependency on unit Util
-W: alt-ergo doesn't resolve dependency on unit Profiling
-W: alt-ergo doesn't resolve dependency on unit Theory
-W: alt-ergo doesn't resolve dependency on unit Theory
-W: alt-ergo doesn't resolve dependency on unit Parsed
-W: alt-ergo doesn't resolve dependency on unit Uf
-W: alt-ergo doesn't resolve dependency on unit Sat_solver
-W: alt-ergo doesn't resolve dependency on unit Typed
-W: alt-ergo doesn't resolve dependency on unit Inequalities
-W: alt-ergo doesn't resolve dependency on unit Hconsing
-W: alt-ergo doesn't resolve dependency on unit Explanation
-W: alt-ergo doesn't resolve dependency on unit Hstring
-W: alt-ergo doesn't resolve dependency on unit Literal
-W: alt-ergo doesn't resolve dependency on unit Polynome
-W: alt-ergo doesn't resolve dependency on unit NumbersInterface
-W: alt-ergo doesn't resolve dependency on unit Term
-W: alt-ergo doesn't resolve dependency on unit Options
-W: alt-ergo doesn't resolve dependency on unit Symbols
-W: alt-ergo doesn't resolve dependency on unit Hstring
-W: alt-ergo doesn't resolve dependency on unit Numbers
-W: alt-ergo doesn't resolve dependency on unit Profiling
-W: alt-ergo doesn't resolve dependency on unit Sat_solver
-W: alt-ergo doesn't resolve dependency on unit Ccx
-W: alt-ergo doesn't resolve dependency on unit Combine
-W: alt-ergo doesn't resolve dependency on unit Fun_sat
-W: alt-ergo doesn't resolve dependency on unit Commands
-W: alt-ergo doesn't resolve dependency on unit Explanation
-W: alt-ergo doesn't resolve dependency on unit Exception
-W: alt-ergo doesn't resolve dependency on unit Matching_types
-W: alt-ergo doesn't resolve dependency on unit Use
-W: alt-ergo doesn't resolve dependency on unit Inequalities
-W: alt-ergo doesn't resolve dependency on unit Formula
-W: alt-ergo doesn't resolve dependency on unit Options
-W: alt-ergo doesn't resolve dependency on unit Symbols
-W: alt-ergo doesn't resolve dependency on unit Ty
- dh_gencontrol
- dh_md5sums
- dh_builddeb
-dpkg-deb: building package 'alt-ergo' in '../alt-ergo_2.0.0-7_amd64.deb'.
-dpkg-deb: building package 'alt-ergo-dbgsym' in '../alt-ergo-dbgsym_2.0.0-7_amd64.deb'.
- dpkg-genbuildinfo --build=binary
- dpkg-genchanges --build=binary >../alt-ergo_2.0.0-7_amd64.changes
-dpkg-genchanges: info: binary-only upload (no source code included)
- dpkg-source --after-build .
-dpkg-buildpackage: info: binary-only upload (no source included)
-dpkg-genchanges: info: not including original source code in upload
+dh_auto_build: error: make -j15 returned exit code 2
+make: *** [debian/rules:7: binary] Error 25
+dpkg-buildpackage: error: debian/rules binary subprocess returned exit status 2
I: copying local configuration
+E: Failed autobuilding of package
+I: user script /srv/workspace/pbuilder/753193/tmp/hooks/C01_cleanup starting
+debug output: disk usage on i-capture-the-hostname at Tue Jan 9 10:17:03 UTC 2024
+Filesystem Size Used Avail Use% Mounted on
+tmpfs 32G 0 32G 0% /dev/shm
+
+I: user script /srv/workspace/pbuilder/753193/tmp/hooks/C01_cleanup finished
I: unmounting dev/ptmx filesystem
I: unmounting dev/pts filesystem
I: unmounting dev/shm filesystem
I: unmounting proc filesystem
I: unmounting sys filesystem
I: cleaning the build env
-I: removing directory /srv/workspace/pbuilder/4142469 and its subdirectories
-I: Current time: Mon Feb 10 04:35:04 -12 2025
-I: pbuilder-time-stamp: 1739205304
+I: removing directory /srv/workspace/pbuilder/753193 and its subdirectories