Diff of the two buildlogs:
--
--- b1/build.log 2025-02-28 02:16:27.599693755 +0000
+++ b2/build.log 2025-02-28 03:12:51.179090601 +0000
@@ -1,6 +1,6 @@
I: pbuilder: network access will be disabled during build
-I: Current time: Wed Apr 1 19:48:02 -12 2026
-I: pbuilder-time-stamp: 1775116082
+I: Current time: Fri Feb 28 16:16:37 +14 2025
+I: pbuilder-time-stamp: 1740708997
I: Building the build Environment
I: extracting base tarball [/var/cache/pbuilder/trixie-reproducible-base.tgz]
I: copying local configuration
@@ -22,52 +22,84 @@
dpkg-source: info: unpacking rumur_2025.02.02-1.debian.tar.xz
I: Not using root during the build.
I: Installing the build-deps
-I: user script /srv/workspace/pbuilder/1196164/tmp/hooks/D02_print_environment starting
+I: user script /srv/workspace/pbuilder/670997/tmp/hooks/D01_modify_environment starting
+debug: Running on codethink04-arm64.
+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 Feb 28 02:16 /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/670997/tmp/hooks/D01_modify_environment finished
+I: user script /srv/workspace/pbuilder/670997/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='arm64'
- DEBIAN_FRONTEND='noninteractive'
+ BASH=/bin/sh
+ BASHOPTS=checkwinsize:cmdhist:complete_fullquote:extquote:force_fignore:globasciiranges:globskipdots:hostcomplete:interactive_comments:patsub_replacement:progcomp:promptvars:sourcepath
+ BASH_ALIASES=()
+ BASH_ARGC=()
+ BASH_ARGV=()
+ BASH_CMDS=()
+ BASH_LINENO=([0]="12" [1]="0")
+ BASH_LOADABLES_PATH=/usr/local/lib/bash:/usr/lib/bash:/opt/local/lib/bash:/usr/pkg/lib/bash:/opt/pkg/lib/bash:.
+ BASH_SOURCE=([0]="/tmp/hooks/D02_print_environment" [1]="/tmp/hooks/D02_print_environment")
+ BASH_VERSINFO=([0]="5" [1]="2" [2]="37" [3]="1" [4]="release" [5]="aarch64-unknown-linux-gnu")
+ BASH_VERSION='5.2.37(1)-release'
+ BUILDDIR=/build/reproducible-path
+ BUILDUSERGECOS='second user,second room,second work-phone,second home-phone,second other'
+ BUILDUSERNAME=pbuilder2
+ BUILD_ARCH=arm64
+ DEBIAN_FRONTEND=noninteractive
DEB_BUILD_OPTIONS='buildinfo=+all reproducible=+all parallel=12 '
- DISTRIBUTION='trixie'
- HOME='/root'
- HOST_ARCH='arm64'
+ DIRSTACK=()
+ DISTRIBUTION=trixie
+ EUID=0
+ FUNCNAME=([0]="Echo" [1]="main")
+ GROUPS=()
+ HOME=/root
+ HOSTNAME=i-capture-the-hostname
+ HOSTTYPE=aarch64
+ HOST_ARCH=arm64
IFS='
'
- INVOCATION_ID='0cc2f5ddb6cb459cbd303b9f1d914b44'
- 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='1196164'
- PS1='# '
- PS2='> '
+ INVOCATION_ID=f7001265a65a48bdaba9a162d28729d6
+ LANG=C
+ LANGUAGE=nl_BE:nl
+ LC_ALL=C
+ MACHTYPE=aarch64-unknown-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=670997
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.NtpUjbkr/pbuilderrc_T0HD --distribution trixie --hookdir /etc/pbuilder/first-build-hooks --debbuildopts -b --basetgz /var/cache/pbuilder/trixie-reproducible-base.tgz --buildresult /srv/reproducible-results/rbuild-debian/r-b-build.NtpUjbkr/b1 --logfile b1/build.log rumur_2025.02.02-1.dsc'
- SUDO_GID='109'
- SUDO_UID='104'
- SUDO_USER='jenkins'
- TERM='unknown'
- TZ='/usr/share/zoneinfo/Etc/GMT+12'
- USER='root'
- _='/usr/bin/systemd-run'
- http_proxy='http://192.168.101.4: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.NtpUjbkr/pbuilderrc_Ctl2 --distribution trixie --hookdir /etc/pbuilder/rebuild-hooks --debbuildopts -b --basetgz /var/cache/pbuilder/trixie-reproducible-base.tgz --buildresult /srv/reproducible-results/rbuild-debian/r-b-build.NtpUjbkr/b2 --logfile b2/build.log rumur_2025.02.02-1.dsc'
+ SUDO_GID=109
+ SUDO_UID=104
+ SUDO_USER=jenkins
+ TERM=unknown
+ TZ=/usr/share/zoneinfo/Etc/GMT-14
+ UID=0
+ USER=root
+ _='I: set'
+ http_proxy=http://192.168.101.4:3128
I: uname -a
- Linux codethink03-arm64 6.1.0-31-cloud-arm64 #1 SMP Debian 6.1.128-1 (2025-02-07) aarch64 GNU/Linux
+ Linux i-capture-the-hostname 6.1.0-31-cloud-arm64 #1 SMP Debian 6.1.128-1 (2025-02-07) aarch64 GNU/Linux
I: ls -l /bin
- lrwxrwxrwx 1 root root 7 Nov 22 2024 /bin -> usr/bin
-I: user script /srv/workspace/pbuilder/1196164/tmp/hooks/D02_print_environment finished
+ lrwxrwxrwx 1 root root 7 Nov 22 14:40 /bin -> usr/bin
+I: user script /srv/workspace/pbuilder/670997/tmp/hooks/D02_print_environment finished
-> Attempting to satisfy build-dependencies
-> Creating pbuilder-satisfydepends-dummy package
Package: pbuilder-satisfydepends-dummy
@@ -208,7 +240,7 @@
Get: 83 http://deb.debian.org/debian trixie/main arm64 python3-pytest all 8.3.4-1 [250 kB]
Get: 84 http://deb.debian.org/debian trixie/main arm64 strace arm64 6.13+ds-1 [1295 kB]
Get: 85 http://deb.debian.org/debian trixie/main arm64 z3 arm64 4.13.3-1 [7504 kB]
-Fetched 55.9 MB in 1s (54.2 MB/s)
+Fetched 55.9 MB in 1s (47.3 MB/s)
Preconfiguring packages ...
Selecting previously unselected package m4.
(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 ... 19916 files and directories currently installed.)
@@ -499,8 +531,8 @@
Setting up tzdata (2025a-2) ...
Current default time zone: 'Etc/UTC'
-Local time is now: Thu Apr 2 07:48:46 UTC 2026.
-Universal Time is now: Thu Apr 2 07:48:46 UTC 2026.
+Local time is now: Fri Feb 28 02:18:16 UTC 2025.
+Universal Time is now: Fri Feb 28 02:18:16 UTC 2025.
Run 'dpkg-reconfigure tzdata' if you wish to change it.
Setting up autotools-dev (20220109.1) ...
@@ -576,7 +608,11 @@
Building tag database...
-> Finished parsing the build-deps
I: Building the package
-I: Running cd /build/reproducible-path/rumur-2025.02.02/ && 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 > ../rumur_2025.02.02-1_source.changes
+I: user script /srv/workspace/pbuilder/670997/tmp/hooks/A99_set_merged_usr starting
+Not re-configuring usrmerge for trixie
+I: user script /srv/workspace/pbuilder/670997/tmp/hooks/A99_set_merged_usr finished
+hostname: Name or service not known
+I: Running cd /build/reproducible-path/rumur-2025.02.02/ && 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 > ../rumur_2025.02.02-1_source.changes
dpkg-buildpackage: info: source package rumur
dpkg-buildpackage: info: source version 2025.02.02-1
dpkg-buildpackage: info: source distribution unstable
@@ -656,8 +692,8 @@
-- Performing Test HAS_WARNING_REGISTER - Success
-- Performing Test HAS_WARNING_DEPRECATED_REGISTER
-- Performing Test HAS_WARNING_DEPRECATED_REGISTER - Failed
--- Configuring done (10.8s)
--- Generating done (0.0s)
+-- Configuring done (28.4s)
+-- Generating done (0.4s)
CMake Warning:
Manually-specified variables were not used by the project:
@@ -677,116 +713,116 @@
make -f librumur/CMakeFiles/librumur.dir/build.make librumur/CMakeFiles/librumur.dir/depend
make[3]: Entering directory '/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu'
make -f murphi-format/CMakeFiles/man-murphi-format.dir/build.make murphi-format/CMakeFiles/man-murphi-format.dir/depend
-[ 1%] [FLEX][lexer] Building scanner with flex 2.6.4
-cd /build/reproducible-path/rumur-2025.02.02/librumur && /usr/bin/flex --noline -o/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/librumur/lexer.l.cc src/lexer.l
make[3]: Entering directory '/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu'
-cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /build/reproducible-path/rumur-2025.02.02 /build/reproducible-path/rumur-2025.02.02/murphi-format /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi-format /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi-format/CMakeFiles/man-murphi-format.dir/DependInfo.cmake "--color="
make -f murphi2c/CMakeFiles/man-murphi2c.dir/build.make murphi2c/CMakeFiles/man-murphi2c.dir/depend
+cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /build/reproducible-path/rumur-2025.02.02 /build/reproducible-path/rumur-2025.02.02/murphi-format /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi-format /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi-format/CMakeFiles/man-murphi-format.dir/DependInfo.cmake "--color="
make[3]: Entering directory '/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu'
-cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /build/reproducible-path/rumur-2025.02.02 /build/reproducible-path/rumur-2025.02.02/murphi2c /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2c /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2c/CMakeFiles/man-murphi2c.dir/DependInfo.cmake "--color="
make -f murphi2murphi/CMakeFiles/man-murphi2murphi.dir/build.make murphi2murphi/CMakeFiles/man-murphi2murphi.dir/depend
-make -f murphi2smv/CMakeFiles/man-murphi2smv.dir/build.make murphi2smv/CMakeFiles/man-murphi2smv.dir/depend
+cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /build/reproducible-path/rumur-2025.02.02 /build/reproducible-path/rumur-2025.02.02/murphi2c /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2c /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2c/CMakeFiles/man-murphi2c.dir/DependInfo.cmake "--color="
make[3]: Entering directory '/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu'
+make -f murphi2smv/CMakeFiles/man-murphi2smv.dir/build.make murphi2smv/CMakeFiles/man-murphi2smv.dir/depend
cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /build/reproducible-path/rumur-2025.02.02 /build/reproducible-path/rumur-2025.02.02/murphi2murphi /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2murphi /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2murphi/CMakeFiles/man-murphi2murphi.dir/DependInfo.cmake "--color="
make[3]: Entering directory '/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu'
-cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /build/reproducible-path/rumur-2025.02.02 /build/reproducible-path/rumur-2025.02.02/murphi2smv /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2smv /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2smv/CMakeFiles/man-murphi2smv.dir/DependInfo.cmake "--color="
make -f murphi2uclid/CMakeFiles/man-murphi2uclid.dir/build.make murphi2uclid/CMakeFiles/man-murphi2uclid.dir/depend
-[ 2%] Generating always_run
-[ 2%] [BISON][parser] Building parser with bison 3.8.2
+cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /build/reproducible-path/rumur-2025.02.02 /build/reproducible-path/rumur-2025.02.02/murphi2smv /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2smv /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2smv/CMakeFiles/man-murphi2smv.dir/DependInfo.cmake "--color="
make[3]: Entering directory '/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu'
-cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /build/reproducible-path/rumur-2025.02.02 /build/reproducible-path/rumur-2025.02.02/murphi2uclid /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2uclid /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2uclid/CMakeFiles/man-murphi2uclid.dir/DependInfo.cmake "--color="
make -f murphi2xml/CMakeFiles/man-murphi2xml.dir/build.make murphi2xml/CMakeFiles/man-murphi2xml.dir/depend
-cd /build/reproducible-path/rumur-2025.02.02/librumur && /usr/bin/bison --no-lines --warnings=all -d -o /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/librumur/parser.yy.cc src/parser.yy
+cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /build/reproducible-path/rumur-2025.02.02 /build/reproducible-path/rumur-2025.02.02/murphi2uclid /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2uclid /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2uclid/CMakeFiles/man-murphi2uclid.dir/DependInfo.cmake "--color="
+[ 0%] Generating always_run
+cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/librumur && /usr/bin/env true
make[3]: Entering directory '/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu'
-cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /build/reproducible-path/rumur-2025.02.02 /build/reproducible-path/rumur-2025.02.02/murphi2xml /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2xml /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2xml/CMakeFiles/man-murphi2xml.dir/DependInfo.cmake "--color="
make -f rumur/CMakeFiles/man-rumur.dir/build.make rumur/CMakeFiles/man-rumur.dir/depend
-cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/librumur && /usr/bin/env true
-make[3]: Leaving directory '/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu'
-src/parser.yy: warning: 4 shift/reduce conflicts [-Wconflicts-sr]
-src/parser.yy: note: rerun with option '-Wcounterexamples' to generate conflict counterexamples
-make -f murphi2c/CMakeFiles/man-murphi2c.dir/build.make murphi2c/CMakeFiles/man-murphi2c.dir/build
+cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /build/reproducible-path/rumur-2025.02.02 /build/reproducible-path/rumur-2025.02.02/murphi2xml /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2xml /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2xml/CMakeFiles/man-murphi2xml.dir/DependInfo.cmake "--color="
+[ 1%] [FLEX][lexer] Building scanner with flex 2.6.4
make[3]: Entering directory '/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu'
cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /build/reproducible-path/rumur-2025.02.02 /build/reproducible-path/rumur-2025.02.02/rumur /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/rumur /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/rumur/CMakeFiles/man-rumur.dir/DependInfo.cmake "--color="
make[3]: Leaving directory '/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu'
+make -f murphi2c/CMakeFiles/man-murphi2c.dir/build.make murphi2c/CMakeFiles/man-murphi2c.dir/build
make[3]: Leaving directory '/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu'
+[ 2%] [BISON][parser] Building parser with bison 3.8.2
+cd /build/reproducible-path/rumur-2025.02.02/librumur && /usr/bin/flex --noline -o/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/librumur/lexer.l.cc src/lexer.l
make[3]: Entering directory '/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu'
make -f murphi-format/CMakeFiles/man-murphi-format.dir/build.make murphi-format/CMakeFiles/man-murphi-format.dir/build
+make[3]: Leaving directory '/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu'
+cd /build/reproducible-path/rumur-2025.02.02/librumur && /usr/bin/bison --no-lines --warnings=all -d -o /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/librumur/parser.yy.cc src/parser.yy
+make[3]: Leaving directory '/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu'
make[3]: Entering directory '/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu'
make -f murphi2murphi/CMakeFiles/man-murphi2murphi.dir/build.make murphi2murphi/CMakeFiles/man-murphi2murphi.dir/build
make[3]: Leaving directory '/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu'
-make[3]: Entering directory '/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu'
make[3]: Leaving directory '/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu'
+src/parser.yy: warning: 4 shift/reduce conflicts [-Wconflicts-sr]
+src/parser.yy: note: rerun with option '-Wcounterexamples' to generate conflict counterexamples
make -f murphi2smv/CMakeFiles/man-murphi2smv.dir/build.make murphi2smv/CMakeFiles/man-murphi2smv.dir/build
-make[3]: Leaving directory '/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu'
+make[3]: Entering directory '/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu'
+[ 2%] Generating version.c
make[3]: Entering directory '/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu'
make -f murphi2uclid/CMakeFiles/man-murphi2uclid.dir/build.make murphi2uclid/CMakeFiles/man-murphi2uclid.dir/build
-[ 3%] Generating murphi2c.1.gz
+cd /build/reproducible-path/rumur-2025.02.02/librumur && src/make-version.py /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/librumur/version.c
make[3]: Entering directory '/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu'
-[ 4%] Generating murphi-format.1.gz
make -f murphi2xml/CMakeFiles/man-murphi2xml.dir/build.make murphi2xml/CMakeFiles/man-murphi2xml.dir/build
-cd /build/reproducible-path/rumur-2025.02.02/murphi-format && gzip -9 --no-name --to-stdout doc/murphi-format.1 >"/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi-format/murphi-format.1.gz"
-make[3]: Leaving directory '/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu'
-[ 4%] Generating version.c
-cd /build/reproducible-path/rumur-2025.02.02/murphi2c && gzip -9 --no-name --to-stdout doc/murphi2c.1 >"/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2c/murphi2c.1.gz"
-cd /build/reproducible-path/rumur-2025.02.02/librumur && src/make-version.py /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/librumur/version.c
make[3]: Leaving directory '/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu'
make[3]: Entering directory '/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu'
-make[3]: Leaving directory '/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu'
make -f rumur/CMakeFiles/man-rumur.dir/build.make rumur/CMakeFiles/man-rumur.dir/build
-[ 5%] Generating murphi2uclid.1.gz
-[ 5%] Generating murphi2murphi.1.gz
-cd /build/reproducible-path/rumur-2025.02.02/murphi2uclid && gzip -9 --no-name --to-stdout doc/murphi2uclid.1 >"/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2uclid/murphi2uclid.1.gz"
-make[3]: Leaving directory '/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu'
-[ 6%] Generating murphi2smv.1.gz
-cd /build/reproducible-path/rumur-2025.02.02/murphi2murphi && gzip -9 --no-name --to-stdout doc/murphi2murphi.1 >"/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2murphi/murphi2murphi.1.gz"
+[ 3%] Generating murphi2c.1.gz
+cd /build/reproducible-path/rumur-2025.02.02/murphi2c && gzip -9 --no-name --to-stdout doc/murphi2c.1 >"/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2c/murphi2c.1.gz"
make[3]: Entering directory '/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu'
+[ 4%] Generating murphi-format.1.gz
+cd /build/reproducible-path/rumur-2025.02.02/murphi-format && gzip -9 --no-name --to-stdout doc/murphi-format.1 >"/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi-format/murphi-format.1.gz"
+[ 4%] Generating murphi2murphi.1.gz
+cd /build/reproducible-path/rumur-2025.02.02/murphi2murphi && gzip -9 --no-name --to-stdout doc/murphi2murphi.1 >"/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2murphi/murphi2murphi.1.gz"
+[ 5%] Generating murphi2smv.1.gz
+make[3]: Leaving directory '/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu'
cd /build/reproducible-path/rumur-2025.02.02/murphi2smv && gzip -9 --no-name --to-stdout doc/murphi2smv.1 >"/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2smv/murphi2smv.1.gz"
make[3]: Leaving directory '/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu'
+[ 6%] Generating murphi2uclid.1.gz
+make[3]: Leaving directory '/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu'
+cd /build/reproducible-path/rumur-2025.02.02/murphi2uclid && gzip -9 --no-name --to-stdout doc/murphi2uclid.1 >"/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2uclid/murphi2uclid.1.gz"
[ 7%] Generating rumur.1.gz
cd /build/reproducible-path/rumur-2025.02.02/rumur && gzip -9 --no-name --to-stdout doc/rumur.1 >"/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/rumur/rumur.1.gz"
-[ 7%] Built target man-murphi2c
-[ 8%] Generating murphi2xml.1.gz
+[ 7%] Generating rumur-run.1.gz
make[3]: Leaving directory '/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu'
+[ 8%] Generating murphi2xml.1.gz
cd /build/reproducible-path/rumur-2025.02.02/murphi2xml && gzip -9 --no-name --to-stdout doc/murphi2xml.1 >"/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2xml/murphi2xml.1.gz"
-[ 8%] Built target man-murphi2uclid
-[ 8%] Built target man-murphi-format
-[ 8%] Built target man-murphi2murphi
-[ 8%] Generating rumur-run.1.gz
cd /build/reproducible-path/rumur-2025.02.02/rumur && gzip -9 --no-name --to-stdout doc/rumur-run.1 >"/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/rumur/rumur-run.1.gz"
make[3]: Leaving directory '/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu'
+[ 8%] Built target man-murphi2c
+[ 8%] Built target man-murphi-format
+make[3]: Leaving directory '/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu'
+[ 8%] Built target man-murphi2murphi
make[3]: Leaving directory '/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu'
[ 8%] Built target man-murphi2smv
+[ 8%] Built target man-murphi2uclid
[ 8%] Built target man-murphi2xml
[ 8%] Built target man-rumur
cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /build/reproducible-path/rumur-2025.02.02 /build/reproducible-path/rumur-2025.02.02/librumur /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/librumur /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/librumur/CMakeFiles/librumur.dir/DependInfo.cmake "--color="
make[3]: Leaving directory '/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu'
make -f librumur/CMakeFiles/librumur.dir/build.make librumur/CMakeFiles/librumur.dir/build
make[3]: Entering directory '/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu'
-[ 8%] Generating always_run
+[ 9%] Generating always_run
[ 9%] Building CXX object librumur/CMakeFiles/librumur.dir/src/Boolean.cc.o
cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/librumur && /usr/bin/env true
+[ 10%] Building CXX object librumur/CMakeFiles/librumur.dir/src/Comment.cc.o
cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/librumur && /usr/bin/c++ -D_GNU_SOURCE -I/build/reproducible-path/rumur-2025.02.02/librumur/include -I/build/reproducible-path/rumur-2025.02.02/librumur/src -I/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/librumur -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2025.02.02=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -std=gnu++11 -MD -MT librumur/CMakeFiles/librumur.dir/src/Boolean.cc.o -MF CMakeFiles/librumur.dir/src/Boolean.cc.o.d -o CMakeFiles/librumur.dir/src/Boolean.cc.o -c /build/reproducible-path/rumur-2025.02.02/librumur/src/Boolean.cc
[ 10%] Building CXX object librumur/CMakeFiles/librumur.dir/src/Decl.cc.o
-[ 10%] Building CXX object librumur/CMakeFiles/librumur.dir/src/Comment.cc.o
cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/librumur && /usr/bin/c++ -D_GNU_SOURCE -I/build/reproducible-path/rumur-2025.02.02/librumur/include -I/build/reproducible-path/rumur-2025.02.02/librumur/src -I/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/librumur -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2025.02.02=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -std=gnu++11 -MD -MT librumur/CMakeFiles/librumur.dir/src/Comment.cc.o -MF CMakeFiles/librumur.dir/src/Comment.cc.o.d -o CMakeFiles/librumur.dir/src/Comment.cc.o -c /build/reproducible-path/rumur-2025.02.02/librumur/src/Comment.cc
-cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/librumur && /usr/bin/c++ -D_GNU_SOURCE -I/build/reproducible-path/rumur-2025.02.02/librumur/include -I/build/reproducible-path/rumur-2025.02.02/librumur/src -I/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/librumur -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2025.02.02=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -std=gnu++11 -MD -MT librumur/CMakeFiles/librumur.dir/src/Decl.cc.o -MF CMakeFiles/librumur.dir/src/Decl.cc.o.d -o CMakeFiles/librumur.dir/src/Decl.cc.o -c /build/reproducible-path/rumur-2025.02.02/librumur/src/Decl.cc
[ 11%] Building CXX object librumur/CMakeFiles/librumur.dir/src/except.cc.o
+cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/librumur && /usr/bin/c++ -D_GNU_SOURCE -I/build/reproducible-path/rumur-2025.02.02/librumur/include -I/build/reproducible-path/rumur-2025.02.02/librumur/src -I/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/librumur -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2025.02.02=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -std=gnu++11 -MD -MT librumur/CMakeFiles/librumur.dir/src/Decl.cc.o -MF CMakeFiles/librumur.dir/src/Decl.cc.o.d -o CMakeFiles/librumur.dir/src/Decl.cc.o -c /build/reproducible-path/rumur-2025.02.02/librumur/src/Decl.cc
cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/librumur && /usr/bin/c++ -D_GNU_SOURCE -I/build/reproducible-path/rumur-2025.02.02/librumur/include -I/build/reproducible-path/rumur-2025.02.02/librumur/src -I/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/librumur -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2025.02.02=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -std=gnu++11 -MD -MT librumur/CMakeFiles/librumur.dir/src/except.cc.o -MF CMakeFiles/librumur.dir/src/except.cc.o.d -o CMakeFiles/librumur.dir/src/except.cc.o -c /build/reproducible-path/rumur-2025.02.02/librumur/src/except.cc
[ 12%] Building CXX object librumur/CMakeFiles/librumur.dir/src/Expr.cc.o
cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/librumur && /usr/bin/c++ -D_GNU_SOURCE -I/build/reproducible-path/rumur-2025.02.02/librumur/include -I/build/reproducible-path/rumur-2025.02.02/librumur/src -I/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/librumur -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2025.02.02=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -std=gnu++11 -MD -MT librumur/CMakeFiles/librumur.dir/src/Expr.cc.o -MF CMakeFiles/librumur.dir/src/Expr.cc.o.d -o CMakeFiles/librumur.dir/src/Expr.cc.o -c /build/reproducible-path/rumur-2025.02.02/librumur/src/Expr.cc
[ 13%] Building CXX object librumur/CMakeFiles/librumur.dir/src/Function.cc.o
-cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/librumur && /usr/bin/c++ -D_GNU_SOURCE -I/build/reproducible-path/rumur-2025.02.02/librumur/include -I/build/reproducible-path/rumur-2025.02.02/librumur/src -I/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/librumur -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2025.02.02=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -std=gnu++11 -MD -MT librumur/CMakeFiles/librumur.dir/src/Function.cc.o -MF CMakeFiles/librumur.dir/src/Function.cc.o.d -o CMakeFiles/librumur.dir/src/Function.cc.o -c /build/reproducible-path/rumur-2025.02.02/librumur/src/Function.cc
[ 13%] Building CXX object librumur/CMakeFiles/librumur.dir/src/indexer.cc.o
+cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/librumur && /usr/bin/c++ -D_GNU_SOURCE -I/build/reproducible-path/rumur-2025.02.02/librumur/include -I/build/reproducible-path/rumur-2025.02.02/librumur/src -I/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/librumur -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2025.02.02=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -std=gnu++11 -MD -MT librumur/CMakeFiles/librumur.dir/src/Function.cc.o -MF CMakeFiles/librumur.dir/src/Function.cc.o.d -o CMakeFiles/librumur.dir/src/Function.cc.o -c /build/reproducible-path/rumur-2025.02.02/librumur/src/Function.cc
+[ 15%] Building CXX object librumur/CMakeFiles/librumur.dir/src/Model.cc.o
+[ 15%] Building CXX object librumur/CMakeFiles/librumur.dir/src/Node.cc.o
cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/librumur && /usr/bin/c++ -D_GNU_SOURCE -I/build/reproducible-path/rumur-2025.02.02/librumur/include -I/build/reproducible-path/rumur-2025.02.02/librumur/src -I/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/librumur -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2025.02.02=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -std=gnu++11 -MD -MT librumur/CMakeFiles/librumur.dir/src/indexer.cc.o -MF CMakeFiles/librumur.dir/src/indexer.cc.o.d -o CMakeFiles/librumur.dir/src/indexer.cc.o -c /build/reproducible-path/rumur-2025.02.02/librumur/src/indexer.cc
-[ 14%] Building CXX object librumur/CMakeFiles/librumur.dir/src/Model.cc.o
cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/librumur && /usr/bin/c++ -D_GNU_SOURCE -I/build/reproducible-path/rumur-2025.02.02/librumur/include -I/build/reproducible-path/rumur-2025.02.02/librumur/src -I/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/librumur -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2025.02.02=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -std=gnu++11 -MD -MT librumur/CMakeFiles/librumur.dir/src/Model.cc.o -MF CMakeFiles/librumur.dir/src/Model.cc.o.d -o CMakeFiles/librumur.dir/src/Model.cc.o -c /build/reproducible-path/rumur-2025.02.02/librumur/src/Model.cc
-[ 15%] Building CXX object librumur/CMakeFiles/librumur.dir/src/Node.cc.o
[ 15%] Building CXX object librumur/CMakeFiles/librumur.dir/src/Number.cc.o
+[ 16%] Building CXX object librumur/CMakeFiles/librumur.dir/src/parse.cc.o
+[ 17%] Building CXX object librumur/CMakeFiles/librumur.dir/src/Property.cc.o
cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/librumur && /usr/bin/c++ -D_GNU_SOURCE -I/build/reproducible-path/rumur-2025.02.02/librumur/include -I/build/reproducible-path/rumur-2025.02.02/librumur/src -I/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/librumur -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2025.02.02=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -std=gnu++11 -MD -MT librumur/CMakeFiles/librumur.dir/src/Node.cc.o -MF CMakeFiles/librumur.dir/src/Node.cc.o.d -o CMakeFiles/librumur.dir/src/Node.cc.o -c /build/reproducible-path/rumur-2025.02.02/librumur/src/Node.cc
cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/librumur && /usr/bin/c++ -D_GNU_SOURCE -I/build/reproducible-path/rumur-2025.02.02/librumur/include -I/build/reproducible-path/rumur-2025.02.02/librumur/src -I/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/librumur -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2025.02.02=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -std=gnu++11 -MD -MT librumur/CMakeFiles/librumur.dir/src/Number.cc.o -MF CMakeFiles/librumur.dir/src/Number.cc.o.d -o CMakeFiles/librumur.dir/src/Number.cc.o -c /build/reproducible-path/rumur-2025.02.02/librumur/src/Number.cc
-[ 16%] Building CXX object librumur/CMakeFiles/librumur.dir/src/parse.cc.o
cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/librumur && /usr/bin/c++ -D_GNU_SOURCE -I/build/reproducible-path/rumur-2025.02.02/librumur/include -I/build/reproducible-path/rumur-2025.02.02/librumur/src -I/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/librumur -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2025.02.02=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -std=gnu++11 -MD -MT librumur/CMakeFiles/librumur.dir/src/parse.cc.o -MF CMakeFiles/librumur.dir/src/parse.cc.o.d -o CMakeFiles/librumur.dir/src/parse.cc.o -c /build/reproducible-path/rumur-2025.02.02/librumur/src/parse.cc
-[ 17%] Building CXX object librumur/CMakeFiles/librumur.dir/src/Property.cc.o
cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/librumur && /usr/bin/c++ -D_GNU_SOURCE -I/build/reproducible-path/rumur-2025.02.02/librumur/include -I/build/reproducible-path/rumur-2025.02.02/librumur/src -I/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/librumur -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2025.02.02=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -std=gnu++11 -MD -MT librumur/CMakeFiles/librumur.dir/src/Property.cc.o -MF CMakeFiles/librumur.dir/src/Property.cc.o.d -o CMakeFiles/librumur.dir/src/Property.cc.o -c /build/reproducible-path/rumur-2025.02.02/librumur/src/Property.cc
[ 18%] Building CXX object librumur/CMakeFiles/librumur.dir/src/resolve-symbols.cc.o
cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/librumur && /usr/bin/c++ -D_GNU_SOURCE -I/build/reproducible-path/rumur-2025.02.02/librumur/include -I/build/reproducible-path/rumur-2025.02.02/librumur/src -I/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/librumur -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2025.02.02=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -std=gnu++11 -MD -MT librumur/CMakeFiles/librumur.dir/src/resolve-symbols.cc.o -MF CMakeFiles/librumur.dir/src/resolve-symbols.cc.o.d -o CMakeFiles/librumur.dir/src/resolve-symbols.cc.o -c /build/reproducible-path/rumur-2025.02.02/librumur/src/resolve-symbols.cc
@@ -834,266 +870,266 @@
make -f murphi2murphi/CMakeFiles/murphi2murphi.dir/build.make murphi2murphi/CMakeFiles/murphi2murphi.dir/depend
make[3]: Entering directory '/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu'
make -f murphi2smv/CMakeFiles/murphi2smv.dir/build.make murphi2smv/CMakeFiles/murphi2smv.dir/depend
-[ 25%] Generating resources_manpage.cc
make[3]: Entering directory '/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu'
make -f murphi2uclid/CMakeFiles/murphi2uclid.dir/build.make murphi2uclid/CMakeFiles/murphi2uclid.dir/depend
-[ 25%] Generating resources_manpage.c
-cd /build/reproducible-path/rumur-2025.02.02/murphi2c && ../misc/xxd.py doc/murphi2c.1 /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2c/resources_manpage.cc
-cd /build/reproducible-path/rumur-2025.02.02/murphi-format && ../misc/xxd.py doc/murphi-format.1 /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi-format/resources_manpage.c
-[ 26%] Generating resources_h_prefix.cc
-cd /build/reproducible-path/rumur-2025.02.02/murphi2c && ../misc/xxd.py resources/h_prefix.h /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2c/resources_h_prefix.cc
make[3]: Entering directory '/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu'
make -f murphi2xml/CMakeFiles/murphi2xml.dir/build.make murphi2xml/CMakeFiles/murphi2xml.dir/depend
+[ 25%] Generating resources_manpage.c
make[3]: Entering directory '/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu'
make -f rumur/CMakeFiles/rumur.dir/build.make rumur/CMakeFiles/rumur.dir/depend
-[ 27%] Generating resources_c_prefix.cc
-[ 28%] Generating resources_manpage.cc
-cd /build/reproducible-path/rumur-2025.02.02/murphi2c && ../misc/xxd.py resources/c_prefix.c /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2c/resources_c_prefix.cc
+[ 25%] Generating resources_manpage.cc
+cd /build/reproducible-path/rumur-2025.02.02/murphi2c && ../misc/xxd.py doc/murphi2c.1 /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2c/resources_manpage.cc
+cd /build/reproducible-path/rumur-2025.02.02/murphi-format && ../misc/xxd.py doc/murphi-format.1 /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi-format/resources_manpage.c
make[3]: Entering directory '/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu'
make -f tests/murphi-comment-ls/CMakeFiles/murphi-comment-ls.dir/build.make tests/murphi-comment-ls/CMakeFiles/murphi-comment-ls.dir/depend
-[ 28%] Generating manpage.cc
-[ 29%] Generating manpage.cc
-cd /build/reproducible-path/rumur-2025.02.02/murphi2smv && ../misc/xxd.py doc/murphi2smv.1 /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2smv/manpage.cc
+[ 26%] Generating resources_manpage.cc
+[ 27%] Generating resources_c_prefix.cc
cd /build/reproducible-path/rumur-2025.02.02/murphi2murphi && ../misc/xxd.py doc/murphi2murphi.1 /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2murphi/resources_manpage.cc
+cd /build/reproducible-path/rumur-2025.02.02/murphi2c && ../misc/xxd.py resources/c_prefix.c /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2c/resources_c_prefix.cc
make[3]: Entering directory '/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu'
+[ 27%] Generating manpage.cc
cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /build/reproducible-path/rumur-2025.02.02 /build/reproducible-path/rumur-2025.02.02/tests/murphi-comment-ls /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/tests/murphi-comment-ls /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/tests/murphi-comment-ls/CMakeFiles/murphi-comment-ls.dir/DependInfo.cmake "--color="
+[ 28%] Generating resources_h_prefix.cc
+cd /build/reproducible-path/rumur-2025.02.02/murphi2smv && ../misc/xxd.py doc/murphi2smv.1 /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2smv/manpage.cc
+cd /build/reproducible-path/rumur-2025.02.02/murphi2c && ../misc/xxd.py resources/h_prefix.h /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2c/resources_h_prefix.cc
+[ 29%] Generating manpage.cc
+[ 29%] Generating manpage.cc
cd /build/reproducible-path/rumur-2025.02.02/murphi2uclid && ../misc/xxd.py doc/murphi2uclid.1 /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2uclid/manpage.cc
-[ 30%] Generating resources_manpage.cc
-cd /build/reproducible-path/rumur-2025.02.02/rumur && ../misc/xxd.py doc/rumur.1 /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/rumur/resources_manpage.cc
-[ 30%] Generating manpage.cc
-cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /build/reproducible-path/rumur-2025.02.02 /build/reproducible-path/rumur-2025.02.02/murphi-format /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi-format /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi-format/CMakeFiles/murphi-format.dir/DependInfo.cmake "--color="
cd /build/reproducible-path/rumur-2025.02.02/murphi2xml && ../misc/xxd.py doc/murphi2xml.1 /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2xml/manpage.cc
-cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /build/reproducible-path/rumur-2025.02.02 /build/reproducible-path/rumur-2025.02.02/murphi2uclid /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2uclid /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2uclid/CMakeFiles/murphi2uclid.dir/DependInfo.cmake "--color="
+[ 30%] Generating resources_manpage.cc
[ 30%] Generating resources_header.cc
-cd /build/reproducible-path/rumur-2025.02.02/rumur && ../misc/xxd.py resources/header.c /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/rumur/resources_header.cc
+cd /build/reproducible-path/rumur-2025.02.02/rumur && ../misc/xxd.py doc/rumur.1 /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/rumur/resources_manpage.cc
make[3]: Leaving directory '/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu'
make -f tests/murphi-comment-ls/CMakeFiles/murphi-comment-ls.dir/build.make tests/murphi-comment-ls/CMakeFiles/murphi-comment-ls.dir/build
+cd /build/reproducible-path/rumur-2025.02.02/rumur && ../misc/xxd.py resources/header.c /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/rumur/resources_header.cc
+make[3]: Entering directory '/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu'
[ 31%] Generating resources_includes.cc
cd /build/reproducible-path/rumur-2025.02.02/rumur && ../misc/xxd.py resources/includes.c /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/rumur/resources_includes.cc
-make[3]: Entering directory '/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu'
-cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /build/reproducible-path/rumur-2025.02.02 /build/reproducible-path/rumur-2025.02.02/murphi2c /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2c /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2c/CMakeFiles/murphi2c.dir/DependInfo.cmake "--color="
cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /build/reproducible-path/rumur-2025.02.02 /build/reproducible-path/rumur-2025.02.02/murphi2murphi /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2murphi /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2murphi/CMakeFiles/murphi2murphi.dir/DependInfo.cmake "--color="
-make[3]: Leaving directory '/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu'
-make -f murphi-format/CMakeFiles/murphi-format.dir/build.make murphi-format/CMakeFiles/murphi-format.dir/build
-make[3]: Leaving directory '/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu'
-make[3]: Entering directory '/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu'
-make -f murphi2uclid/CMakeFiles/murphi2uclid.dir/build.make murphi2uclid/CMakeFiles/murphi2uclid.dir/build
+[ 32%] Building CXX object tests/murphi-comment-ls/CMakeFiles/murphi-comment-ls.dir/main.cc.o
+cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/tests/murphi-comment-ls && /usr/bin/c++ -D_GNU_SOURCE -I/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/tests/murphi-comment-ls/../../librumur -I/build/reproducible-path/rumur-2025.02.02/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2025.02.02=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -std=gnu++11 -MD -MT tests/murphi-comment-ls/CMakeFiles/murphi-comment-ls.dir/main.cc.o -MF CMakeFiles/murphi-comment-ls.dir/main.cc.o.d -o CMakeFiles/murphi-comment-ls.dir/main.cc.o -c /build/reproducible-path/rumur-2025.02.02/tests/murphi-comment-ls/main.cc
+cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /build/reproducible-path/rumur-2025.02.02 /build/reproducible-path/rumur-2025.02.02/murphi-format /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi-format /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi-format/CMakeFiles/murphi-format.dir/DependInfo.cmake "--color="
cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /build/reproducible-path/rumur-2025.02.02 /build/reproducible-path/rumur-2025.02.02/murphi2smv /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2smv /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2smv/CMakeFiles/murphi2smv.dir/DependInfo.cmake "--color="
+cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /build/reproducible-path/rumur-2025.02.02 /build/reproducible-path/rumur-2025.02.02/murphi2c /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2c /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2c/CMakeFiles/murphi2c.dir/DependInfo.cmake "--color="
make[3]: Leaving directory '/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu'
-make[3]: Leaving directory '/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu'
+make -f murphi2murphi/CMakeFiles/murphi2murphi.dir/build.make murphi2murphi/CMakeFiles/murphi2murphi.dir/build
+cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /build/reproducible-path/rumur-2025.02.02 /build/reproducible-path/rumur-2025.02.02/murphi2xml /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2xml /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2xml/CMakeFiles/murphi2xml.dir/DependInfo.cmake "--color="
make[3]: Entering directory '/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu'
+cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /build/reproducible-path/rumur-2025.02.02 /build/reproducible-path/rumur-2025.02.02/murphi2uclid /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2uclid /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2uclid/CMakeFiles/murphi2uclid.dir/DependInfo.cmake "--color="
+make[3]: Leaving directory '/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu'
make -f murphi2c/CMakeFiles/murphi2c.dir/build.make murphi2c/CMakeFiles/murphi2c.dir/build
+make[3]: Leaving directory '/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu'
+make[3]: Leaving directory '/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu'
make[3]: Entering directory '/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu'
-make -f murphi2murphi/CMakeFiles/murphi2murphi.dir/build.make murphi2murphi/CMakeFiles/murphi2murphi.dir/build
-[ 32%] Building CXX object tests/murphi-comment-ls/CMakeFiles/murphi-comment-ls.dir/main.cc.o
-cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/tests/murphi-comment-ls && /usr/bin/c++ -D_GNU_SOURCE -I/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/tests/murphi-comment-ls/../../librumur -I/build/reproducible-path/rumur-2025.02.02/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2025.02.02=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -std=gnu++11 -MD -MT tests/murphi-comment-ls/CMakeFiles/murphi-comment-ls.dir/main.cc.o -MF CMakeFiles/murphi-comment-ls.dir/main.cc.o.d -o CMakeFiles/murphi-comment-ls.dir/main.cc.o -c /build/reproducible-path/rumur-2025.02.02/tests/murphi-comment-ls/main.cc
+make -f murphi-format/CMakeFiles/murphi-format.dir/build.make murphi-format/CMakeFiles/murphi-format.dir/build
make[3]: Entering directory '/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu'
-[ 33%] Building C object murphi-format/CMakeFiles/murphi-format.dir/resources_manpage.c.o
-cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi-format && /usr/bin/cc -D_GNU_SOURCE -I/build/reproducible-path/rumur-2025.02.02/murphi-format/src -I/build/reproducible-path/rumur-2025.02.02/librumur/include -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/build/reproducible-path/rumur-2025.02.02=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -Wall -Wextra -Wcast-align=strict -Wformat=2 -Wformat-overflow=2 -Wlogical-op -Wmissing-prototypes -Wstrict-aliasing=1 -Wpointer-arith -Wshadow -Wundef -Wwrite-strings -std=gnu99 -MD -MT murphi-format/CMakeFiles/murphi-format.dir/resources_manpage.c.o -MF CMakeFiles/murphi-format.dir/resources_manpage.c.o.d -o CMakeFiles/murphi-format.dir/resources_manpage.c.o -c /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi-format/resources_manpage.c
-cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /build/reproducible-path/rumur-2025.02.02 /build/reproducible-path/rumur-2025.02.02/murphi2xml /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2xml /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2xml/CMakeFiles/murphi2xml.dir/DependInfo.cmake "--color="
-[ 33%] Building CXX object murphi2uclid/CMakeFiles/murphi2uclid.dir/manpage.cc.o
-cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2uclid && /usr/bin/c++ -D_GNU_SOURCE -I/build/reproducible-path/rumur-2025.02.02/murphi2uclid/src -I/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2uclid/../librumur -I/build/reproducible-path/rumur-2025.02.02/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2025.02.02=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -std=gnu++11 -MD -MT murphi2uclid/CMakeFiles/murphi2uclid.dir/manpage.cc.o -MF CMakeFiles/murphi2uclid.dir/manpage.cc.o.d -o CMakeFiles/murphi2uclid.dir/manpage.cc.o -c /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2uclid/manpage.cc
-[ 34%] Building CXX object murphi2c/CMakeFiles/murphi2c.dir/resources_c_prefix.cc.o
-[ 35%] Building C object murphi2uclid/CMakeFiles/murphi2uclid.dir/__/common/help.c.o
-[ 36%] Building CXX object murphi2murphi/CMakeFiles/murphi2murphi.dir/resources_manpage.cc.o
-cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2uclid && /usr/bin/cc -D_GNU_SOURCE -I/build/reproducible-path/rumur-2025.02.02/murphi2uclid/src -I/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2uclid/../librumur -I/build/reproducible-path/rumur-2025.02.02/librumur/include -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/build/reproducible-path/rumur-2025.02.02=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -Wall -Wextra -Wcast-align=strict -Wformat=2 -Wformat-overflow=2 -Wlogical-op -Wmissing-prototypes -Wstrict-aliasing=1 -Wpointer-arith -Wshadow -Wundef -Wwrite-strings -std=gnu99 -MD -MT murphi2uclid/CMakeFiles/murphi2uclid.dir/__/common/help.c.o -MF CMakeFiles/murphi2uclid.dir/__/common/help.c.o.d -o CMakeFiles/murphi2uclid.dir/__/common/help.c.o -c /build/reproducible-path/rumur-2025.02.02/common/help.c
-cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2murphi && /usr/bin/c++ -D_GNU_SOURCE -I/build/reproducible-path/rumur-2025.02.02/murphi2murphi/src -I/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2murphi/../librumur -I/build/reproducible-path/rumur-2025.02.02/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2025.02.02=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -std=gnu++11 -MD -MT murphi2murphi/CMakeFiles/murphi2murphi.dir/resources_manpage.cc.o -MF CMakeFiles/murphi2murphi.dir/resources_manpage.cc.o.d -o CMakeFiles/murphi2murphi.dir/resources_manpage.cc.o -c /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2murphi/resources_manpage.cc
-make[3]: Leaving directory '/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu'
make -f murphi2smv/CMakeFiles/murphi2smv.dir/build.make murphi2smv/CMakeFiles/murphi2smv.dir/build
-cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2c && /usr/bin/c++ -D_GNU_SOURCE -I/build/reproducible-path/rumur-2025.02.02/murphi2c/src -I/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2c/../librumur -I/build/reproducible-path/rumur-2025.02.02/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2025.02.02=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -std=gnu++11 -MD -MT murphi2c/CMakeFiles/murphi2c.dir/resources_c_prefix.cc.o -MF CMakeFiles/murphi2c.dir/resources_c_prefix.cc.o.d -o CMakeFiles/murphi2c.dir/resources_c_prefix.cc.o -c /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2c/resources_c_prefix.cc
-[ 37%] Building C object murphi-format/CMakeFiles/murphi-format.dir/__/common/help.c.o
-[ 38%] Building CXX object murphi2c/CMakeFiles/murphi2c.dir/resources_h_prefix.cc.o
-cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi-format && /usr/bin/cc -D_GNU_SOURCE -I/build/reproducible-path/rumur-2025.02.02/murphi-format/src -I/build/reproducible-path/rumur-2025.02.02/librumur/include -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/build/reproducible-path/rumur-2025.02.02=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -Wall -Wextra -Wcast-align=strict -Wformat=2 -Wformat-overflow=2 -Wlogical-op -Wmissing-prototypes -Wstrict-aliasing=1 -Wpointer-arith -Wshadow -Wundef -Wwrite-strings -std=gnu99 -MD -MT murphi-format/CMakeFiles/murphi-format.dir/__/common/help.c.o -MF CMakeFiles/murphi-format.dir/__/common/help.c.o.d -o CMakeFiles/murphi-format.dir/__/common/help.c.o -c /build/reproducible-path/rumur-2025.02.02/common/help.c
-cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2c && /usr/bin/c++ -D_GNU_SOURCE -I/build/reproducible-path/rumur-2025.02.02/murphi2c/src -I/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2c/../librumur -I/build/reproducible-path/rumur-2025.02.02/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2025.02.02=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -std=gnu++11 -MD -MT murphi2c/CMakeFiles/murphi2c.dir/resources_h_prefix.cc.o -MF CMakeFiles/murphi2c.dir/resources_h_prefix.cc.o.d -o CMakeFiles/murphi2c.dir/resources_h_prefix.cc.o -c /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2c/resources_h_prefix.cc
make[3]: Entering directory '/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu'
-cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /build/reproducible-path/rumur-2025.02.02 /build/reproducible-path/rumur-2025.02.02/rumur /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/rumur /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/rumur/CMakeFiles/rumur.dir/DependInfo.cmake "--color="
make[3]: Leaving directory '/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu'
make -f murphi2xml/CMakeFiles/murphi2xml.dir/build.make murphi2xml/CMakeFiles/murphi2xml.dir/build
-make[3]: Entering directory '/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu'
-[ 38%] Building CXX object murphi2c/CMakeFiles/murphi2c.dir/resources_manpage.cc.o
-cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2c && /usr/bin/c++ -D_GNU_SOURCE -I/build/reproducible-path/rumur-2025.02.02/murphi2c/src -I/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2c/../librumur -I/build/reproducible-path/rumur-2025.02.02/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2025.02.02=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -std=gnu++11 -MD -MT murphi2c/CMakeFiles/murphi2c.dir/resources_manpage.cc.o -MF CMakeFiles/murphi2c.dir/resources_manpage.cc.o.d -o CMakeFiles/murphi2c.dir/resources_manpage.cc.o -c /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2c/resources_manpage.cc
-[ 38%] Building C object murphi-format/CMakeFiles/murphi-format.dir/src/format.c.o
-cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi-format && /usr/bin/cc -D_GNU_SOURCE -I/build/reproducible-path/rumur-2025.02.02/murphi-format/src -I/build/reproducible-path/rumur-2025.02.02/librumur/include -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/build/reproducible-path/rumur-2025.02.02=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -Wall -Wextra -Wcast-align=strict -Wformat=2 -Wformat-overflow=2 -Wlogical-op -Wmissing-prototypes -Wstrict-aliasing=1 -Wpointer-arith -Wshadow -Wundef -Wwrite-strings -std=gnu99 -MD -MT murphi-format/CMakeFiles/murphi-format.dir/src/format.c.o -MF CMakeFiles/murphi-format.dir/src/format.c.o.d -o CMakeFiles/murphi-format.dir/src/format.c.o -c /build/reproducible-path/rumur-2025.02.02/murphi-format/src/format.c
+[ 33%] Building CXX object murphi2murphi/CMakeFiles/murphi2murphi.dir/resources_manpage.cc.o
make[3]: Leaving directory '/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu'
-make -f rumur/CMakeFiles/rumur.dir/build.make rumur/CMakeFiles/rumur.dir/build
make[3]: Entering directory '/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu'
-[ 39%] Building CXX object murphi2smv/CMakeFiles/murphi2smv.dir/manpage.cc.o
+make -f murphi2uclid/CMakeFiles/murphi2uclid.dir/build.make murphi2uclid/CMakeFiles/murphi2uclid.dir/build
+cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2murphi && /usr/bin/c++ -D_GNU_SOURCE -I/build/reproducible-path/rumur-2025.02.02/murphi2murphi/src -I/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2murphi/../librumur -I/build/reproducible-path/rumur-2025.02.02/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2025.02.02=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -std=gnu++11 -MD -MT murphi2murphi/CMakeFiles/murphi2murphi.dir/resources_manpage.cc.o -MF CMakeFiles/murphi2murphi.dir/resources_manpage.cc.o.d -o CMakeFiles/murphi2murphi.dir/resources_manpage.cc.o -c /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2murphi/resources_manpage.cc
+[ 34%] Building C object murphi2murphi/CMakeFiles/murphi2murphi.dir/__/common/help.c.o
+make[3]: Entering directory '/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu'
+cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2murphi && /usr/bin/cc -D_GNU_SOURCE -I/build/reproducible-path/rumur-2025.02.02/murphi2murphi/src -I/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2murphi/../librumur -I/build/reproducible-path/rumur-2025.02.02/librumur/include -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/build/reproducible-path/rumur-2025.02.02=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -Wall -Wextra -Wcast-align=strict -Wformat=2 -Wformat-overflow=2 -Wlogical-op -Wmissing-prototypes -Wstrict-aliasing=1 -Wpointer-arith -Wshadow -Wundef -Wwrite-strings -std=gnu99 -MD -MT murphi2murphi/CMakeFiles/murphi2murphi.dir/__/common/help.c.o -MF CMakeFiles/murphi2murphi.dir/__/common/help.c.o.d -o CMakeFiles/murphi2murphi.dir/__/common/help.c.o -c /build/reproducible-path/rumur-2025.02.02/common/help.c
+[ 34%] Building CXX object murphi2murphi/CMakeFiles/murphi2murphi.dir/src/DecomposeComplexComparisons.cc.o
+[ 35%] Building CXX object murphi2c/CMakeFiles/murphi2c.dir/resources_c_prefix.cc.o
+cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2murphi && /usr/bin/c++ -D_GNU_SOURCE -I/build/reproducible-path/rumur-2025.02.02/murphi2murphi/src -I/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2murphi/../librumur -I/build/reproducible-path/rumur-2025.02.02/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2025.02.02=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -std=gnu++11 -MD -MT murphi2murphi/CMakeFiles/murphi2murphi.dir/src/DecomposeComplexComparisons.cc.o -MF CMakeFiles/murphi2murphi.dir/src/DecomposeComplexComparisons.cc.o.d -o CMakeFiles/murphi2murphi.dir/src/DecomposeComplexComparisons.cc.o -c /build/reproducible-path/rumur-2025.02.02/murphi2murphi/src/DecomposeComplexComparisons.cc
+cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2c && /usr/bin/c++ -D_GNU_SOURCE -I/build/reproducible-path/rumur-2025.02.02/murphi2c/src -I/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2c/../librumur -I/build/reproducible-path/rumur-2025.02.02/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2025.02.02=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -std=gnu++11 -MD -MT murphi2c/CMakeFiles/murphi2c.dir/resources_c_prefix.cc.o -MF CMakeFiles/murphi2c.dir/resources_c_prefix.cc.o.d -o CMakeFiles/murphi2c.dir/resources_c_prefix.cc.o -c /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2c/resources_c_prefix.cc
+[ 36%] Building CXX object murphi2murphi/CMakeFiles/murphi2murphi.dir/src/ExplicitSemicolons.cc.o
+[ 37%] Building C object murphi-format/CMakeFiles/murphi-format.dir/resources_manpage.c.o
+cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi-format && /usr/bin/cc -D_GNU_SOURCE -I/build/reproducible-path/rumur-2025.02.02/murphi-format/src -I/build/reproducible-path/rumur-2025.02.02/librumur/include -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/build/reproducible-path/rumur-2025.02.02=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -Wall -Wextra -Wcast-align=strict -Wformat=2 -Wformat-overflow=2 -Wlogical-op -Wmissing-prototypes -Wstrict-aliasing=1 -Wpointer-arith -Wshadow -Wundef -Wwrite-strings -std=gnu99 -MD -MT murphi-format/CMakeFiles/murphi-format.dir/resources_manpage.c.o -MF CMakeFiles/murphi-format.dir/resources_manpage.c.o.d -o CMakeFiles/murphi-format.dir/resources_manpage.c.o -c /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi-format/resources_manpage.c
+[ 38%] Building CXX object murphi2smv/CMakeFiles/murphi2smv.dir/manpage.cc.o
+cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2murphi && /usr/bin/c++ -D_GNU_SOURCE -I/build/reproducible-path/rumur-2025.02.02/murphi2murphi/src -I/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2murphi/../librumur -I/build/reproducible-path/rumur-2025.02.02/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2025.02.02=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -std=gnu++11 -MD -MT murphi2murphi/CMakeFiles/murphi2murphi.dir/src/ExplicitSemicolons.cc.o -MF CMakeFiles/murphi2murphi.dir/src/ExplicitSemicolons.cc.o.d -o CMakeFiles/murphi2murphi.dir/src/ExplicitSemicolons.cc.o -c /build/reproducible-path/rumur-2025.02.02/murphi2murphi/src/ExplicitSemicolons.cc
cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2smv && /usr/bin/c++ -D_GNU_SOURCE -I/build/reproducible-path/rumur-2025.02.02/murphi2smv/src -I/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2smv/../librumur -I/build/reproducible-path/rumur-2025.02.02/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2025.02.02=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -std=gnu++11 -MD -MT murphi2smv/CMakeFiles/murphi2smv.dir/manpage.cc.o -MF CMakeFiles/murphi2smv.dir/manpage.cc.o.d -o CMakeFiles/murphi2smv.dir/manpage.cc.o -c /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2smv/manpage.cc
-[ 40%] Building CXX object murphi2xml/CMakeFiles/murphi2xml.dir/manpage.cc.o
+[ 39%] Building CXX object murphi2xml/CMakeFiles/murphi2xml.dir/manpage.cc.o
+[ 39%] Building CXX object murphi2uclid/CMakeFiles/murphi2uclid.dir/manpage.cc.o
+cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2uclid && /usr/bin/c++ -D_GNU_SOURCE -I/build/reproducible-path/rumur-2025.02.02/murphi2uclid/src -I/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2uclid/../librumur -I/build/reproducible-path/rumur-2025.02.02/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2025.02.02=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -std=gnu++11 -MD -MT murphi2uclid/CMakeFiles/murphi2uclid.dir/manpage.cc.o -MF CMakeFiles/murphi2uclid.dir/manpage.cc.o.d -o CMakeFiles/murphi2uclid.dir/manpage.cc.o -c /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2uclid/manpage.cc
+[ 40%] Building CXX object murphi2c/CMakeFiles/murphi2c.dir/resources_h_prefix.cc.o
+cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2c && /usr/bin/c++ -D_GNU_SOURCE -I/build/reproducible-path/rumur-2025.02.02/murphi2c/src -I/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2c/../librumur -I/build/reproducible-path/rumur-2025.02.02/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2025.02.02=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -std=gnu++11 -MD -MT murphi2c/CMakeFiles/murphi2c.dir/resources_h_prefix.cc.o -MF CMakeFiles/murphi2c.dir/resources_h_prefix.cc.o.d -o CMakeFiles/murphi2c.dir/resources_h_prefix.cc.o -c /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2c/resources_h_prefix.cc
cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2xml && /usr/bin/c++ -D_GNU_SOURCE -I/build/reproducible-path/rumur-2025.02.02/murphi2xml/src -I/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2xml/../librumur -I/build/reproducible-path/rumur-2025.02.02/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2025.02.02=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -std=gnu++11 -MD -MT murphi2xml/CMakeFiles/murphi2xml.dir/manpage.cc.o -MF CMakeFiles/murphi2xml.dir/manpage.cc.o.d -o CMakeFiles/murphi2xml.dir/manpage.cc.o -c /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2xml/manpage.cc
-[ 41%] Building CXX object murphi2uclid/CMakeFiles/murphi2uclid.dir/src/check.cc.o
-cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2uclid && /usr/bin/c++ -D_GNU_SOURCE -I/build/reproducible-path/rumur-2025.02.02/murphi2uclid/src -I/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2uclid/../librumur -I/build/reproducible-path/rumur-2025.02.02/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2025.02.02=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -std=gnu++11 -MD -MT murphi2uclid/CMakeFiles/murphi2uclid.dir/src/check.cc.o -MF CMakeFiles/murphi2uclid.dir/src/check.cc.o.d -o CMakeFiles/murphi2uclid.dir/src/check.cc.o -c /build/reproducible-path/rumur-2025.02.02/murphi2uclid/src/check.cc
-[ 42%] Building C object murphi2murphi/CMakeFiles/murphi2murphi.dir/__/common/help.c.o
-cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2murphi && /usr/bin/cc -D_GNU_SOURCE -I/build/reproducible-path/rumur-2025.02.02/murphi2murphi/src -I/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2murphi/../librumur -I/build/reproducible-path/rumur-2025.02.02/librumur/include -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/build/reproducible-path/rumur-2025.02.02=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -Wall -Wextra -Wcast-align=strict -Wformat=2 -Wformat-overflow=2 -Wlogical-op -Wmissing-prototypes -Wstrict-aliasing=1 -Wpointer-arith -Wshadow -Wundef -Wwrite-strings -std=gnu99 -MD -MT murphi2murphi/CMakeFiles/murphi2murphi.dir/__/common/help.c.o -MF CMakeFiles/murphi2murphi.dir/__/common/help.c.o.d -o CMakeFiles/murphi2murphi.dir/__/common/help.c.o -c /build/reproducible-path/rumur-2025.02.02/common/help.c
-[ 43%] Building CXX object rumur/CMakeFiles/rumur.dir/resources_includes.cc.o
-cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/rumur && /usr/bin/c++ -D_GNU_SOURCE -I/build/reproducible-path/rumur-2025.02.02/rumur/src -I/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/rumur/../librumur -I/build/reproducible-path/rumur-2025.02.02/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2025.02.02=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -std=gnu++11 -MD -MT rumur/CMakeFiles/rumur.dir/resources_includes.cc.o -MF CMakeFiles/rumur.dir/resources_includes.cc.o.d -o CMakeFiles/rumur.dir/resources_includes.cc.o -c /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/rumur/resources_includes.cc
-[ 44%] Building C object murphi-format/CMakeFiles/murphi-format.dir/src/lex_free.c.o
-cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi-format && /usr/bin/cc -D_GNU_SOURCE -I/build/reproducible-path/rumur-2025.02.02/murphi-format/src -I/build/reproducible-path/rumur-2025.02.02/librumur/include -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/build/reproducible-path/rumur-2025.02.02=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -Wall -Wextra -Wcast-align=strict -Wformat=2 -Wformat-overflow=2 -Wlogical-op -Wmissing-prototypes -Wstrict-aliasing=1 -Wpointer-arith -Wshadow -Wundef -Wwrite-strings -std=gnu99 -MD -MT murphi-format/CMakeFiles/murphi-format.dir/src/lex_free.c.o -MF CMakeFiles/murphi-format.dir/src/lex_free.c.o.d -o CMakeFiles/murphi-format.dir/src/lex_free.c.o -c /build/reproducible-path/rumur-2025.02.02/murphi-format/src/lex_free.c
+[ 41%] Building CXX object murphi2murphi/CMakeFiles/murphi2murphi.dir/src/main.cc.o
+cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2murphi && /usr/bin/c++ -D_GNU_SOURCE -I/build/reproducible-path/rumur-2025.02.02/murphi2murphi/src -I/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2murphi/../librumur -I/build/reproducible-path/rumur-2025.02.02/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2025.02.02=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -std=gnu++11 -MD -MT murphi2murphi/CMakeFiles/murphi2murphi.dir/src/main.cc.o -MF CMakeFiles/murphi2murphi.dir/src/main.cc.o.d -o CMakeFiles/murphi2murphi.dir/src/main.cc.o -c /build/reproducible-path/rumur-2025.02.02/murphi2murphi/src/main.cc
+[ 42%] Building C object murphi-format/CMakeFiles/murphi-format.dir/__/common/help.c.o
+[ 42%] Building CXX object murphi2c/CMakeFiles/murphi2c.dir/resources_manpage.cc.o
+cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2c && /usr/bin/c++ -D_GNU_SOURCE -I/build/reproducible-path/rumur-2025.02.02/murphi2c/src -I/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2c/../librumur -I/build/reproducible-path/rumur-2025.02.02/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2025.02.02=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -std=gnu++11 -MD -MT murphi2c/CMakeFiles/murphi2c.dir/resources_manpage.cc.o -MF CMakeFiles/murphi2c.dir/resources_manpage.cc.o.d -o CMakeFiles/murphi2c.dir/resources_manpage.cc.o -c /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2c/resources_manpage.cc
+cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi-format && /usr/bin/cc -D_GNU_SOURCE -I/build/reproducible-path/rumur-2025.02.02/murphi-format/src -I/build/reproducible-path/rumur-2025.02.02/librumur/include -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/build/reproducible-path/rumur-2025.02.02=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -Wall -Wextra -Wcast-align=strict -Wformat=2 -Wformat-overflow=2 -Wlogical-op -Wmissing-prototypes -Wstrict-aliasing=1 -Wpointer-arith -Wshadow -Wundef -Wwrite-strings -std=gnu99 -MD -MT murphi-format/CMakeFiles/murphi-format.dir/__/common/help.c.o -MF CMakeFiles/murphi-format.dir/__/common/help.c.o.d -o CMakeFiles/murphi-format.dir/__/common/help.c.o -c /build/reproducible-path/rumur-2025.02.02/common/help.c
+[ 43%] Building C object murphi2smv/CMakeFiles/murphi2smv.dir/__/common/help.c.o
+[ 44%] Building C object murphi2xml/CMakeFiles/murphi2xml.dir/__/common/help.c.o
+cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2smv && /usr/bin/cc -D_GNU_SOURCE -I/build/reproducible-path/rumur-2025.02.02/murphi2smv/src -I/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2smv/../librumur -I/build/reproducible-path/rumur-2025.02.02/librumur/include -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/build/reproducible-path/rumur-2025.02.02=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -Wall -Wextra -Wcast-align=strict -Wformat=2 -Wformat-overflow=2 -Wlogical-op -Wmissing-prototypes -Wstrict-aliasing=1 -Wpointer-arith -Wshadow -Wundef -Wwrite-strings -std=gnu99 -MD -MT murphi2smv/CMakeFiles/murphi2smv.dir/__/common/help.c.o -MF CMakeFiles/murphi2smv.dir/__/common/help.c.o.d -o CMakeFiles/murphi2smv.dir/__/common/help.c.o -c /build/reproducible-path/rumur-2025.02.02/common/help.c
+cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2xml && /usr/bin/cc -D_GNU_SOURCE -I/build/reproducible-path/rumur-2025.02.02/murphi2xml/src -I/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2xml/../librumur -I/build/reproducible-path/rumur-2025.02.02/librumur/include -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/build/reproducible-path/rumur-2025.02.02=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -Wall -Wextra -Wcast-align=strict -Wformat=2 -Wformat-overflow=2 -Wlogical-op -Wmissing-prototypes -Wstrict-aliasing=1 -Wpointer-arith -Wshadow -Wundef -Wwrite-strings -std=gnu99 -MD -MT murphi2xml/CMakeFiles/murphi2xml.dir/__/common/help.c.o -MF CMakeFiles/murphi2xml.dir/__/common/help.c.o.d -o CMakeFiles/murphi2xml.dir/__/common/help.c.o -c /build/reproducible-path/rumur-2025.02.02/common/help.c
[ 45%] Building CXX object murphi2c/CMakeFiles/murphi2c.dir/__/common/escape.cc.o
cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2c && /usr/bin/c++ -D_GNU_SOURCE -I/build/reproducible-path/rumur-2025.02.02/murphi2c/src -I/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2c/../librumur -I/build/reproducible-path/rumur-2025.02.02/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2025.02.02=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -std=gnu++11 -MD -MT murphi2c/CMakeFiles/murphi2c.dir/__/common/escape.cc.o -MF CMakeFiles/murphi2c.dir/__/common/escape.cc.o.d -o CMakeFiles/murphi2c.dir/__/common/escape.cc.o -c /build/reproducible-path/rumur-2025.02.02/common/escape.cc
-[ 46%] Building C object murphi2c/CMakeFiles/murphi2c.dir/__/common/help.c.o
+[ 46%] Building C object murphi2uclid/CMakeFiles/murphi2uclid.dir/__/common/help.c.o
+cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2uclid && /usr/bin/cc -D_GNU_SOURCE -I/build/reproducible-path/rumur-2025.02.02/murphi2uclid/src -I/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2uclid/../librumur -I/build/reproducible-path/rumur-2025.02.02/librumur/include -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/build/reproducible-path/rumur-2025.02.02=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -Wall -Wextra -Wcast-align=strict -Wformat=2 -Wformat-overflow=2 -Wlogical-op -Wmissing-prototypes -Wstrict-aliasing=1 -Wpointer-arith -Wshadow -Wundef -Wwrite-strings -std=gnu99 -MD -MT murphi2uclid/CMakeFiles/murphi2uclid.dir/__/common/help.c.o -MF CMakeFiles/murphi2uclid.dir/__/common/help.c.o.d -o CMakeFiles/murphi2uclid.dir/__/common/help.c.o -c /build/reproducible-path/rumur-2025.02.02/common/help.c
+cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /build/reproducible-path/rumur-2025.02.02 /build/reproducible-path/rumur-2025.02.02/rumur /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/rumur /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/rumur/CMakeFiles/rumur.dir/DependInfo.cmake "--color="
+make[3]: Leaving directory '/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu'
+make -f rumur/CMakeFiles/rumur.dir/build.make rumur/CMakeFiles/rumur.dir/build
+make[3]: Entering directory '/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu'
+[ 47%] Building CXX object rumur/CMakeFiles/rumur.dir/resources_includes.cc.o
+cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/rumur && /usr/bin/c++ -D_GNU_SOURCE -I/build/reproducible-path/rumur-2025.02.02/rumur/src -I/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/rumur/../librumur -I/build/reproducible-path/rumur-2025.02.02/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2025.02.02=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -std=gnu++11 -MD -MT rumur/CMakeFiles/rumur.dir/resources_includes.cc.o -MF CMakeFiles/rumur.dir/resources_includes.cc.o.d -o CMakeFiles/rumur.dir/resources_includes.cc.o -c /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/rumur/resources_includes.cc
+[ 48%] Building C object murphi2c/CMakeFiles/murphi2c.dir/__/common/help.c.o
cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2c && /usr/bin/cc -D_GNU_SOURCE -I/build/reproducible-path/rumur-2025.02.02/murphi2c/src -I/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2c/../librumur -I/build/reproducible-path/rumur-2025.02.02/librumur/include -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/build/reproducible-path/rumur-2025.02.02=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -Wall -Wextra -Wcast-align=strict -Wformat=2 -Wformat-overflow=2 -Wlogical-op -Wmissing-prototypes -Wstrict-aliasing=1 -Wpointer-arith -Wshadow -Wundef -Wwrite-strings -std=gnu99 -MD -MT murphi2c/CMakeFiles/murphi2c.dir/__/common/help.c.o -MF CMakeFiles/murphi2c.dir/__/common/help.c.o.d -o CMakeFiles/murphi2c.dir/__/common/help.c.o -c /build/reproducible-path/rumur-2025.02.02/common/help.c
-[ 47%] Building C object murphi-format/CMakeFiles/murphi-format.dir/src/lex_get_token.c.o
-cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi-format && /usr/bin/cc -D_GNU_SOURCE -I/build/reproducible-path/rumur-2025.02.02/murphi-format/src -I/build/reproducible-path/rumur-2025.02.02/librumur/include -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/build/reproducible-path/rumur-2025.02.02=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -Wall -Wextra -Wcast-align=strict -Wformat=2 -Wformat-overflow=2 -Wlogical-op -Wmissing-prototypes -Wstrict-aliasing=1 -Wpointer-arith -Wshadow -Wundef -Wwrite-strings -std=gnu99 -MD -MT murphi-format/CMakeFiles/murphi-format.dir/src/lex_get_token.c.o -MF CMakeFiles/murphi-format.dir/src/lex_get_token.c.o.d -o CMakeFiles/murphi-format.dir/src/lex_get_token.c.o -c /build/reproducible-path/rumur-2025.02.02/murphi-format/src/lex_get_token.c
-[ 48%] Building C object murphi2smv/CMakeFiles/murphi2smv.dir/__/common/help.c.o
-[ 48%] Building CXX object murphi2uclid/CMakeFiles/murphi2uclid.dir/src/codegen.cc.o
-cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2uclid && /usr/bin/c++ -D_GNU_SOURCE -I/build/reproducible-path/rumur-2025.02.02/murphi2uclid/src -I/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2uclid/../librumur -I/build/reproducible-path/rumur-2025.02.02/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2025.02.02=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -std=gnu++11 -MD -MT murphi2uclid/CMakeFiles/murphi2uclid.dir/src/codegen.cc.o -MF CMakeFiles/murphi2uclid.dir/src/codegen.cc.o.d -o CMakeFiles/murphi2uclid.dir/src/codegen.cc.o -c /build/reproducible-path/rumur-2025.02.02/murphi2uclid/src/codegen.cc
-cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2smv && /usr/bin/cc -D_GNU_SOURCE -I/build/reproducible-path/rumur-2025.02.02/murphi2smv/src -I/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2smv/../librumur -I/build/reproducible-path/rumur-2025.02.02/librumur/include -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/build/reproducible-path/rumur-2025.02.02=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -Wall -Wextra -Wcast-align=strict -Wformat=2 -Wformat-overflow=2 -Wlogical-op -Wmissing-prototypes -Wstrict-aliasing=1 -Wpointer-arith -Wshadow -Wundef -Wwrite-strings -std=gnu99 -MD -MT murphi2smv/CMakeFiles/murphi2smv.dir/__/common/help.c.o -MF CMakeFiles/murphi2smv.dir/__/common/help.c.o.d -o CMakeFiles/murphi2smv.dir/__/common/help.c.o -c /build/reproducible-path/rumur-2025.02.02/common/help.c
-[ 49%] Building C object murphi2xml/CMakeFiles/murphi2xml.dir/__/common/help.c.o
-cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2xml && /usr/bin/cc -D_GNU_SOURCE -I/build/reproducible-path/rumur-2025.02.02/murphi2xml/src -I/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2xml/../librumur -I/build/reproducible-path/rumur-2025.02.02/librumur/include -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/build/reproducible-path/rumur-2025.02.02=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -Wall -Wextra -Wcast-align=strict -Wformat=2 -Wformat-overflow=2 -Wlogical-op -Wmissing-prototypes -Wstrict-aliasing=1 -Wpointer-arith -Wshadow -Wundef -Wwrite-strings -std=gnu99 -MD -MT murphi2xml/CMakeFiles/murphi2xml.dir/__/common/help.c.o -MF CMakeFiles/murphi2xml.dir/__/common/help.c.o.d -o CMakeFiles/murphi2xml.dir/__/common/help.c.o -c /build/reproducible-path/rumur-2025.02.02/common/help.c
+[ 49%] Building CXX object murphi2murphi/CMakeFiles/murphi2murphi.dir/src/options.cc.o
+cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2murphi && /usr/bin/c++ -D_GNU_SOURCE -I/build/reproducible-path/rumur-2025.02.02/murphi2murphi/src -I/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2murphi/../librumur -I/build/reproducible-path/rumur-2025.02.02/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2025.02.02=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -std=gnu++11 -MD -MT murphi2murphi/CMakeFiles/murphi2murphi.dir/src/options.cc.o -MF CMakeFiles/murphi2murphi.dir/src/options.cc.o.d -o CMakeFiles/murphi2murphi.dir/src/options.cc.o -c /build/reproducible-path/rumur-2025.02.02/murphi2murphi/src/options.cc
[ 50%] Building CXX object rumur/CMakeFiles/rumur.dir/resources_header.cc.o
cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/rumur && /usr/bin/c++ -D_GNU_SOURCE -I/build/reproducible-path/rumur-2025.02.02/rumur/src -I/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/rumur/../librumur -I/build/reproducible-path/rumur-2025.02.02/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2025.02.02=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -std=gnu++11 -MD -MT rumur/CMakeFiles/rumur.dir/resources_header.cc.o -MF CMakeFiles/rumur.dir/resources_header.cc.o.d -o CMakeFiles/rumur.dir/resources_header.cc.o -c /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/rumur/resources_header.cc
-[ 51%] Building C object murphi-format/CMakeFiles/murphi-format.dir/src/lex_new.c.o
-cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi-format && /usr/bin/cc -D_GNU_SOURCE -I/build/reproducible-path/rumur-2025.02.02/murphi-format/src -I/build/reproducible-path/rumur-2025.02.02/librumur/include -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/build/reproducible-path/rumur-2025.02.02=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -Wall -Wextra -Wcast-align=strict -Wformat=2 -Wformat-overflow=2 -Wlogical-op -Wmissing-prototypes -Wstrict-aliasing=1 -Wpointer-arith -Wshadow -Wundef -Wwrite-strings -std=gnu99 -MD -MT murphi-format/CMakeFiles/murphi-format.dir/src/lex_new.c.o -MF CMakeFiles/murphi-format.dir/src/lex_new.c.o.d -o CMakeFiles/murphi-format.dir/src/lex_new.c.o -c /build/reproducible-path/rumur-2025.02.02/murphi-format/src/lex_new.c
-[ 51%] Building CXX object murphi2murphi/CMakeFiles/murphi2murphi.dir/src/DecomposeComplexComparisons.cc.o
-cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2murphi && /usr/bin/c++ -D_GNU_SOURCE -I/build/reproducible-path/rumur-2025.02.02/murphi2murphi/src -I/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2murphi/../librumur -I/build/reproducible-path/rumur-2025.02.02/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2025.02.02=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -std=gnu++11 -MD -MT murphi2murphi/CMakeFiles/murphi2murphi.dir/src/DecomposeComplexComparisons.cc.o -MF CMakeFiles/murphi2murphi.dir/src/DecomposeComplexComparisons.cc.o.d -o CMakeFiles/murphi2murphi.dir/src/DecomposeComplexComparisons.cc.o -c /build/reproducible-path/rumur-2025.02.02/murphi2murphi/src/DecomposeComplexComparisons.cc
-[ 52%] Building CXX object murphi2smv/CMakeFiles/murphi2smv.dir/src/codegen.cc.o
-cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2smv && /usr/bin/c++ -D_GNU_SOURCE -I/build/reproducible-path/rumur-2025.02.02/murphi2smv/src -I/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2smv/../librumur -I/build/reproducible-path/rumur-2025.02.02/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2025.02.02=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -std=gnu++11 -MD -MT murphi2smv/CMakeFiles/murphi2smv.dir/src/codegen.cc.o -MF CMakeFiles/murphi2smv.dir/src/codegen.cc.o.d -o CMakeFiles/murphi2smv.dir/src/codegen.cc.o -c /build/reproducible-path/rumur-2025.02.02/murphi2smv/src/codegen.cc
-[ 52%] Building C object murphi-format/CMakeFiles/murphi-format.dir/src/main.c.o
-cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi-format && /usr/bin/cc -D_GNU_SOURCE -I/build/reproducible-path/rumur-2025.02.02/murphi-format/src -I/build/reproducible-path/rumur-2025.02.02/librumur/include -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/build/reproducible-path/rumur-2025.02.02=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -Wall -Wextra -Wcast-align=strict -Wformat=2 -Wformat-overflow=2 -Wlogical-op -Wmissing-prototypes -Wstrict-aliasing=1 -Wpointer-arith -Wshadow -Wundef -Wwrite-strings -std=gnu99 -MD -MT murphi-format/CMakeFiles/murphi-format.dir/src/main.c.o -MF CMakeFiles/murphi-format.dir/src/main.c.o.d -o CMakeFiles/murphi-format.dir/src/main.c.o -c /build/reproducible-path/rumur-2025.02.02/murphi-format/src/main.c
-[ 53%] Building CXX object murphi2c/CMakeFiles/murphi2c.dir/src/check.cc.o
-[ 54%] Building CXX object murphi2xml/CMakeFiles/murphi2xml.dir/src/main.cc.o
+[ 50%] Building C object murphi-format/CMakeFiles/murphi-format.dir/src/format.c.o
+cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi-format && /usr/bin/cc -D_GNU_SOURCE -I/build/reproducible-path/rumur-2025.02.02/murphi-format/src -I/build/reproducible-path/rumur-2025.02.02/librumur/include -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/build/reproducible-path/rumur-2025.02.02=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -Wall -Wextra -Wcast-align=strict -Wformat=2 -Wformat-overflow=2 -Wlogical-op -Wmissing-prototypes -Wstrict-aliasing=1 -Wpointer-arith -Wshadow -Wundef -Wwrite-strings -std=gnu99 -MD -MT murphi-format/CMakeFiles/murphi-format.dir/src/format.c.o -MF CMakeFiles/murphi-format.dir/src/format.c.o.d -o CMakeFiles/murphi-format.dir/src/format.c.o -c /build/reproducible-path/rumur-2025.02.02/murphi-format/src/format.c
+[ 51%] Building CXX object murphi2smv/CMakeFiles/murphi2smv.dir/src/codegen.cc.o
+[ 52%] Building CXX object murphi2c/CMakeFiles/murphi2c.dir/src/check.cc.o
cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2c && /usr/bin/c++ -D_GNU_SOURCE -I/build/reproducible-path/rumur-2025.02.02/murphi2c/src -I/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2c/../librumur -I/build/reproducible-path/rumur-2025.02.02/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2025.02.02=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -std=gnu++11 -MD -MT murphi2c/CMakeFiles/murphi2c.dir/src/check.cc.o -MF CMakeFiles/murphi2c.dir/src/check.cc.o.d -o CMakeFiles/murphi2c.dir/src/check.cc.o -c /build/reproducible-path/rumur-2025.02.02/murphi2c/src/check.cc
+cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2smv && /usr/bin/c++ -D_GNU_SOURCE -I/build/reproducible-path/rumur-2025.02.02/murphi2smv/src -I/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2smv/../librumur -I/build/reproducible-path/rumur-2025.02.02/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2025.02.02=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -std=gnu++11 -MD -MT murphi2smv/CMakeFiles/murphi2smv.dir/src/codegen.cc.o -MF CMakeFiles/murphi2smv.dir/src/codegen.cc.o.d -o CMakeFiles/murphi2smv.dir/src/codegen.cc.o -c /build/reproducible-path/rumur-2025.02.02/murphi2smv/src/codegen.cc
+[ 53%] Building CXX object murphi2xml/CMakeFiles/murphi2xml.dir/src/main.cc.o
cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2xml && /usr/bin/c++ -D_GNU_SOURCE -I/build/reproducible-path/rumur-2025.02.02/murphi2xml/src -I/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2xml/../librumur -I/build/reproducible-path/rumur-2025.02.02/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2025.02.02=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -std=gnu++11 -MD -MT murphi2xml/CMakeFiles/murphi2xml.dir/src/main.cc.o -MF CMakeFiles/murphi2xml.dir/src/main.cc.o.d -o CMakeFiles/murphi2xml.dir/src/main.cc.o -c /build/reproducible-path/rumur-2025.02.02/murphi2xml/src/main.cc
+[ 54%] Building CXX object murphi2uclid/CMakeFiles/murphi2uclid.dir/src/check.cc.o
+cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2uclid && /usr/bin/c++ -D_GNU_SOURCE -I/build/reproducible-path/rumur-2025.02.02/murphi2uclid/src -I/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2uclid/../librumur -I/build/reproducible-path/rumur-2025.02.02/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2025.02.02=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -std=gnu++11 -MD -MT murphi2uclid/CMakeFiles/murphi2uclid.dir/src/check.cc.o -MF CMakeFiles/murphi2uclid.dir/src/check.cc.o.d -o CMakeFiles/murphi2uclid.dir/src/check.cc.o -c /build/reproducible-path/rumur-2025.02.02/murphi2uclid/src/check.cc
[ 54%] Building CXX object murphi2c/CMakeFiles/murphi2c.dir/src/CLikeGenerator.cc.o
cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2c && /usr/bin/c++ -D_GNU_SOURCE -I/build/reproducible-path/rumur-2025.02.02/murphi2c/src -I/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2c/../librumur -I/build/reproducible-path/rumur-2025.02.02/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2025.02.02=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -std=gnu++11 -MD -MT murphi2c/CMakeFiles/murphi2c.dir/src/CLikeGenerator.cc.o -MF CMakeFiles/murphi2c.dir/src/CLikeGenerator.cc.o.d -o CMakeFiles/murphi2c.dir/src/CLikeGenerator.cc.o -c /build/reproducible-path/rumur-2025.02.02/murphi2c/src/CLikeGenerator.cc
-[ 54%] Building CXX object murphi2xml/CMakeFiles/murphi2xml.dir/src/XMLPrinter.cc.o
-cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2xml && /usr/bin/c++ -D_GNU_SOURCE -I/build/reproducible-path/rumur-2025.02.02/murphi2xml/src -I/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2xml/../librumur -I/build/reproducible-path/rumur-2025.02.02/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2025.02.02=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -std=gnu++11 -MD -MT murphi2xml/CMakeFiles/murphi2xml.dir/src/XMLPrinter.cc.o -MF CMakeFiles/murphi2xml.dir/src/XMLPrinter.cc.o.d -o CMakeFiles/murphi2xml.dir/src/XMLPrinter.cc.o -c /build/reproducible-path/rumur-2025.02.02/murphi2xml/src/XMLPrinter.cc
-[ 55%] Building CXX object murphi2murphi/CMakeFiles/murphi2murphi.dir/src/ExplicitSemicolons.cc.o
-cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2murphi && /usr/bin/c++ -D_GNU_SOURCE -I/build/reproducible-path/rumur-2025.02.02/murphi2murphi/src -I/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2murphi/../librumur -I/build/reproducible-path/rumur-2025.02.02/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2025.02.02=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -std=gnu++11 -MD -MT murphi2murphi/CMakeFiles/murphi2murphi.dir/src/ExplicitSemicolons.cc.o -MF CMakeFiles/murphi2murphi.dir/src/ExplicitSemicolons.cc.o.d -o CMakeFiles/murphi2murphi.dir/src/ExplicitSemicolons.cc.o -c /build/reproducible-path/rumur-2025.02.02/murphi2murphi/src/ExplicitSemicolons.cc
-[ 56%] Linking CXX executable murphi-format
-cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi-format && /usr/bin/cmake -E cmake_link_script CMakeFiles/murphi-format.dir/link.txt --verbose=1
-[ 56%] Building CXX object rumur/CMakeFiles/rumur.dir/resources_manpage.cc.o
+[ 54%] Building CXX object rumur/CMakeFiles/rumur.dir/resources_manpage.cc.o
cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/rumur && /usr/bin/c++ -D_GNU_SOURCE -I/build/reproducible-path/rumur-2025.02.02/rumur/src -I/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/rumur/../librumur -I/build/reproducible-path/rumur-2025.02.02/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2025.02.02=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -std=gnu++11 -MD -MT rumur/CMakeFiles/rumur.dir/resources_manpage.cc.o -MF CMakeFiles/rumur.dir/resources_manpage.cc.o.d -o CMakeFiles/rumur.dir/resources_manpage.cc.o -c /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/rumur/resources_manpage.cc
-[ 57%] Building CXX object rumur/CMakeFiles/rumur.dir/__/common/escape.cc.o
-cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/rumur && /usr/bin/c++ -D_GNU_SOURCE -I/build/reproducible-path/rumur-2025.02.02/rumur/src -I/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/rumur/../librumur -I/build/reproducible-path/rumur-2025.02.02/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2025.02.02=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -std=gnu++11 -MD -MT rumur/CMakeFiles/rumur.dir/__/common/escape.cc.o -MF CMakeFiles/rumur.dir/__/common/escape.cc.o.d -o CMakeFiles/rumur.dir/__/common/escape.cc.o -c /build/reproducible-path/rumur-2025.02.02/common/escape.cc
-/usr/bin/c++ -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2025.02.02=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -Wl,-z,relro -Wl,-z,now -Wl,--as-needed -rdynamic -Wl,--dependency-file=CMakeFiles/murphi-format.dir/link.d "CMakeFiles/murphi-format.dir/resources_manpage.c.o" "CMakeFiles/murphi-format.dir/__/common/help.c.o" "CMakeFiles/murphi-format.dir/src/format.c.o" "CMakeFiles/murphi-format.dir/src/lex_free.c.o" "CMakeFiles/murphi-format.dir/src/lex_get_token.c.o" "CMakeFiles/murphi-format.dir/src/lex_new.c.o" "CMakeFiles/murphi-format.dir/src/main.c.o" -o murphi-format -Wl,-rpath,:::::::::::::::::::::::::::::::: ../librumur/librumur.a -lgmpxx -lgmp
-make[3]: Leaving directory '/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu'
-[ 57%] Built target murphi-format
-[ 58%] Building CXX object murphi2c/CMakeFiles/murphi2c.dir/src/CodeGenerator.cc.o
+[ 55%] Building CXX object murphi2c/CMakeFiles/murphi2c.dir/src/CodeGenerator.cc.o
cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2c && /usr/bin/c++ -D_GNU_SOURCE -I/build/reproducible-path/rumur-2025.02.02/murphi2c/src -I/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2c/../librumur -I/build/reproducible-path/rumur-2025.02.02/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2025.02.02=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -std=gnu++11 -MD -MT murphi2c/CMakeFiles/murphi2c.dir/src/CodeGenerator.cc.o -MF CMakeFiles/murphi2c.dir/src/CodeGenerator.cc.o.d -o CMakeFiles/murphi2c.dir/src/CodeGenerator.cc.o -c /build/reproducible-path/rumur-2025.02.02/murphi2c/src/CodeGenerator.cc
-[ 59%] Building C object rumur/CMakeFiles/rumur.dir/__/common/help.c.o
-cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/rumur && /usr/bin/cc -D_GNU_SOURCE -I/build/reproducible-path/rumur-2025.02.02/rumur/src -I/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/rumur/../librumur -I/build/reproducible-path/rumur-2025.02.02/librumur/include -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/build/reproducible-path/rumur-2025.02.02=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -Wall -Wextra -Wcast-align=strict -Wformat=2 -Wformat-overflow=2 -Wlogical-op -Wmissing-prototypes -Wstrict-aliasing=1 -Wpointer-arith -Wshadow -Wundef -Wwrite-strings -std=gnu99 -MD -MT rumur/CMakeFiles/rumur.dir/__/common/help.c.o -MF CMakeFiles/rumur.dir/__/common/help.c.o.d -o CMakeFiles/rumur.dir/__/common/help.c.o -c /build/reproducible-path/rumur-2025.02.02/common/help.c
-[ 60%] Building CXX object murphi2c/CMakeFiles/murphi2c.dir/src/compares_complex_values.cc.o
+[ 56%] Building CXX object rumur/CMakeFiles/rumur.dir/__/common/escape.cc.o
+cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/rumur && /usr/bin/c++ -D_GNU_SOURCE -I/build/reproducible-path/rumur-2025.02.02/rumur/src -I/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/rumur/../librumur -I/build/reproducible-path/rumur-2025.02.02/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2025.02.02=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -std=gnu++11 -MD -MT rumur/CMakeFiles/rumur.dir/__/common/escape.cc.o -MF CMakeFiles/rumur.dir/__/common/escape.cc.o.d -o CMakeFiles/rumur.dir/__/common/escape.cc.o -c /build/reproducible-path/rumur-2025.02.02/common/escape.cc
+[ 57%] Building C object murphi-format/CMakeFiles/murphi-format.dir/src/lex_free.c.o
+cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi-format && /usr/bin/cc -D_GNU_SOURCE -I/build/reproducible-path/rumur-2025.02.02/murphi-format/src -I/build/reproducible-path/rumur-2025.02.02/librumur/include -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/build/reproducible-path/rumur-2025.02.02=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -Wall -Wextra -Wcast-align=strict -Wformat=2 -Wformat-overflow=2 -Wlogical-op -Wmissing-prototypes -Wstrict-aliasing=1 -Wpointer-arith -Wshadow -Wundef -Wwrite-strings -std=gnu99 -MD -MT murphi-format/CMakeFiles/murphi-format.dir/src/lex_free.c.o -MF CMakeFiles/murphi-format.dir/src/lex_free.c.o.d -o CMakeFiles/murphi-format.dir/src/lex_free.c.o -c /build/reproducible-path/rumur-2025.02.02/murphi-format/src/lex_free.c
+[ 58%] Building C object murphi-format/CMakeFiles/murphi-format.dir/src/lex_get_token.c.o
+cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi-format && /usr/bin/cc -D_GNU_SOURCE -I/build/reproducible-path/rumur-2025.02.02/murphi-format/src -I/build/reproducible-path/rumur-2025.02.02/librumur/include -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/build/reproducible-path/rumur-2025.02.02=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -Wall -Wextra -Wcast-align=strict -Wformat=2 -Wformat-overflow=2 -Wlogical-op -Wmissing-prototypes -Wstrict-aliasing=1 -Wpointer-arith -Wshadow -Wundef -Wwrite-strings -std=gnu99 -MD -MT murphi-format/CMakeFiles/murphi-format.dir/src/lex_get_token.c.o -MF CMakeFiles/murphi-format.dir/src/lex_get_token.c.o.d -o CMakeFiles/murphi-format.dir/src/lex_get_token.c.o -c /build/reproducible-path/rumur-2025.02.02/murphi-format/src/lex_get_token.c
+[ 59%] Building CXX object murphi2c/CMakeFiles/murphi2c.dir/src/compares_complex_values.cc.o
cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2c && /usr/bin/c++ -D_GNU_SOURCE -I/build/reproducible-path/rumur-2025.02.02/murphi2c/src -I/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2c/../librumur -I/build/reproducible-path/rumur-2025.02.02/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2025.02.02=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -std=gnu++11 -MD -MT murphi2c/CMakeFiles/murphi2c.dir/src/compares_complex_values.cc.o -MF CMakeFiles/murphi2c.dir/src/compares_complex_values.cc.o.d -o CMakeFiles/murphi2c.dir/src/compares_complex_values.cc.o -c /build/reproducible-path/rumur-2025.02.02/murphi2c/src/compares_complex_values.cc
-[ 61%] Building CXX object rumur/CMakeFiles/rumur.dir/src/assume-statements-count.cc.o
+[ 60%] Building C object rumur/CMakeFiles/rumur.dir/__/common/help.c.o
+cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/rumur && /usr/bin/cc -D_GNU_SOURCE -I/build/reproducible-path/rumur-2025.02.02/rumur/src -I/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/rumur/../librumur -I/build/reproducible-path/rumur-2025.02.02/librumur/include -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/build/reproducible-path/rumur-2025.02.02=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -Wall -Wextra -Wcast-align=strict -Wformat=2 -Wformat-overflow=2 -Wlogical-op -Wmissing-prototypes -Wstrict-aliasing=1 -Wpointer-arith -Wshadow -Wundef -Wwrite-strings -std=gnu99 -MD -MT rumur/CMakeFiles/rumur.dir/__/common/help.c.o -MF CMakeFiles/rumur.dir/__/common/help.c.o.d -o CMakeFiles/rumur.dir/__/common/help.c.o -c /build/reproducible-path/rumur-2025.02.02/common/help.c
+[ 61%] Building C object murphi-format/CMakeFiles/murphi-format.dir/src/lex_new.c.o
+cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi-format && /usr/bin/cc -D_GNU_SOURCE -I/build/reproducible-path/rumur-2025.02.02/murphi-format/src -I/build/reproducible-path/rumur-2025.02.02/librumur/include -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/build/reproducible-path/rumur-2025.02.02=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -Wall -Wextra -Wcast-align=strict -Wformat=2 -Wformat-overflow=2 -Wlogical-op -Wmissing-prototypes -Wstrict-aliasing=1 -Wpointer-arith -Wshadow -Wundef -Wwrite-strings -std=gnu99 -MD -MT murphi-format/CMakeFiles/murphi-format.dir/src/lex_new.c.o -MF CMakeFiles/murphi-format.dir/src/lex_new.c.o.d -o CMakeFiles/murphi-format.dir/src/lex_new.c.o -c /build/reproducible-path/rumur-2025.02.02/murphi-format/src/lex_new.c
+[ 62%] Building CXX object rumur/CMakeFiles/rumur.dir/src/assume-statements-count.cc.o
cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/rumur && /usr/bin/c++ -D_GNU_SOURCE -I/build/reproducible-path/rumur-2025.02.02/rumur/src -I/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/rumur/../librumur -I/build/reproducible-path/rumur-2025.02.02/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2025.02.02=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -std=gnu++11 -MD -MT rumur/CMakeFiles/rumur.dir/src/assume-statements-count.cc.o -MF CMakeFiles/rumur.dir/src/assume-statements-count.cc.o.d -o CMakeFiles/rumur.dir/src/assume-statements-count.cc.o -c /build/reproducible-path/rumur-2025.02.02/rumur/src/assume-statements-count.cc
-[ 62%] Linking CXX executable murphi-comment-ls
+[ 62%] Building C object murphi-format/CMakeFiles/murphi-format.dir/src/main.c.o
+cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi-format && /usr/bin/cc -D_GNU_SOURCE -I/build/reproducible-path/rumur-2025.02.02/murphi-format/src -I/build/reproducible-path/rumur-2025.02.02/librumur/include -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/build/reproducible-path/rumur-2025.02.02=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -Wall -Wextra -Wcast-align=strict -Wformat=2 -Wformat-overflow=2 -Wlogical-op -Wmissing-prototypes -Wstrict-aliasing=1 -Wpointer-arith -Wshadow -Wundef -Wwrite-strings -std=gnu99 -MD -MT murphi-format/CMakeFiles/murphi-format.dir/src/main.c.o -MF CMakeFiles/murphi-format.dir/src/main.c.o.d -o CMakeFiles/murphi-format.dir/src/main.c.o -c /build/reproducible-path/rumur-2025.02.02/murphi-format/src/main.c
+[ 63%] Linking CXX executable murphi-format
+cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi-format && /usr/bin/cmake -E cmake_link_script CMakeFiles/murphi-format.dir/link.txt --verbose=1
+/usr/bin/c++ -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2025.02.02=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -Wl,-z,relro -Wl,-z,now -Wl,--as-needed -rdynamic -Wl,--dependency-file=CMakeFiles/murphi-format.dir/link.d "CMakeFiles/murphi-format.dir/resources_manpage.c.o" "CMakeFiles/murphi-format.dir/__/common/help.c.o" "CMakeFiles/murphi-format.dir/src/format.c.o" "CMakeFiles/murphi-format.dir/src/lex_free.c.o" "CMakeFiles/murphi-format.dir/src/lex_get_token.c.o" "CMakeFiles/murphi-format.dir/src/lex_new.c.o" "CMakeFiles/murphi-format.dir/src/main.c.o" -o murphi-format -Wl,-rpath,:::::::::::::::::::::::::::::::: ../librumur/librumur.a -lgmpxx -lgmp
+make[3]: Leaving directory '/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu'
+[ 63%] Built target murphi-format
+[ 63%] Building CXX object murphi2xml/CMakeFiles/murphi2xml.dir/src/XMLPrinter.cc.o
+cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2xml && /usr/bin/c++ -D_GNU_SOURCE -I/build/reproducible-path/rumur-2025.02.02/murphi2xml/src -I/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2xml/../librumur -I/build/reproducible-path/rumur-2025.02.02/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2025.02.02=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -std=gnu++11 -MD -MT murphi2xml/CMakeFiles/murphi2xml.dir/src/XMLPrinter.cc.o -MF CMakeFiles/murphi2xml.dir/src/XMLPrinter.cc.o.d -o CMakeFiles/murphi2xml.dir/src/XMLPrinter.cc.o -c /build/reproducible-path/rumur-2025.02.02/murphi2xml/src/XMLPrinter.cc
+[ 64%] Building CXX object murphi2c/CMakeFiles/murphi2c.dir/src/generate_c.cc.o
+cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2c && /usr/bin/c++ -D_GNU_SOURCE -I/build/reproducible-path/rumur-2025.02.02/murphi2c/src -I/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2c/../librumur -I/build/reproducible-path/rumur-2025.02.02/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2025.02.02=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -std=gnu++11 -MD -MT murphi2c/CMakeFiles/murphi2c.dir/src/generate_c.cc.o -MF CMakeFiles/murphi2c.dir/src/generate_c.cc.o.d -o CMakeFiles/murphi2c.dir/src/generate_c.cc.o -c /build/reproducible-path/rumur-2025.02.02/murphi2c/src/generate_c.cc
+[ 65%] Linking CXX executable murphi-comment-ls
cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/tests/murphi-comment-ls && /usr/bin/cmake -E cmake_link_script CMakeFiles/murphi-comment-ls.dir/link.txt --verbose=1
/usr/bin/c++ -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2025.02.02=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -Wl,-z,relro -Wl,-z,now -Wl,--as-needed -rdynamic -Wl,--dependency-file=CMakeFiles/murphi-comment-ls.dir/link.d "CMakeFiles/murphi-comment-ls.dir/main.cc.o" -o murphi-comment-ls ../../librumur/librumur.a -lgmpxx -lgmp
make[3]: Leaving directory '/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu'
-[ 62%] Built target murphi-comment-ls
-[ 62%] Building CXX object murphi2smv/CMakeFiles/murphi2smv.dir/src/main.cc.o
-cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2smv && /usr/bin/c++ -D_GNU_SOURCE -I/build/reproducible-path/rumur-2025.02.02/murphi2smv/src -I/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2smv/../librumur -I/build/reproducible-path/rumur-2025.02.02/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2025.02.02=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -std=gnu++11 -MD -MT murphi2smv/CMakeFiles/murphi2smv.dir/src/main.cc.o -MF CMakeFiles/murphi2smv.dir/src/main.cc.o.d -o CMakeFiles/murphi2smv.dir/src/main.cc.o -c /build/reproducible-path/rumur-2025.02.02/murphi2smv/src/main.cc
-[ 63%] Building CXX object murphi2c/CMakeFiles/murphi2c.dir/src/generate_c.cc.o
-cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2c && /usr/bin/c++ -D_GNU_SOURCE -I/build/reproducible-path/rumur-2025.02.02/murphi2c/src -I/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2c/../librumur -I/build/reproducible-path/rumur-2025.02.02/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2025.02.02=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -std=gnu++11 -MD -MT murphi2c/CMakeFiles/murphi2c.dir/src/generate_c.cc.o -MF CMakeFiles/murphi2c.dir/src/generate_c.cc.o.d -o CMakeFiles/murphi2c.dir/src/generate_c.cc.o -c /build/reproducible-path/rumur-2025.02.02/murphi2c/src/generate_c.cc
-[ 64%] Building CXX object murphi2uclid/CMakeFiles/murphi2uclid.dir/src/main.cc.o
-cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2uclid && /usr/bin/c++ -D_GNU_SOURCE -I/build/reproducible-path/rumur-2025.02.02/murphi2uclid/src -I/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2uclid/../librumur -I/build/reproducible-path/rumur-2025.02.02/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2025.02.02=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -std=gnu++11 -MD -MT murphi2uclid/CMakeFiles/murphi2uclid.dir/src/main.cc.o -MF CMakeFiles/murphi2uclid.dir/src/main.cc.o.d -o CMakeFiles/murphi2uclid.dir/src/main.cc.o -c /build/reproducible-path/rumur-2025.02.02/murphi2uclid/src/main.cc
-[ 65%] Building CXX object murphi2murphi/CMakeFiles/murphi2murphi.dir/src/main.cc.o
-cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2murphi && /usr/bin/c++ -D_GNU_SOURCE -I/build/reproducible-path/rumur-2025.02.02/murphi2murphi/src -I/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2murphi/../librumur -I/build/reproducible-path/rumur-2025.02.02/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2025.02.02=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -std=gnu++11 -MD -MT murphi2murphi/CMakeFiles/murphi2murphi.dir/src/main.cc.o -MF CMakeFiles/murphi2murphi.dir/src/main.cc.o.d -o CMakeFiles/murphi2murphi.dir/src/main.cc.o -c /build/reproducible-path/rumur-2025.02.02/murphi2murphi/src/main.cc
-[ 66%] Building CXX object murphi2murphi/CMakeFiles/murphi2murphi.dir/src/options.cc.o
-cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2murphi && /usr/bin/c++ -D_GNU_SOURCE -I/build/reproducible-path/rumur-2025.02.02/murphi2murphi/src -I/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2murphi/../librumur -I/build/reproducible-path/rumur-2025.02.02/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2025.02.02=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -std=gnu++11 -MD -MT murphi2murphi/CMakeFiles/murphi2murphi.dir/src/options.cc.o -MF CMakeFiles/murphi2murphi.dir/src/options.cc.o.d -o CMakeFiles/murphi2murphi.dir/src/options.cc.o -c /build/reproducible-path/rumur-2025.02.02/murphi2murphi/src/options.cc
-[ 66%] Building CXX object murphi2c/CMakeFiles/murphi2c.dir/src/generate_h.cc.o
+[ 65%] Built target murphi-comment-ls
+[ 65%] Building CXX object murphi2c/CMakeFiles/murphi2c.dir/src/generate_h.cc.o
cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2c && /usr/bin/c++ -D_GNU_SOURCE -I/build/reproducible-path/rumur-2025.02.02/murphi2c/src -I/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2c/../librumur -I/build/reproducible-path/rumur-2025.02.02/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2025.02.02=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -std=gnu++11 -MD -MT murphi2c/CMakeFiles/murphi2c.dir/src/generate_h.cc.o -MF CMakeFiles/murphi2c.dir/src/generate_h.cc.o.d -o CMakeFiles/murphi2c.dir/src/generate_h.cc.o -c /build/reproducible-path/rumur-2025.02.02/murphi2c/src/generate_h.cc
-[ 66%] Building CXX object rumur/CMakeFiles/rumur.dir/src/generate-allocations.cc.o
-cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/rumur && /usr/bin/c++ -D_GNU_SOURCE -I/build/reproducible-path/rumur-2025.02.02/rumur/src -I/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/rumur/../librumur -I/build/reproducible-path/rumur-2025.02.02/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2025.02.02=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -std=gnu++11 -MD -MT rumur/CMakeFiles/rumur.dir/src/generate-allocations.cc.o -MF CMakeFiles/rumur.dir/src/generate-allocations.cc.o.d -o CMakeFiles/rumur.dir/src/generate-allocations.cc.o -c /build/reproducible-path/rumur-2025.02.02/rumur/src/generate-allocations.cc
-[ 66%] Building CXX object murphi2murphi/CMakeFiles/murphi2murphi.dir/src/Pipeline.cc.o
+[ 65%] Building CXX object murphi2murphi/CMakeFiles/murphi2murphi.dir/src/Pipeline.cc.o
cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2murphi && /usr/bin/c++ -D_GNU_SOURCE -I/build/reproducible-path/rumur-2025.02.02/murphi2murphi/src -I/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2murphi/../librumur -I/build/reproducible-path/rumur-2025.02.02/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2025.02.02=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -std=gnu++11 -MD -MT murphi2murphi/CMakeFiles/murphi2murphi.dir/src/Pipeline.cc.o -MF CMakeFiles/murphi2murphi.dir/src/Pipeline.cc.o.d -o CMakeFiles/murphi2murphi.dir/src/Pipeline.cc.o -c /build/reproducible-path/rumur-2025.02.02/murphi2murphi/src/Pipeline.cc
-[ 67%] Building CXX object rumur/CMakeFiles/rumur.dir/src/generate-cover-array.cc.o
+[ 65%] Building CXX object rumur/CMakeFiles/rumur.dir/src/generate-allocations.cc.o
+cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/rumur && /usr/bin/c++ -D_GNU_SOURCE -I/build/reproducible-path/rumur-2025.02.02/rumur/src -I/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/rumur/../librumur -I/build/reproducible-path/rumur-2025.02.02/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2025.02.02=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -std=gnu++11 -MD -MT rumur/CMakeFiles/rumur.dir/src/generate-allocations.cc.o -MF CMakeFiles/rumur.dir/src/generate-allocations.cc.o.d -o CMakeFiles/rumur.dir/src/generate-allocations.cc.o -c /build/reproducible-path/rumur-2025.02.02/rumur/src/generate-allocations.cc
+[ 66%] Building CXX object murphi2c/CMakeFiles/murphi2c.dir/src/main.cc.o
+cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2c && /usr/bin/c++ -D_GNU_SOURCE -I/build/reproducible-path/rumur-2025.02.02/murphi2c/src -I/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2c/../librumur -I/build/reproducible-path/rumur-2025.02.02/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2025.02.02=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -std=gnu++11 -MD -MT murphi2c/CMakeFiles/murphi2c.dir/src/main.cc.o -MF CMakeFiles/murphi2c.dir/src/main.cc.o.d -o CMakeFiles/murphi2c.dir/src/main.cc.o -c /build/reproducible-path/rumur-2025.02.02/murphi2c/src/main.cc
+[ 66%] Building CXX object murphi2uclid/CMakeFiles/murphi2uclid.dir/src/codegen.cc.o
+cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2uclid && /usr/bin/c++ -D_GNU_SOURCE -I/build/reproducible-path/rumur-2025.02.02/murphi2uclid/src -I/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2uclid/../librumur -I/build/reproducible-path/rumur-2025.02.02/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2025.02.02=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -std=gnu++11 -MD -MT murphi2uclid/CMakeFiles/murphi2uclid.dir/src/codegen.cc.o -MF CMakeFiles/murphi2uclid.dir/src/codegen.cc.o.d -o CMakeFiles/murphi2uclid.dir/src/codegen.cc.o -c /build/reproducible-path/rumur-2025.02.02/murphi2uclid/src/codegen.cc
+[ 67%] Building CXX object murphi2murphi/CMakeFiles/murphi2murphi.dir/src/Printer.cc.o
+cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2murphi && /usr/bin/c++ -D_GNU_SOURCE -I/build/reproducible-path/rumur-2025.02.02/murphi2murphi/src -I/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2murphi/../librumur -I/build/reproducible-path/rumur-2025.02.02/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2025.02.02=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -std=gnu++11 -MD -MT murphi2murphi/CMakeFiles/murphi2murphi.dir/src/Printer.cc.o -MF CMakeFiles/murphi2murphi.dir/src/Printer.cc.o.d -o CMakeFiles/murphi2murphi.dir/src/Printer.cc.o -c /build/reproducible-path/rumur-2025.02.02/murphi2murphi/src/Printer.cc
+[ 68%] Building CXX object murphi2murphi/CMakeFiles/murphi2murphi.dir/src/RemoveLiveness.cc.o
+cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2murphi && /usr/bin/c++ -D_GNU_SOURCE -I/build/reproducible-path/rumur-2025.02.02/murphi2murphi/src -I/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2murphi/../librumur -I/build/reproducible-path/rumur-2025.02.02/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2025.02.02=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -std=gnu++11 -MD -MT murphi2murphi/CMakeFiles/murphi2murphi.dir/src/RemoveLiveness.cc.o -MF CMakeFiles/murphi2murphi.dir/src/RemoveLiveness.cc.o.d -o CMakeFiles/murphi2murphi.dir/src/RemoveLiveness.cc.o -c /build/reproducible-path/rumur-2025.02.02/murphi2murphi/src/RemoveLiveness.cc
+[ 69%] Building CXX object murphi2murphi/CMakeFiles/murphi2murphi.dir/src/Stage.cc.o
+cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2murphi && /usr/bin/c++ -D_GNU_SOURCE -I/build/reproducible-path/rumur-2025.02.02/murphi2murphi/src -I/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2murphi/../librumur -I/build/reproducible-path/rumur-2025.02.02/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2025.02.02=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -std=gnu++11 -MD -MT murphi2murphi/CMakeFiles/murphi2murphi.dir/src/Stage.cc.o -MF CMakeFiles/murphi2murphi.dir/src/Stage.cc.o.d -o CMakeFiles/murphi2murphi.dir/src/Stage.cc.o -c /build/reproducible-path/rumur-2025.02.02/murphi2murphi/src/Stage.cc
+[ 69%] Building CXX object murphi2murphi/CMakeFiles/murphi2murphi.dir/src/SwitchToIf.cc.o
+cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2murphi && /usr/bin/c++ -D_GNU_SOURCE -I/build/reproducible-path/rumur-2025.02.02/murphi2murphi/src -I/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2murphi/../librumur -I/build/reproducible-path/rumur-2025.02.02/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2025.02.02=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -std=gnu++11 -MD -MT murphi2murphi/CMakeFiles/murphi2murphi.dir/src/SwitchToIf.cc.o -MF CMakeFiles/murphi2murphi.dir/src/SwitchToIf.cc.o.d -o CMakeFiles/murphi2murphi.dir/src/SwitchToIf.cc.o -c /build/reproducible-path/rumur-2025.02.02/murphi2murphi/src/SwitchToIf.cc
+[ 70%] Building CXX object rumur/CMakeFiles/rumur.dir/src/generate-cover-array.cc.o
cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/rumur && /usr/bin/c++ -D_GNU_SOURCE -I/build/reproducible-path/rumur-2025.02.02/rumur/src -I/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/rumur/../librumur -I/build/reproducible-path/rumur-2025.02.02/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2025.02.02=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -std=gnu++11 -MD -MT rumur/CMakeFiles/rumur.dir/src/generate-cover-array.cc.o -MF CMakeFiles/rumur.dir/src/generate-cover-array.cc.o.d -o CMakeFiles/rumur.dir/src/generate-cover-array.cc.o -c /build/reproducible-path/rumur-2025.02.02/rumur/src/generate-cover-array.cc
-[ 68%] Linking CXX executable murphi2xml
+[ 71%] Linking CXX executable murphi2xml
cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2xml && /usr/bin/cmake -E cmake_link_script CMakeFiles/murphi2xml.dir/link.txt --verbose=1
+[ 72%] Building CXX object murphi2murphi/CMakeFiles/murphi2murphi.dir/src/ToAscii.cc.o
+cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2murphi && /usr/bin/c++ -D_GNU_SOURCE -I/build/reproducible-path/rumur-2025.02.02/murphi2murphi/src -I/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2murphi/../librumur -I/build/reproducible-path/rumur-2025.02.02/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2025.02.02=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -std=gnu++11 -MD -MT murphi2murphi/CMakeFiles/murphi2murphi.dir/src/ToAscii.cc.o -MF CMakeFiles/murphi2murphi.dir/src/ToAscii.cc.o.d -o CMakeFiles/murphi2murphi.dir/src/ToAscii.cc.o -c /build/reproducible-path/rumur-2025.02.02/murphi2murphi/src/ToAscii.cc
/usr/bin/c++ -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2025.02.02=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -Wl,-z,relro -Wl,-z,now -Wl,--as-needed -rdynamic -Wl,--dependency-file=CMakeFiles/murphi2xml.dir/link.d CMakeFiles/murphi2xml.dir/manpage.cc.o CMakeFiles/murphi2xml.dir/__/common/help.c.o CMakeFiles/murphi2xml.dir/src/main.cc.o CMakeFiles/murphi2xml.dir/src/XMLPrinter.cc.o -o murphi2xml -Wl,-rpath,:::::::::::::::::::::::::::::::: ../librumur/librumur.a -lgmpxx -lgmp
make[3]: Leaving directory '/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu'
-[ 68%] Built target murphi2xml
-[ 69%] Building CXX object rumur/CMakeFiles/rumur.dir/src/generate-decl.cc.o
+[ 72%] Built target murphi2xml
+[ 73%] Building CXX object rumur/CMakeFiles/rumur.dir/src/generate-decl.cc.o
cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/rumur && /usr/bin/c++ -D_GNU_SOURCE -I/build/reproducible-path/rumur-2025.02.02/rumur/src -I/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/rumur/../librumur -I/build/reproducible-path/rumur-2025.02.02/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2025.02.02=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -std=gnu++11 -MD -MT rumur/CMakeFiles/rumur.dir/src/generate-decl.cc.o -MF CMakeFiles/rumur.dir/src/generate-decl.cc.o.d -o CMakeFiles/rumur.dir/src/generate-decl.cc.o -c /build/reproducible-path/rumur-2025.02.02/rumur/src/generate-decl.cc
-[ 70%] Building CXX object murphi2smv/CMakeFiles/murphi2smv.dir/src/pick_numeric_type.cc.o
+[ 74%] Building CXX object murphi2c/CMakeFiles/murphi2c.dir/src/options.cc.o
+cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2c && /usr/bin/c++ -D_GNU_SOURCE -I/build/reproducible-path/rumur-2025.02.02/murphi2c/src -I/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2c/../librumur -I/build/reproducible-path/rumur-2025.02.02/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2025.02.02=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -std=gnu++11 -MD -MT murphi2c/CMakeFiles/murphi2c.dir/src/options.cc.o -MF CMakeFiles/murphi2c.dir/src/options.cc.o.d -o CMakeFiles/murphi2c.dir/src/options.cc.o -c /build/reproducible-path/rumur-2025.02.02/murphi2c/src/options.cc
+[ 74%] Building CXX object murphi2smv/CMakeFiles/murphi2smv.dir/src/main.cc.o
+cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2smv && /usr/bin/c++ -D_GNU_SOURCE -I/build/reproducible-path/rumur-2025.02.02/murphi2smv/src -I/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2smv/../librumur -I/build/reproducible-path/rumur-2025.02.02/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2025.02.02=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -std=gnu++11 -MD -MT murphi2smv/CMakeFiles/murphi2smv.dir/src/main.cc.o -MF CMakeFiles/murphi2smv.dir/src/main.cc.o.d -o CMakeFiles/murphi2smv.dir/src/main.cc.o -c /build/reproducible-path/rumur-2025.02.02/murphi2smv/src/main.cc
+[ 75%] Building CXX object murphi2smv/CMakeFiles/murphi2smv.dir/src/pick_numeric_type.cc.o
+[ 76%] Building CXX object rumur/CMakeFiles/rumur.dir/src/generate-expr.cc.o
cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2smv && /usr/bin/c++ -D_GNU_SOURCE -I/build/reproducible-path/rumur-2025.02.02/murphi2smv/src -I/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2smv/../librumur -I/build/reproducible-path/rumur-2025.02.02/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2025.02.02=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -std=gnu++11 -MD -MT murphi2smv/CMakeFiles/murphi2smv.dir/src/pick_numeric_type.cc.o -MF CMakeFiles/murphi2smv.dir/src/pick_numeric_type.cc.o.d -o CMakeFiles/murphi2smv.dir/src/pick_numeric_type.cc.o -c /build/reproducible-path/rumur-2025.02.02/murphi2smv/src/pick_numeric_type.cc
-[ 71%] Building CXX object murphi2uclid/CMakeFiles/murphi2uclid.dir/src/pick_numeric_type.cc.o
-cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2uclid && /usr/bin/c++ -D_GNU_SOURCE -I/build/reproducible-path/rumur-2025.02.02/murphi2uclid/src -I/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2uclid/../librumur -I/build/reproducible-path/rumur-2025.02.02/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2025.02.02=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -std=gnu++11 -MD -MT murphi2uclid/CMakeFiles/murphi2uclid.dir/src/pick_numeric_type.cc.o -MF CMakeFiles/murphi2uclid.dir/src/pick_numeric_type.cc.o.d -o CMakeFiles/murphi2uclid.dir/src/pick_numeric_type.cc.o -c /build/reproducible-path/rumur-2025.02.02/murphi2uclid/src/pick_numeric_type.cc
-[ 72%] Building CXX object rumur/CMakeFiles/rumur.dir/src/generate-expr.cc.o
cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/rumur && /usr/bin/c++ -D_GNU_SOURCE -I/build/reproducible-path/rumur-2025.02.02/rumur/src -I/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/rumur/../librumur -I/build/reproducible-path/rumur-2025.02.02/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2025.02.02=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -std=gnu++11 -MD -MT rumur/CMakeFiles/rumur.dir/src/generate-expr.cc.o -MF CMakeFiles/rumur.dir/src/generate-expr.cc.o.d -o CMakeFiles/rumur.dir/src/generate-expr.cc.o -c /build/reproducible-path/rumur-2025.02.02/rumur/src/generate-expr.cc
-[ 73%] Building CXX object murphi2murphi/CMakeFiles/murphi2murphi.dir/src/Printer.cc.o
-cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2murphi && /usr/bin/c++ -D_GNU_SOURCE -I/build/reproducible-path/rumur-2025.02.02/murphi2murphi/src -I/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2murphi/../librumur -I/build/reproducible-path/rumur-2025.02.02/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2025.02.02=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -std=gnu++11 -MD -MT murphi2murphi/CMakeFiles/murphi2murphi.dir/src/Printer.cc.o -MF CMakeFiles/murphi2murphi.dir/src/Printer.cc.o.d -o CMakeFiles/murphi2murphi.dir/src/Printer.cc.o -c /build/reproducible-path/rumur-2025.02.02/murphi2murphi/src/Printer.cc
-[ 73%] Building CXX object rumur/CMakeFiles/rumur.dir/src/generate-function.cc.o
+[ 76%] Building CXX object rumur/CMakeFiles/rumur.dir/src/generate-function.cc.o
cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/rumur && /usr/bin/c++ -D_GNU_SOURCE -I/build/reproducible-path/rumur-2025.02.02/rumur/src -I/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/rumur/../librumur -I/build/reproducible-path/rumur-2025.02.02/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2025.02.02=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -std=gnu++11 -MD -MT rumur/CMakeFiles/rumur.dir/src/generate-function.cc.o -MF CMakeFiles/rumur.dir/src/generate-function.cc.o.d -o CMakeFiles/rumur.dir/src/generate-function.cc.o -c /build/reproducible-path/rumur-2025.02.02/rumur/src/generate-function.cc
-[ 74%] Building CXX object murphi2c/CMakeFiles/murphi2c.dir/src/main.cc.o
-cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2c && /usr/bin/c++ -D_GNU_SOURCE -I/build/reproducible-path/rumur-2025.02.02/murphi2c/src -I/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2c/../librumur -I/build/reproducible-path/rumur-2025.02.02/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2025.02.02=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -std=gnu++11 -MD -MT murphi2c/CMakeFiles/murphi2c.dir/src/main.cc.o -MF CMakeFiles/murphi2c.dir/src/main.cc.o.d -o CMakeFiles/murphi2c.dir/src/main.cc.o -c /build/reproducible-path/rumur-2025.02.02/murphi2c/src/main.cc
-[ 75%] Building CXX object rumur/CMakeFiles/rumur.dir/src/generate-model.cc.o
+[ 77%] Building CXX object rumur/CMakeFiles/rumur.dir/src/generate-model.cc.o
cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/rumur && /usr/bin/c++ -D_GNU_SOURCE -I/build/reproducible-path/rumur-2025.02.02/rumur/src -I/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/rumur/../librumur -I/build/reproducible-path/rumur-2025.02.02/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2025.02.02=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -std=gnu++11 -MD -MT rumur/CMakeFiles/rumur.dir/src/generate-model.cc.o -MF CMakeFiles/rumur.dir/src/generate-model.cc.o.d -o CMakeFiles/rumur.dir/src/generate-model.cc.o -c /build/reproducible-path/rumur-2025.02.02/rumur/src/generate-model.cc
-[ 76%] Building CXX object murphi2c/CMakeFiles/murphi2c.dir/src/options.cc.o
-cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2c && /usr/bin/c++ -D_GNU_SOURCE -I/build/reproducible-path/rumur-2025.02.02/murphi2c/src -I/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2c/../librumur -I/build/reproducible-path/rumur-2025.02.02/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2025.02.02=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -std=gnu++11 -MD -MT murphi2c/CMakeFiles/murphi2c.dir/src/options.cc.o -MF CMakeFiles/murphi2c.dir/src/options.cc.o.d -o CMakeFiles/murphi2c.dir/src/options.cc.o -c /build/reproducible-path/rumur-2025.02.02/murphi2c/src/options.cc
-[ 77%] Building CXX object rumur/CMakeFiles/rumur.dir/src/generate-print.cc.o
+[ 78%] Building CXX object rumur/CMakeFiles/rumur.dir/src/generate-print.cc.o
cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/rumur && /usr/bin/c++ -D_GNU_SOURCE -I/build/reproducible-path/rumur-2025.02.02/rumur/src -I/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/rumur/../librumur -I/build/reproducible-path/rumur-2025.02.02/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2025.02.02=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -std=gnu++11 -MD -MT rumur/CMakeFiles/rumur.dir/src/generate-print.cc.o -MF CMakeFiles/rumur.dir/src/generate-print.cc.o.d -o CMakeFiles/rumur.dir/src/generate-print.cc.o -c /build/reproducible-path/rumur-2025.02.02/rumur/src/generate-print.cc
-[ 78%] Building CXX object murphi2murphi/CMakeFiles/murphi2murphi.dir/src/RemoveLiveness.cc.o
-cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2murphi && /usr/bin/c++ -D_GNU_SOURCE -I/build/reproducible-path/rumur-2025.02.02/murphi2murphi/src -I/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2murphi/../librumur -I/build/reproducible-path/rumur-2025.02.02/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2025.02.02=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -std=gnu++11 -MD -MT murphi2murphi/CMakeFiles/murphi2murphi.dir/src/RemoveLiveness.cc.o -MF CMakeFiles/murphi2murphi.dir/src/RemoveLiveness.cc.o.d -o CMakeFiles/murphi2murphi.dir/src/RemoveLiveness.cc.o -c /build/reproducible-path/rumur-2025.02.02/murphi2murphi/src/RemoveLiveness.cc
-[ 79%] Building CXX object murphi2murphi/CMakeFiles/murphi2murphi.dir/src/Stage.cc.o
-cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2murphi && /usr/bin/c++ -D_GNU_SOURCE -I/build/reproducible-path/rumur-2025.02.02/murphi2murphi/src -I/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2murphi/../librumur -I/build/reproducible-path/rumur-2025.02.02/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2025.02.02=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -std=gnu++11 -MD -MT murphi2murphi/CMakeFiles/murphi2murphi.dir/src/Stage.cc.o -MF CMakeFiles/murphi2murphi.dir/src/Stage.cc.o.d -o CMakeFiles/murphi2murphi.dir/src/Stage.cc.o -c /build/reproducible-path/rumur-2025.02.02/murphi2murphi/src/Stage.cc
-[ 80%] Linking CXX executable murphi2smv
-cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2smv && /usr/bin/cmake -E cmake_link_script CMakeFiles/murphi2smv.dir/link.txt --verbose=1
-[ 80%] Building CXX object murphi2murphi/CMakeFiles/murphi2murphi.dir/src/SwitchToIf.cc.o
-cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2murphi && /usr/bin/c++ -D_GNU_SOURCE -I/build/reproducible-path/rumur-2025.02.02/murphi2murphi/src -I/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2murphi/../librumur -I/build/reproducible-path/rumur-2025.02.02/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2025.02.02=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -std=gnu++11 -MD -MT murphi2murphi/CMakeFiles/murphi2murphi.dir/src/SwitchToIf.cc.o -MF CMakeFiles/murphi2murphi.dir/src/SwitchToIf.cc.o.d -o CMakeFiles/murphi2murphi.dir/src/SwitchToIf.cc.o -c /build/reproducible-path/rumur-2025.02.02/murphi2murphi/src/SwitchToIf.cc
-/usr/bin/c++ -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2025.02.02=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -Wl,-z,relro -Wl,-z,now -Wl,--as-needed -rdynamic -Wl,--dependency-file=CMakeFiles/murphi2smv.dir/link.d CMakeFiles/murphi2smv.dir/manpage.cc.o CMakeFiles/murphi2smv.dir/__/common/help.c.o CMakeFiles/murphi2smv.dir/src/codegen.cc.o CMakeFiles/murphi2smv.dir/src/main.cc.o CMakeFiles/murphi2smv.dir/src/pick_numeric_type.cc.o -o murphi2smv -Wl,-rpath,:::::::::::::::::::::::::::::::: ../librumur/librumur.a -lgmpxx -lgmp
-make[3]: Leaving directory '/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu'
-[ 80%] Built target murphi2smv
-[ 80%] Building CXX object rumur/CMakeFiles/rumur.dir/src/generate-property.cc.o
+[ 79%] Building CXX object murphi2uclid/CMakeFiles/murphi2uclid.dir/src/main.cc.o
+cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2uclid && /usr/bin/c++ -D_GNU_SOURCE -I/build/reproducible-path/rumur-2025.02.02/murphi2uclid/src -I/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2uclid/../librumur -I/build/reproducible-path/rumur-2025.02.02/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2025.02.02=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -std=gnu++11 -MD -MT murphi2uclid/CMakeFiles/murphi2uclid.dir/src/main.cc.o -MF CMakeFiles/murphi2uclid.dir/src/main.cc.o.d -o CMakeFiles/murphi2uclid.dir/src/main.cc.o -c /build/reproducible-path/rumur-2025.02.02/murphi2uclid/src/main.cc
+[ 79%] Building CXX object rumur/CMakeFiles/rumur.dir/src/generate-property.cc.o
cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/rumur && /usr/bin/c++ -D_GNU_SOURCE -I/build/reproducible-path/rumur-2025.02.02/rumur/src -I/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/rumur/../librumur -I/build/reproducible-path/rumur-2025.02.02/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2025.02.02=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -std=gnu++11 -MD -MT rumur/CMakeFiles/rumur.dir/src/generate-property.cc.o -MF CMakeFiles/rumur.dir/src/generate-property.cc.o.d -o CMakeFiles/rumur.dir/src/generate-property.cc.o -c /build/reproducible-path/rumur-2025.02.02/rumur/src/generate-property.cc
-[ 81%] Building CXX object rumur/CMakeFiles/rumur.dir/src/generate-quantifier.cc.o
+[ 80%] Building CXX object rumur/CMakeFiles/rumur.dir/src/generate-quantifier.cc.o
cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/rumur && /usr/bin/c++ -D_GNU_SOURCE -I/build/reproducible-path/rumur-2025.02.02/rumur/src -I/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/rumur/../librumur -I/build/reproducible-path/rumur-2025.02.02/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2025.02.02=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -std=gnu++11 -MD -MT rumur/CMakeFiles/rumur.dir/src/generate-quantifier.cc.o -MF CMakeFiles/rumur.dir/src/generate-quantifier.cc.o.d -o CMakeFiles/rumur.dir/src/generate-quantifier.cc.o -c /build/reproducible-path/rumur-2025.02.02/rumur/src/generate-quantifier.cc
-[ 82%] Linking CXX executable murphi2uclid
-cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2uclid && /usr/bin/cmake -E cmake_link_script CMakeFiles/murphi2uclid.dir/link.txt --verbose=1
-/usr/bin/c++ -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2025.02.02=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -Wl,-z,relro -Wl,-z,now -Wl,--as-needed -rdynamic -Wl,--dependency-file=CMakeFiles/murphi2uclid.dir/link.d CMakeFiles/murphi2uclid.dir/manpage.cc.o CMakeFiles/murphi2uclid.dir/__/common/help.c.o CMakeFiles/murphi2uclid.dir/src/check.cc.o CMakeFiles/murphi2uclid.dir/src/codegen.cc.o CMakeFiles/murphi2uclid.dir/src/main.cc.o CMakeFiles/murphi2uclid.dir/src/pick_numeric_type.cc.o -o murphi2uclid -Wl,-rpath,:::::::::::::::::::::::::::::::: ../librumur/librumur.a -lgmpxx -lgmp
+[ 81%] Linking CXX executable murphi2murphi
+cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2murphi && /usr/bin/cmake -E cmake_link_script CMakeFiles/murphi2murphi.dir/link.txt --verbose=1
+/usr/bin/c++ -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2025.02.02=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -Wl,-z,relro -Wl,-z,now -Wl,--as-needed -rdynamic -Wl,--dependency-file=CMakeFiles/murphi2murphi.dir/link.d CMakeFiles/murphi2murphi.dir/resources_manpage.cc.o CMakeFiles/murphi2murphi.dir/__/common/help.c.o CMakeFiles/murphi2murphi.dir/src/DecomposeComplexComparisons.cc.o CMakeFiles/murphi2murphi.dir/src/ExplicitSemicolons.cc.o CMakeFiles/murphi2murphi.dir/src/main.cc.o CMakeFiles/murphi2murphi.dir/src/options.cc.o CMakeFiles/murphi2murphi.dir/src/Pipeline.cc.o CMakeFiles/murphi2murphi.dir/src/Printer.cc.o CMakeFiles/murphi2murphi.dir/src/RemoveLiveness.cc.o CMakeFiles/murphi2murphi.dir/src/Stage.cc.o CMakeFiles/murphi2murphi.dir/src/SwitchToIf.cc.o CMakeFiles/murphi2murphi.dir/src/ToAscii.cc.o -o murphi2murphi -Wl,-rpath,:::::::::::::::::::::::::::::::: ../librumur/librumur.a -lgmpxx -lgmp
make[3]: Leaving directory '/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu'
-[ 82%] Built target murphi2uclid
-[ 83%] Building CXX object murphi2murphi/CMakeFiles/murphi2murphi.dir/src/ToAscii.cc.o
-cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2murphi && /usr/bin/c++ -D_GNU_SOURCE -I/build/reproducible-path/rumur-2025.02.02/murphi2murphi/src -I/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2murphi/../librumur -I/build/reproducible-path/rumur-2025.02.02/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2025.02.02=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -std=gnu++11 -MD -MT murphi2murphi/CMakeFiles/murphi2murphi.dir/src/ToAscii.cc.o -MF CMakeFiles/murphi2murphi.dir/src/ToAscii.cc.o.d -o CMakeFiles/murphi2murphi.dir/src/ToAscii.cc.o -c /build/reproducible-path/rumur-2025.02.02/murphi2murphi/src/ToAscii.cc
-[ 84%] Building CXX object rumur/CMakeFiles/rumur.dir/src/generate-stmt.cc.o
+[ 81%] Built target murphi2murphi
+[ 82%] Building CXX object rumur/CMakeFiles/rumur.dir/src/generate-stmt.cc.o
cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/rumur && /usr/bin/c++ -D_GNU_SOURCE -I/build/reproducible-path/rumur-2025.02.02/rumur/src -I/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/rumur/../librumur -I/build/reproducible-path/rumur-2025.02.02/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2025.02.02=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -std=gnu++11 -MD -MT rumur/CMakeFiles/rumur.dir/src/generate-stmt.cc.o -MF CMakeFiles/rumur.dir/src/generate-stmt.cc.o.d -o CMakeFiles/rumur.dir/src/generate-stmt.cc.o -c /build/reproducible-path/rumur-2025.02.02/rumur/src/generate-stmt.cc
-[ 85%] Building CXX object rumur/CMakeFiles/rumur.dir/src/has-start-state.cc.o
+[ 82%] Linking CXX executable murphi2c
+cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2c && /usr/bin/cmake -E cmake_link_script CMakeFiles/murphi2c.dir/link.txt --verbose=1
+[ 83%] Building CXX object rumur/CMakeFiles/rumur.dir/src/has-start-state.cc.o
cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/rumur && /usr/bin/c++ -D_GNU_SOURCE -I/build/reproducible-path/rumur-2025.02.02/rumur/src -I/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/rumur/../librumur -I/build/reproducible-path/rumur-2025.02.02/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2025.02.02=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -std=gnu++11 -MD -MT rumur/CMakeFiles/rumur.dir/src/has-start-state.cc.o -MF CMakeFiles/rumur.dir/src/has-start-state.cc.o.d -o CMakeFiles/rumur.dir/src/has-start-state.cc.o -c /build/reproducible-path/rumur-2025.02.02/rumur/src/has-start-state.cc
-[ 85%] Building CXX object rumur/CMakeFiles/rumur.dir/src/log.cc.o
+[ 83%] Building CXX object rumur/CMakeFiles/rumur.dir/src/log.cc.o
cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/rumur && /usr/bin/c++ -D_GNU_SOURCE -I/build/reproducible-path/rumur-2025.02.02/rumur/src -I/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/rumur/../librumur -I/build/reproducible-path/rumur-2025.02.02/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2025.02.02=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -std=gnu++11 -MD -MT rumur/CMakeFiles/rumur.dir/src/log.cc.o -MF CMakeFiles/rumur.dir/src/log.cc.o.d -o CMakeFiles/rumur.dir/src/log.cc.o -c /build/reproducible-path/rumur-2025.02.02/rumur/src/log.cc
-[ 86%] Building CXX object rumur/CMakeFiles/rumur.dir/src/main.cc.o
+/usr/bin/c++ -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2025.02.02=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -Wl,-z,relro -Wl,-z,now -Wl,--as-needed -rdynamic -Wl,--dependency-file=CMakeFiles/murphi2c.dir/link.d CMakeFiles/murphi2c.dir/resources_c_prefix.cc.o CMakeFiles/murphi2c.dir/resources_h_prefix.cc.o CMakeFiles/murphi2c.dir/resources_manpage.cc.o CMakeFiles/murphi2c.dir/__/common/escape.cc.o CMakeFiles/murphi2c.dir/__/common/help.c.o CMakeFiles/murphi2c.dir/src/check.cc.o CMakeFiles/murphi2c.dir/src/CLikeGenerator.cc.o CMakeFiles/murphi2c.dir/src/CodeGenerator.cc.o CMakeFiles/murphi2c.dir/src/compares_complex_values.cc.o CMakeFiles/murphi2c.dir/src/generate_c.cc.o CMakeFiles/murphi2c.dir/src/generate_h.cc.o CMakeFiles/murphi2c.dir/src/main.cc.o CMakeFiles/murphi2c.dir/src/options.cc.o -o murphi2c -Wl,-rpath,:::::::::::::::::::::::::::::::: ../librumur/librumur.a -lgmpxx -lgmp
+make[3]: Leaving directory '/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu'
+[ 83%] Built target murphi2c
+[ 84%] Building CXX object rumur/CMakeFiles/rumur.dir/src/main.cc.o
cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/rumur && /usr/bin/c++ -D_GNU_SOURCE -I/build/reproducible-path/rumur-2025.02.02/rumur/src -I/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/rumur/../librumur -I/build/reproducible-path/rumur-2025.02.02/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2025.02.02=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -std=gnu++11 -MD -MT rumur/CMakeFiles/rumur.dir/src/main.cc.o -MF CMakeFiles/rumur.dir/src/main.cc.o.d -o CMakeFiles/rumur.dir/src/main.cc.o -c /build/reproducible-path/rumur-2025.02.02/rumur/src/main.cc
-[ 87%] Building CXX object rumur/CMakeFiles/rumur.dir/src/max-simple-width.cc.o
+[ 85%] Linking CXX executable murphi2smv
+cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2smv && /usr/bin/cmake -E cmake_link_script CMakeFiles/murphi2smv.dir/link.txt --verbose=1
+[ 86%] Building CXX object rumur/CMakeFiles/rumur.dir/src/max-simple-width.cc.o
cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/rumur && /usr/bin/c++ -D_GNU_SOURCE -I/build/reproducible-path/rumur-2025.02.02/rumur/src -I/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/rumur/../librumur -I/build/reproducible-path/rumur-2025.02.02/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2025.02.02=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -std=gnu++11 -MD -MT rumur/CMakeFiles/rumur.dir/src/max-simple-width.cc.o -MF CMakeFiles/rumur.dir/src/max-simple-width.cc.o.d -o CMakeFiles/rumur.dir/src/max-simple-width.cc.o -c /build/reproducible-path/rumur-2025.02.02/rumur/src/max-simple-width.cc
-[ 87%] Linking CXX executable murphi2c
-cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2c && /usr/bin/cmake -E cmake_link_script CMakeFiles/murphi2c.dir/link.txt --verbose=1
-[ 88%] Building CXX object rumur/CMakeFiles/rumur.dir/src/optimise-field-ordering.cc.o
+/usr/bin/c++ -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2025.02.02=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -Wl,-z,relro -Wl,-z,now -Wl,--as-needed -rdynamic -Wl,--dependency-file=CMakeFiles/murphi2smv.dir/link.d CMakeFiles/murphi2smv.dir/manpage.cc.o CMakeFiles/murphi2smv.dir/__/common/help.c.o CMakeFiles/murphi2smv.dir/src/codegen.cc.o CMakeFiles/murphi2smv.dir/src/main.cc.o CMakeFiles/murphi2smv.dir/src/pick_numeric_type.cc.o -o murphi2smv -Wl,-rpath,:::::::::::::::::::::::::::::::: ../librumur/librumur.a -lgmpxx -lgmp
+make[3]: Leaving directory '/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu'
+[ 86%] Built target murphi2smv
+[ 87%] Building CXX object rumur/CMakeFiles/rumur.dir/src/optimise-field-ordering.cc.o
cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/rumur && /usr/bin/c++ -D_GNU_SOURCE -I/build/reproducible-path/rumur-2025.02.02/rumur/src -I/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/rumur/../librumur -I/build/reproducible-path/rumur-2025.02.02/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2025.02.02=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -std=gnu++11 -MD -MT rumur/CMakeFiles/rumur.dir/src/optimise-field-ordering.cc.o -MF CMakeFiles/rumur.dir/src/optimise-field-ordering.cc.o.d -o CMakeFiles/rumur.dir/src/optimise-field-ordering.cc.o -c /build/reproducible-path/rumur-2025.02.02/rumur/src/optimise-field-ordering.cc
-[ 88%] Building CXX object rumur/CMakeFiles/rumur.dir/src/options.cc.o
+[ 87%] Building CXX object rumur/CMakeFiles/rumur.dir/src/options.cc.o
cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/rumur && /usr/bin/c++ -D_GNU_SOURCE -I/build/reproducible-path/rumur-2025.02.02/rumur/src -I/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/rumur/../librumur -I/build/reproducible-path/rumur-2025.02.02/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2025.02.02=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -std=gnu++11 -MD -MT rumur/CMakeFiles/rumur.dir/src/options.cc.o -MF CMakeFiles/rumur.dir/src/options.cc.o.d -o CMakeFiles/rumur.dir/src/options.cc.o -c /build/reproducible-path/rumur-2025.02.02/rumur/src/options.cc
+[ 88%] Building CXX object murphi2uclid/CMakeFiles/murphi2uclid.dir/src/pick_numeric_type.cc.o
+cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2uclid && /usr/bin/c++ -D_GNU_SOURCE -I/build/reproducible-path/rumur-2025.02.02/murphi2uclid/src -I/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2uclid/../librumur -I/build/reproducible-path/rumur-2025.02.02/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2025.02.02=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -std=gnu++11 -MD -MT murphi2uclid/CMakeFiles/murphi2uclid.dir/src/pick_numeric_type.cc.o -MF CMakeFiles/murphi2uclid.dir/src/pick_numeric_type.cc.o.d -o CMakeFiles/murphi2uclid.dir/src/pick_numeric_type.cc.o -c /build/reproducible-path/rumur-2025.02.02/murphi2uclid/src/pick_numeric_type.cc
[ 89%] Building CXX object rumur/CMakeFiles/rumur.dir/src/output.cc.o
cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/rumur && /usr/bin/c++ -D_GNU_SOURCE -I/build/reproducible-path/rumur-2025.02.02/rumur/src -I/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/rumur/../librumur -I/build/reproducible-path/rumur-2025.02.02/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2025.02.02=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -std=gnu++11 -MD -MT rumur/CMakeFiles/rumur.dir/src/output.cc.o -MF CMakeFiles/rumur.dir/src/output.cc.o.d -o CMakeFiles/rumur.dir/src/output.cc.o -c /build/reproducible-path/rumur-2025.02.02/rumur/src/output.cc
-/usr/bin/c++ -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2025.02.02=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -Wl,-z,relro -Wl,-z,now -Wl,--as-needed -rdynamic -Wl,--dependency-file=CMakeFiles/murphi2c.dir/link.d CMakeFiles/murphi2c.dir/resources_c_prefix.cc.o CMakeFiles/murphi2c.dir/resources_h_prefix.cc.o CMakeFiles/murphi2c.dir/resources_manpage.cc.o CMakeFiles/murphi2c.dir/__/common/escape.cc.o CMakeFiles/murphi2c.dir/__/common/help.c.o CMakeFiles/murphi2c.dir/src/check.cc.o CMakeFiles/murphi2c.dir/src/CLikeGenerator.cc.o CMakeFiles/murphi2c.dir/src/CodeGenerator.cc.o CMakeFiles/murphi2c.dir/src/compares_complex_values.cc.o CMakeFiles/murphi2c.dir/src/generate_c.cc.o CMakeFiles/murphi2c.dir/src/generate_h.cc.o CMakeFiles/murphi2c.dir/src/main.cc.o CMakeFiles/murphi2c.dir/src/options.cc.o -o murphi2c -Wl,-rpath,:::::::::::::::::::::::::::::::: ../librumur/librumur.a -lgmpxx -lgmp
-make[3]: Leaving directory '/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu'
-[ 89%] Built target murphi2c
-[ 90%] Linking CXX executable murphi2murphi
-cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2murphi && /usr/bin/cmake -E cmake_link_script CMakeFiles/murphi2murphi.dir/link.txt --verbose=1
-[ 91%] Building CXX object rumur/CMakeFiles/rumur.dir/src/prints-scalarsets.cc.o
+[ 90%] Building CXX object rumur/CMakeFiles/rumur.dir/src/prints-scalarsets.cc.o
cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/rumur && /usr/bin/c++ -D_GNU_SOURCE -I/build/reproducible-path/rumur-2025.02.02/rumur/src -I/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/rumur/../librumur -I/build/reproducible-path/rumur-2025.02.02/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2025.02.02=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -std=gnu++11 -MD -MT rumur/CMakeFiles/rumur.dir/src/prints-scalarsets.cc.o -MF CMakeFiles/rumur.dir/src/prints-scalarsets.cc.o.d -o CMakeFiles/rumur.dir/src/prints-scalarsets.cc.o -c /build/reproducible-path/rumur-2025.02.02/rumur/src/prints-scalarsets.cc
-[ 91%] Building CXX object rumur/CMakeFiles/rumur.dir/src/process.cc.o
+[ 90%] Building CXX object rumur/CMakeFiles/rumur.dir/src/process.cc.o
cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/rumur && /usr/bin/c++ -D_GNU_SOURCE -I/build/reproducible-path/rumur-2025.02.02/rumur/src -I/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/rumur/../librumur -I/build/reproducible-path/rumur-2025.02.02/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2025.02.02=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -std=gnu++11 -MD -MT rumur/CMakeFiles/rumur.dir/src/process.cc.o -MF CMakeFiles/rumur.dir/src/process.cc.o.d -o CMakeFiles/rumur.dir/src/process.cc.o -c /build/reproducible-path/rumur-2025.02.02/rumur/src/process.cc
-/usr/bin/c++ -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2025.02.02=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -Wl,-z,relro -Wl,-z,now -Wl,--as-needed -rdynamic -Wl,--dependency-file=CMakeFiles/murphi2murphi.dir/link.d CMakeFiles/murphi2murphi.dir/resources_manpage.cc.o CMakeFiles/murphi2murphi.dir/__/common/help.c.o CMakeFiles/murphi2murphi.dir/src/DecomposeComplexComparisons.cc.o CMakeFiles/murphi2murphi.dir/src/ExplicitSemicolons.cc.o CMakeFiles/murphi2murphi.dir/src/main.cc.o CMakeFiles/murphi2murphi.dir/src/options.cc.o CMakeFiles/murphi2murphi.dir/src/Pipeline.cc.o CMakeFiles/murphi2murphi.dir/src/Printer.cc.o CMakeFiles/murphi2murphi.dir/src/RemoveLiveness.cc.o CMakeFiles/murphi2murphi.dir/src/Stage.cc.o CMakeFiles/murphi2murphi.dir/src/SwitchToIf.cc.o CMakeFiles/murphi2murphi.dir/src/ToAscii.cc.o -o murphi2murphi -Wl,-rpath,:::::::::::::::::::::::::::::::: ../librumur/librumur.a -lgmpxx -lgmp
-make[3]: Leaving directory '/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu'
-[ 91%] Built target murphi2murphi
-[ 92%] Building CXX object rumur/CMakeFiles/rumur.dir/src/smt/define-enum-members.cc.o
+[ 91%] Building CXX object rumur/CMakeFiles/rumur.dir/src/smt/define-enum-members.cc.o
cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/rumur && /usr/bin/c++ -D_GNU_SOURCE -I/build/reproducible-path/rumur-2025.02.02/rumur/src -I/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/rumur/../librumur -I/build/reproducible-path/rumur-2025.02.02/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2025.02.02=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -std=gnu++11 -MD -MT rumur/CMakeFiles/rumur.dir/src/smt/define-enum-members.cc.o -MF CMakeFiles/rumur.dir/src/smt/define-enum-members.cc.o.d -o CMakeFiles/rumur.dir/src/smt/define-enum-members.cc.o -c /build/reproducible-path/rumur-2025.02.02/rumur/src/smt/define-enum-members.cc
-[ 93%] Building CXX object rumur/CMakeFiles/rumur.dir/src/smt/define-records.cc.o
+[ 92%] Building CXX object rumur/CMakeFiles/rumur.dir/src/smt/define-records.cc.o
cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/rumur && /usr/bin/c++ -D_GNU_SOURCE -I/build/reproducible-path/rumur-2025.02.02/rumur/src -I/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/rumur/../librumur -I/build/reproducible-path/rumur-2025.02.02/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2025.02.02=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -std=gnu++11 -MD -MT rumur/CMakeFiles/rumur.dir/src/smt/define-records.cc.o -MF CMakeFiles/rumur.dir/src/smt/define-records.cc.o.d -o CMakeFiles/rumur.dir/src/smt/define-records.cc.o -c /build/reproducible-path/rumur-2025.02.02/rumur/src/smt/define-records.cc
-[ 94%] Building CXX object rumur/CMakeFiles/rumur.dir/src/smt/logic.cc.o
+[ 93%] Building CXX object rumur/CMakeFiles/rumur.dir/src/smt/logic.cc.o
cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/rumur && /usr/bin/c++ -D_GNU_SOURCE -I/build/reproducible-path/rumur-2025.02.02/rumur/src -I/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/rumur/../librumur -I/build/reproducible-path/rumur-2025.02.02/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2025.02.02=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -std=gnu++11 -MD -MT rumur/CMakeFiles/rumur.dir/src/smt/logic.cc.o -MF CMakeFiles/rumur.dir/src/smt/logic.cc.o.d -o CMakeFiles/rumur.dir/src/smt/logic.cc.o -c /build/reproducible-path/rumur-2025.02.02/rumur/src/smt/logic.cc
-[ 94%] Building CXX object rumur/CMakeFiles/rumur.dir/src/smt/simplify.cc.o
+[ 93%] Building CXX object rumur/CMakeFiles/rumur.dir/src/smt/simplify.cc.o
cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/rumur && /usr/bin/c++ -D_GNU_SOURCE -I/build/reproducible-path/rumur-2025.02.02/rumur/src -I/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/rumur/../librumur -I/build/reproducible-path/rumur-2025.02.02/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2025.02.02=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -std=gnu++11 -MD -MT rumur/CMakeFiles/rumur.dir/src/smt/simplify.cc.o -MF CMakeFiles/rumur.dir/src/smt/simplify.cc.o.d -o CMakeFiles/rumur.dir/src/smt/simplify.cc.o -c /build/reproducible-path/rumur-2025.02.02/rumur/src/smt/simplify.cc
-[ 95%] Building CXX object rumur/CMakeFiles/rumur.dir/src/smt/solver.cc.o
+[ 94%] Building CXX object rumur/CMakeFiles/rumur.dir/src/smt/solver.cc.o
cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/rumur && /usr/bin/c++ -D_GNU_SOURCE -I/build/reproducible-path/rumur-2025.02.02/rumur/src -I/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/rumur/../librumur -I/build/reproducible-path/rumur-2025.02.02/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2025.02.02=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -std=gnu++11 -MD -MT rumur/CMakeFiles/rumur.dir/src/smt/solver.cc.o -MF CMakeFiles/rumur.dir/src/smt/solver.cc.o.d -o CMakeFiles/rumur.dir/src/smt/solver.cc.o -c /build/reproducible-path/rumur-2025.02.02/rumur/src/smt/solver.cc
-[ 96%] Building CXX object rumur/CMakeFiles/rumur.dir/src/smt/typeexpr-to-smt.cc.o
-cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/rumur && /usr/bin/c++ -D_GNU_SOURCE -I/build/reproducible-path/rumur-2025.02.02/rumur/src -I/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/rumur/../librumur -I/build/reproducible-path/rumur-2025.02.02/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2025.02.02=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -std=gnu++11 -MD -MT rumur/CMakeFiles/rumur.dir/src/smt/typeexpr-to-smt.cc.o -MF CMakeFiles/rumur.dir/src/smt/typeexpr-to-smt.cc.o.d -o CMakeFiles/rumur.dir/src/smt/typeexpr-to-smt.cc.o -c /build/reproducible-path/rumur-2025.02.02/rumur/src/smt/typeexpr-to-smt.cc
-[ 96%] Building CXX object rumur/CMakeFiles/rumur.dir/src/symmetry-reduction.cc.o
-[ 97%] Building CXX object rumur/CMakeFiles/rumur.dir/src/smt/translate.cc.o
+[ 96%] Building CXX object rumur/CMakeFiles/rumur.dir/src/smt/translate.cc.o
+[ 95%] Linking CXX executable murphi2uclid
+cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2uclid && /usr/bin/cmake -E cmake_link_script CMakeFiles/murphi2uclid.dir/link.txt --verbose=1
cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/rumur && /usr/bin/c++ -D_GNU_SOURCE -I/build/reproducible-path/rumur-2025.02.02/rumur/src -I/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/rumur/../librumur -I/build/reproducible-path/rumur-2025.02.02/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2025.02.02=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -std=gnu++11 -MD -MT rumur/CMakeFiles/rumur.dir/src/smt/translate.cc.o -MF CMakeFiles/rumur.dir/src/smt/translate.cc.o.d -o CMakeFiles/rumur.dir/src/smt/translate.cc.o -c /build/reproducible-path/rumur-2025.02.02/rumur/src/smt/translate.cc
+[ 97%] Building CXX object rumur/CMakeFiles/rumur.dir/src/smt/typeexpr-to-smt.cc.o
+cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/rumur && /usr/bin/c++ -D_GNU_SOURCE -I/build/reproducible-path/rumur-2025.02.02/rumur/src -I/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/rumur/../librumur -I/build/reproducible-path/rumur-2025.02.02/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2025.02.02=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -std=gnu++11 -MD -MT rumur/CMakeFiles/rumur.dir/src/smt/typeexpr-to-smt.cc.o -MF CMakeFiles/rumur.dir/src/smt/typeexpr-to-smt.cc.o.d -o CMakeFiles/rumur.dir/src/smt/typeexpr-to-smt.cc.o -c /build/reproducible-path/rumur-2025.02.02/rumur/src/smt/typeexpr-to-smt.cc
+[ 97%] Building CXX object rumur/CMakeFiles/rumur.dir/src/symmetry-reduction.cc.o
cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/rumur && /usr/bin/c++ -D_GNU_SOURCE -I/build/reproducible-path/rumur-2025.02.02/rumur/src -I/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/rumur/../librumur -I/build/reproducible-path/rumur-2025.02.02/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2025.02.02=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -std=gnu++11 -MD -MT rumur/CMakeFiles/rumur.dir/src/symmetry-reduction.cc.o -MF CMakeFiles/rumur.dir/src/symmetry-reduction.cc.o.d -o CMakeFiles/rumur.dir/src/symmetry-reduction.cc.o -c /build/reproducible-path/rumur-2025.02.02/rumur/src/symmetry-reduction.cc
+/usr/bin/c++ -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2025.02.02=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -Wl,-z,relro -Wl,-z,now -Wl,--as-needed -rdynamic -Wl,--dependency-file=CMakeFiles/murphi2uclid.dir/link.d CMakeFiles/murphi2uclid.dir/manpage.cc.o CMakeFiles/murphi2uclid.dir/__/common/help.c.o CMakeFiles/murphi2uclid.dir/src/check.cc.o CMakeFiles/murphi2uclid.dir/src/codegen.cc.o CMakeFiles/murphi2uclid.dir/src/main.cc.o CMakeFiles/murphi2uclid.dir/src/pick_numeric_type.cc.o -o murphi2uclid -Wl,-rpath,:::::::::::::::::::::::::::::::: ../librumur/librumur.a -lgmpxx -lgmp
+make[3]: Leaving directory '/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu'
+[ 97%] Built target murphi2uclid
[ 98%] Building CXX object rumur/CMakeFiles/rumur.dir/src/utils.cc.o
cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/rumur && /usr/bin/c++ -D_GNU_SOURCE -I/build/reproducible-path/rumur-2025.02.02/rumur/src -I/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/rumur/../librumur -I/build/reproducible-path/rumur-2025.02.02/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2025.02.02=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -mbranch-protection=standard -Wdate-time -D_FORTIFY_SOURCE=2 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -std=gnu++11 -MD -MT rumur/CMakeFiles/rumur.dir/src/utils.cc.o -MF CMakeFiles/rumur.dir/src/utils.cc.o.d -o CMakeFiles/rumur.dir/src/utils.cc.o -c /build/reproducible-path/rumur-2025.02.02/rumur/src/utils.cc
[ 99%] Building CXX object rumur/CMakeFiles/rumur.dir/src/ValueType.cc.o
@@ -1137,63 +1173,63 @@
make -f murphi-format/CMakeFiles/murphi-format.dir/build.make murphi-format/CMakeFiles/murphi-format.dir/depend
cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /build/reproducible-path/rumur-2025.02.02 /build/reproducible-path/rumur-2025.02.02/tests/murphi-comment-ls /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/tests/murphi-comment-ls /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/tests/murphi-comment-ls/CMakeFiles/murphi-comment-ls.dir/DependInfo.cmake "--color="
make[4]: Entering directory '/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu'
-cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /build/reproducible-path/rumur-2025.02.02 /build/reproducible-path/rumur-2025.02.02/murphi-format /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi-format /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi-format/CMakeFiles/murphi-format.dir/DependInfo.cmake "--color="
make -f murphi2c/CMakeFiles/murphi2c.dir/build.make murphi2c/CMakeFiles/murphi2c.dir/depend
+cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /build/reproducible-path/rumur-2025.02.02 /build/reproducible-path/rumur-2025.02.02/murphi-format /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi-format /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi-format/CMakeFiles/murphi-format.dir/DependInfo.cmake "--color="
make[4]: Entering directory '/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu'
make -f murphi2murphi/CMakeFiles/murphi2murphi.dir/build.make murphi2murphi/CMakeFiles/murphi2murphi.dir/depend
cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /build/reproducible-path/rumur-2025.02.02 /build/reproducible-path/rumur-2025.02.02/murphi2c /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2c /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2c/CMakeFiles/murphi2c.dir/DependInfo.cmake "--color="
make[4]: Entering directory '/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu'
-cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /build/reproducible-path/rumur-2025.02.02 /build/reproducible-path/rumur-2025.02.02/murphi2murphi /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2murphi /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2murphi/CMakeFiles/murphi2murphi.dir/DependInfo.cmake "--color="
make -f murphi2uclid/CMakeFiles/murphi2uclid.dir/build.make murphi2uclid/CMakeFiles/murphi2uclid.dir/depend
-make[4]: Leaving directory '/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu'
+cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /build/reproducible-path/rumur-2025.02.02 /build/reproducible-path/rumur-2025.02.02/murphi2murphi /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2murphi /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2murphi/CMakeFiles/murphi2murphi.dir/DependInfo.cmake "--color="
make[4]: Entering directory '/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu'
-make -f tests/murphi-comment-ls/CMakeFiles/murphi-comment-ls.dir/build.make tests/murphi-comment-ls/CMakeFiles/murphi-comment-ls.dir/build
+make -f murphi2xml/CMakeFiles/murphi2xml.dir/build.make murphi2xml/CMakeFiles/murphi2xml.dir/depend
cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /build/reproducible-path/rumur-2025.02.02 /build/reproducible-path/rumur-2025.02.02/murphi2uclid /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2uclid /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2uclid/CMakeFiles/murphi2uclid.dir/DependInfo.cmake "--color="
make[4]: Entering directory '/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu'
-make -f murphi2xml/CMakeFiles/murphi2xml.dir/build.make murphi2xml/CMakeFiles/murphi2xml.dir/depend
+make -f rumur/CMakeFiles/rumur.dir/build.make rumur/CMakeFiles/rumur.dir/depend
make[4]: Leaving directory '/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu'
-make[4]: Nothing to be done for 'tests/murphi-comment-ls/CMakeFiles/murphi-comment-ls.dir/build'.
make[4]: Leaving directory '/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu'
-make[4]: Entering directory '/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu'
cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /build/reproducible-path/rumur-2025.02.02 /build/reproducible-path/rumur-2025.02.02/murphi2xml /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2xml /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2xml/CMakeFiles/murphi2xml.dir/DependInfo.cmake "--color="
-make -f murphi-format/CMakeFiles/murphi-format.dir/build.make murphi-format/CMakeFiles/murphi-format.dir/build
-make[4]: Leaving directory '/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu'
make[4]: Entering directory '/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu'
-make[4]: Nothing to be done for 'murphi-format/CMakeFiles/murphi-format.dir/build'.
-make[4]: Leaving directory '/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu'
-make -f murphi2uclid/CMakeFiles/murphi2uclid.dir/build.make murphi2uclid/CMakeFiles/murphi2uclid.dir/build
+make -f tests/murphi-comment-ls/CMakeFiles/murphi-comment-ls.dir/build.make tests/murphi-comment-ls/CMakeFiles/murphi-comment-ls.dir/build
make[4]: Leaving directory '/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu'
+cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /build/reproducible-path/rumur-2025.02.02 /build/reproducible-path/rumur-2025.02.02/rumur /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/rumur /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/rumur/CMakeFiles/rumur.dir/DependInfo.cmake "--color="
+make[4]: Entering directory '/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu'
+make -f murphi-format/CMakeFiles/murphi-format.dir/build.make murphi-format/CMakeFiles/murphi-format.dir/build
+make[4]: Nothing to be done for 'tests/murphi-comment-ls/CMakeFiles/murphi-comment-ls.dir/build'.
make[4]: Leaving directory '/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu'
make[4]: Entering directory '/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu'
-make[4]: Nothing to be done for 'murphi2uclid/CMakeFiles/murphi2uclid.dir/build'.
+make[4]: Nothing to be done for 'murphi-format/CMakeFiles/murphi-format.dir/build'.
make[4]: Leaving directory '/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu'
make -f murphi2c/CMakeFiles/murphi2c.dir/build.make murphi2c/CMakeFiles/murphi2c.dir/build
-make -f murphi2murphi/CMakeFiles/murphi2murphi.dir/build.make murphi2murphi/CMakeFiles/murphi2murphi.dir/build
-make[4]: Leaving directory '/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu'
make[4]: Entering directory '/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu'
make[4]: Nothing to be done for 'murphi2c/CMakeFiles/murphi2c.dir/build'.
make[4]: Leaving directory '/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu'
-make[4]: Entering directory '/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu'
-make[4]: Nothing to be done for 'murphi2murphi/CMakeFiles/murphi2murphi.dir/build'.
make[4]: Leaving directory '/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu'
-make -f murphi2xml/CMakeFiles/murphi2xml.dir/build.make murphi2xml/CMakeFiles/murphi2xml.dir/build
-make[4]: Entering directory '/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu'
-make[4]: Nothing to be done for 'murphi2xml/CMakeFiles/murphi2xml.dir/build'.
make[4]: Leaving directory '/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu'
+make[4]: Leaving directory '/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu'
+make -f murphi2murphi/CMakeFiles/murphi2murphi.dir/build.make murphi2murphi/CMakeFiles/murphi2murphi.dir/build
[ 23%] Built target murphi-comment-ls
+make -f murphi2uclid/CMakeFiles/murphi2uclid.dir/build.make murphi2uclid/CMakeFiles/murphi2uclid.dir/build
+make[4]: Entering directory '/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu'
[ 30%] Built target murphi-format
-make -f rumur/CMakeFiles/rumur.dir/build.make rumur/CMakeFiles/rumur.dir/depend
-[ 49%] Built target murphi2murphi
-[ 37%] Built target murphi2uclid
+make[4]: Nothing to be done for 'murphi2murphi/CMakeFiles/murphi2murphi.dir/build'.
+make[4]: Leaving directory '/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu'
make[4]: Entering directory '/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu'
-cd /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /build/reproducible-path/rumur-2025.02.02 /build/reproducible-path/rumur-2025.02.02/rumur /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/rumur /build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/rumur/CMakeFiles/rumur.dir/DependInfo.cmake "--color="
-[ 62%] Built target murphi2c
-[ 67%] Built target murphi2xml
+make -f murphi2xml/CMakeFiles/murphi2xml.dir/build.make murphi2xml/CMakeFiles/murphi2xml.dir/build
+make[4]: Nothing to be done for 'murphi2uclid/CMakeFiles/murphi2uclid.dir/build'.
+make[4]: Leaving directory '/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu'
make[4]: Leaving directory '/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu'
make -f rumur/CMakeFiles/rumur.dir/build.make rumur/CMakeFiles/rumur.dir/build
make[4]: Entering directory '/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu'
+[ 43%] Built target murphi2c
+make[4]: Nothing to be done for 'murphi2xml/CMakeFiles/murphi2xml.dir/build'.
+make[4]: Leaving directory '/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu'
+make[4]: Entering directory '/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu'
make[4]: Nothing to be done for 'rumur/CMakeFiles/rumur.dir/build'.
make[4]: Leaving directory '/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu'
+[ 56%] Built target murphi2murphi
+[ 62%] Built target murphi2uclid
+[ 67%] Built target murphi2xml
[100%] Built target rumur
make -f CMakeFiles/check.dir/build.make CMakeFiles/check.dir/depend
make[4]: Entering directory '/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu'
@@ -1201,7 +1237,7 @@
make[4]: Leaving directory '/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu'
make -f CMakeFiles/check.dir/build.make CMakeFiles/check.dir/build
make[4]: Entering directory '/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu'
-env PATH=/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/rumur:/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi-format:/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2c:/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2murphi:/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2uclid:/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2xml:/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/tests/murphi-comment-ls:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games CPLUS_INCLUDE_PATH=/build/reproducible-path/rumur-2025.02.02/librumur/include:/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/librumur LIBRARY_PATH=/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/librumur LD_LIBRARY_PATH=/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/librumur python3 -m pytest --capture=no --override-ini=cache_dir=/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu --verbose --verbose /build/reproducible-path/rumur-2025.02.02/tests/tests.py
+env PATH=/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/rumur:/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi-format:/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2c:/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2murphi:/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2uclid:/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/murphi2xml:/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/tests/murphi-comment-ls:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/i/capture/the/path CPLUS_INCLUDE_PATH=/build/reproducible-path/rumur-2025.02.02/librumur/include:/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/librumur LIBRARY_PATH=/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/librumur LD_LIBRARY_PATH=/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu/librumur python3 -m pytest --capture=no --override-ini=cache_dir=/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu --verbose --verbose /build/reproducible-path/rumur-2025.02.02/tests/tests.py
============================= test session starts ==============================
platform linux -- Python 3.13.2, pytest-8.3.4, pluggy-1.5.0 -- /usr/bin/python3
cachedir: obj-aarch64-linux-gnu
@@ -7016,7 +7052,7 @@
../tests/tests.py::test_debian_tests[murphi2c-header] PASSED
../tests/tests.py::test_debian_tests[librumur-api] PASSED
-================ 5410 passed, 239 skipped in 2932.71s (0:48:52) ================
+================ 5410 passed, 239 skipped in 2958.55s (0:49:18) ================
make[4]: Leaving directory '/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu'
[100%] Built target check
make[3]: Leaving directory '/build/reproducible-path/rumur-2025.02.02/obj-aarch64-linux-gnu'
@@ -7126,8 +7162,8 @@
dh_gencontrol
dh_md5sums
dh_builddeb
-dpkg-deb: building package 'rumur-dbgsym' in '../rumur-dbgsym_2025.02.02-1_arm64.deb'.
dpkg-deb: building package 'rumur' in '../rumur_2025.02.02-1_arm64.deb'.
+dpkg-deb: building package 'rumur-dbgsym' in '../rumur-dbgsym_2025.02.02-1_arm64.deb'.
dpkg-genbuildinfo --build=binary -O../rumur_2025.02.02-1_arm64.buildinfo
dpkg-genchanges --build=binary -O../rumur_2025.02.02-1_arm64.changes
dpkg-genchanges: info: binary-only upload (no source code included)
@@ -7135,12 +7171,14 @@
dpkg-buildpackage: info: binary-only upload (no source included)
dpkg-genchanges: info: including full source code in upload
I: copying local configuration
+I: user script /srv/workspace/pbuilder/670997/tmp/hooks/B01_cleanup starting
+I: user script /srv/workspace/pbuilder/670997/tmp/hooks/B01_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/1196164 and its subdirectories
-I: Current time: Wed Apr 1 20:39:25 -12 2026
-I: pbuilder-time-stamp: 1775119165
+I: removing directory /srv/workspace/pbuilder/670997 and its subdirectories
+I: Current time: Fri Feb 28 17:12:50 +14 2025
+I: pbuilder-time-stamp: 1740712370