Diff of the two buildlogs:

--
--- b1/build.log	2025-01-31 15:22:51.566506535 +0000
+++ b2/build.log	2025-01-31 16:25:31.229016077 +0000
@@ -1,6 +1,6 @@
 I: pbuilder: network access will be disabled during build
-I: Current time: Thu Jan 30 23:59:53 -12 2025
-I: pbuilder-time-stamp: 1738324793
+I: Current time: Sat Feb  1 05:23:31 +14 2025
+I: pbuilder-time-stamp: 1738337011
 I: Building the build Environment
 I: extracting base tarball [/var/cache/pbuilder/unstable-reproducible-base.tgz]
 I: copying local configuration
@@ -22,52 +22,84 @@
 dpkg-source: info: unpacking rumur_2024.05.07-1.debian.tar.xz
 I: Not using root during the build.
 I: Installing the build-deps
-I: user script /srv/workspace/pbuilder/9956/tmp/hooks/D02_print_environment starting
+I: user script /srv/workspace/pbuilder/13806/tmp/hooks/D01_modify_environment starting
+debug: Running on virt64z.
+I: Changing host+domainname to test build reproducibility
+I: Adding a custom variable just for the fun of it...
+I: Changing /bin/sh to bash
+'/bin/sh' -> '/bin/bash'
+lrwxrwxrwx 1 root root 9 Jan 31 15:23 /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/13806/tmp/hooks/D01_modify_environment finished
+I: user script /srv/workspace/pbuilder/13806/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='armhf'
-  DEBIAN_FRONTEND='noninteractive'
-  DEB_BUILD_OPTIONS='buildinfo=+all reproducible=+all parallel=3 '
-  DISTRIBUTION='unstable'
-  HOME='/root'
-  HOST_ARCH='armhf'
+  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]="arm-unknown-linux-gnueabihf")
+  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=armhf
+  DEBIAN_FRONTEND=noninteractive
+  DEB_BUILD_OPTIONS='buildinfo=+all reproducible=+all parallel=4 '
+  DIRSTACK=()
+  DISTRIBUTION=unstable
+  EUID=0
+  FUNCNAME=([0]="Echo" [1]="main")
+  GROUPS=()
+  HOME=/root
+  HOSTNAME=i-capture-the-hostname
+  HOSTTYPE=arm
+  HOST_ARCH=armhf
   IFS=' 	
   '
-  INVOCATION_ID='8746d8d8e3334b1a8bbbb6f4ed883fd4'
-  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='9956'
-  PS1='# '
-  PS2='> '
+  INVOCATION_ID=1ec928e97b3b4b37b4f83c0fec97acb6
+  LANG=C
+  LANGUAGE=it_CH:it
+  LC_ALL=C
+  MACHTYPE=arm-unknown-linux-gnueabihf
+  MAIL=/var/mail/root
+  OPTERR=1
+  OPTIND=1
+  OSTYPE=linux-gnueabihf
+  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=13806
   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.LguOhSbd/pbuilderrc_qjWm --distribution unstable --hookdir /etc/pbuilder/first-build-hooks --debbuildopts -b --basetgz /var/cache/pbuilder/unstable-reproducible-base.tgz --buildresult /srv/reproducible-results/rbuild-debian/r-b-build.LguOhSbd/b1 --logfile b1/build.log rumur_2024.05.07-1.dsc'
-  SUDO_GID='113'
-  SUDO_UID='107'
-  SUDO_USER='jenkins'
-  TERM='unknown'
-  TZ='/usr/share/zoneinfo/Etc/GMT+12'
-  USER='root'
-  _='/usr/bin/systemd-run'
-  http_proxy='http://10.0.0.15:3142/'
+  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.LguOhSbd/pbuilderrc_kaLc --distribution unstable --hookdir /etc/pbuilder/rebuild-hooks --debbuildopts -b --basetgz /var/cache/pbuilder/unstable-reproducible-base.tgz --buildresult /srv/reproducible-results/rbuild-debian/r-b-build.LguOhSbd/b2 --logfile b2/build.log rumur_2024.05.07-1.dsc'
+  SUDO_GID=110
+  SUDO_UID=103
+  SUDO_USER=jenkins
+  TERM=unknown
+  TZ=/usr/share/zoneinfo/Etc/GMT-14
+  UID=0
+  USER=root
+  _='I: set'
+  http_proxy=http://10.0.0.15:3142/
 I: uname -a
-  Linux ff4a 6.1.0-30-armmp-lpae #1 SMP Debian 6.1.124-1 (2025-01-12) armv7l GNU/Linux
+  Linux i-capture-the-hostname 6.1.0-30-arm64 #1 SMP Debian 6.1.124-1 (2025-01-12) aarch64 GNU/Linux
 I: ls -l /bin
   lrwxrwxrwx 1 root root 7 Nov 22 14:40 /bin -> usr/bin
-I: user script /srv/workspace/pbuilder/9956/tmp/hooks/D02_print_environment finished
+I: user script /srv/workspace/pbuilder/13806/tmp/hooks/D02_print_environment finished
  -> Attempting to satisfy build-dependencies
  -> Creating pbuilder-satisfydepends-dummy package
 Package: pbuilder-satisfydepends-dummy
@@ -201,7 +233,7 @@
 Get: 78 http://deb.debian.org/debian unstable/main armhf libxml2-utils armhf 2.12.7+dfsg+really2.9.14-0.2+b1 [98.3 kB]
 Get: 79 http://deb.debian.org/debian unstable/main armhf strace armhf 6.12+ds-1 [1267 kB]
 Get: 80 http://deb.debian.org/debian unstable/main armhf z3 armhf 4.13.3-1 [7254 kB]
-Fetched 50.4 MB in 5s (10.4 MB/s)
+Fetched 50.4 MB in 7s (7520 kB/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 ... 19567 files and directories currently installed.)
@@ -477,8 +509,8 @@
 Setting up tzdata (2025a-1) ...
 
 Current default time zone: 'Etc/UTC'
-Local time is now:      Fri Jan 31 12:02:42 UTC 2025.
-Universal Time is now:  Fri Jan 31 12:02:42 UTC 2025.
+Local time is now:      Fri Jan 31 15:24:17 UTC 2025.
+Universal Time is now:  Fri Jan 31 15:24:17 UTC 2025.
 Run 'dpkg-reconfigure tzdata' if you wish to change it.
 
 Setting up autotools-dev (20220109.1) ...
@@ -549,7 +581,11 @@
 Building tag database...
  -> Finished parsing the build-deps
 I: Building the package
-I: Running cd /build/reproducible-path/rumur-2024.05.07/ && 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_2024.05.07-1_source.changes
+I: user script /srv/workspace/pbuilder/13806/tmp/hooks/A99_set_merged_usr starting
+Not re-configuring usrmerge for unstable
+I: user script /srv/workspace/pbuilder/13806/tmp/hooks/A99_set_merged_usr finished
+hostname: Name or service not known
+I: Running cd /build/reproducible-path/rumur-2024.05.07/ && 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_2024.05.07-1_source.changes
 dpkg-buildpackage: info: source package rumur
 dpkg-buildpackage: info: source version 2024.05.07-1
 dpkg-buildpackage: info: source distribution unstable
@@ -599,8 +635,8 @@
 -- Performing Test HAS_WARNING_REGISTER - Success
 -- Performing Test HAS_WARNING_DEPRECATED_REGISTER
 -- Performing Test HAS_WARNING_DEPRECATED_REGISTER - Failed
--- Configuring done (11.2s)
--- Generating done (0.3s)
+-- Configuring done (3.2s)
+-- Generating done (0.2s)
 CMake Warning:
   Manually-specified variables were not used by the project:
 
@@ -611,7 +647,7 @@
 
 -- Build files have been written to: /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf
    dh_auto_build
-	cd obj-arm-linux-gnueabihf && make -j3 "INSTALL=install --strip-program=true" VERBOSE=1
+	cd obj-arm-linux-gnueabihf && make -j4 "INSTALL=install --strip-program=true" VERBOSE=1
 make[1]: Entering directory '/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf'
 /usr/bin/cmake -S/build/reproducible-path/rumur-2024.05.07 -B/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf --check-build-system CMakeFiles/Makefile.cmake 0
 /usr/bin/cmake -E cmake_progress_start /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/CMakeFiles /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf//CMakeFiles/progress.marks
@@ -619,80 +655,80 @@
 make[2]: Entering directory '/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf'
 make  -f librumur/CMakeFiles/librumur.dir/build.make librumur/CMakeFiles/librumur.dir/depend
 make  -f murphi2c/CMakeFiles/man-murphi2c.dir/build.make murphi2c/CMakeFiles/man-murphi2c.dir/depend
-make[3]: Entering directory '/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf'
-make[3]: Entering directory '/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf'
 make  -f murphi2murphi/CMakeFiles/man-murphi2murphi.dir/build.make murphi2murphi/CMakeFiles/man-murphi2murphi.dir/depend
+make  -f murphi2uclid/CMakeFiles/man-murphi2uclid.dir/build.make murphi2uclid/CMakeFiles/man-murphi2uclid.dir/depend
+make[3]: Entering directory '/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf'
 cd /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /build/reproducible-path/rumur-2024.05.07 /build/reproducible-path/rumur-2024.05.07/murphi2c /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2c /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2c/CMakeFiles/man-murphi2c.dir/DependInfo.cmake "--color="
 make[3]: Entering directory '/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf'
+make[3]: Entering directory '/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf'
 cd /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /build/reproducible-path/rumur-2024.05.07 /build/reproducible-path/rumur-2024.05.07/murphi2murphi /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2murphi /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2murphi/CMakeFiles/man-murphi2murphi.dir/DependInfo.cmake "--color="
+make[3]: Entering directory '/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf'
+cd /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /build/reproducible-path/rumur-2024.05.07 /build/reproducible-path/rumur-2024.05.07/murphi2uclid /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2uclid /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2uclid/CMakeFiles/man-murphi2uclid.dir/DependInfo.cmake "--color="
+make[3]: Leaving directory '/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf'
 [  1%] Generating always_run
 cd /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/librumur && /usr/bin/env true
+make  -f murphi2c/CMakeFiles/man-murphi2c.dir/build.make murphi2c/CMakeFiles/man-murphi2c.dir/build
+make[3]: Entering directory '/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf'
+make[3]: Leaving directory '/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf'
 make[3]: Leaving directory '/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf'
 make  -f murphi2murphi/CMakeFiles/man-murphi2murphi.dir/build.make murphi2murphi/CMakeFiles/man-murphi2murphi.dir/build
+make  -f murphi2uclid/CMakeFiles/man-murphi2uclid.dir/build.make murphi2uclid/CMakeFiles/man-murphi2uclid.dir/build
 make[3]: Entering directory '/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf'
-make[3]: Leaving directory '/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf'
-make  -f murphi2c/CMakeFiles/man-murphi2c.dir/build.make murphi2c/CMakeFiles/man-murphi2c.dir/build
 make[3]: Entering directory '/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf'
-[  2%] Generating murphi2murphi.1.gz
-cd /build/reproducible-path/rumur-2024.05.07/murphi2murphi && gzip -9 --no-name --to-stdout doc/murphi2murphi.1 >"/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2murphi/murphi2murphi.1.gz"
-[  3%] Generating murphi2c.1.gz
-[  4%] [FLEX][lexer] Building scanner with flex 2.6.4
+[  2%] Generating murphi2c.1.gz
 cd /build/reproducible-path/rumur-2024.05.07/murphi2c && gzip -9 --no-name --to-stdout doc/murphi2c.1 >"/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2c/murphi2c.1.gz"
+[  3%] [FLEX][lexer] Building scanner with flex 2.6.4
 cd /build/reproducible-path/rumur-2024.05.07/librumur && /usr/bin/flex --noline -o/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/librumur/lexer.l.cc src/lexer.l
 make[3]: Leaving directory '/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf'
+[  4%] Generating murphi2murphi.1.gz
+cd /build/reproducible-path/rumur-2024.05.07/murphi2murphi && gzip -9 --no-name --to-stdout doc/murphi2murphi.1 >"/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2murphi/murphi2murphi.1.gz"
+[  5%] Generating murphi2uclid.1.gz
 make[3]: Leaving directory '/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf'
-[  4%] Built target man-murphi2murphi
-make  -f murphi2uclid/CMakeFiles/man-murphi2uclid.dir/build.make murphi2uclid/CMakeFiles/man-murphi2uclid.dir/depend
-make[3]: Entering directory '/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf'
-cd /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /build/reproducible-path/rumur-2024.05.07 /build/reproducible-path/rumur-2024.05.07/murphi2uclid /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2uclid /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2uclid/CMakeFiles/man-murphi2uclid.dir/DependInfo.cmake "--color="
-[  4%] Built target man-murphi2c
+cd /build/reproducible-path/rumur-2024.05.07/murphi2uclid && gzip -9 --no-name --to-stdout doc/murphi2uclid.1 >"/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2uclid/murphi2uclid.1.gz"
+make[3]: Leaving directory '/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf'
+[  5%] Built target man-murphi2c
 make  -f murphi2xml/CMakeFiles/man-murphi2xml.dir/build.make murphi2xml/CMakeFiles/man-murphi2xml.dir/depend
 make[3]: Entering directory '/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf'
 cd /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /build/reproducible-path/rumur-2024.05.07 /build/reproducible-path/rumur-2024.05.07/murphi2xml /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2xml /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2xml/CMakeFiles/man-murphi2xml.dir/DependInfo.cmake "--color="
-[  5%] [BISON][parser] Building parser with bison 3.8.2
+[  6%] [BISON][parser] Building parser with bison 3.8.2
 cd /build/reproducible-path/rumur-2024.05.07/librumur && /usr/bin/bison --no-lines --warnings=all -d -o /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/librumur/parser.yy.cc src/parser.yy
+[  6%] Built target man-murphi2uclid
+make  -f rumur/CMakeFiles/man-rumur.dir/build.make rumur/CMakeFiles/man-rumur.dir/depend
+[  6%] Built target man-murphi2murphi
+make[3]: Entering directory '/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf'
+cd /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /build/reproducible-path/rumur-2024.05.07 /build/reproducible-path/rumur-2024.05.07/rumur /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/rumur /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/rumur/CMakeFiles/man-rumur.dir/DependInfo.cmake "--color="
 src/parser.yy: warning: 4 shift/reduce conflicts [-Wconflicts-sr]
 src/parser.yy: note: rerun with option '-Wcounterexamples' to generate conflict counterexamples
 make[3]: Leaving directory '/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf'
-make  -f murphi2uclid/CMakeFiles/man-murphi2uclid.dir/build.make murphi2uclid/CMakeFiles/man-murphi2uclid.dir/build
-make[3]: Entering directory '/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf'
-make[3]: Leaving directory '/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf'
 make  -f murphi2xml/CMakeFiles/man-murphi2xml.dir/build.make murphi2xml/CMakeFiles/man-murphi2xml.dir/build
 make[3]: Entering directory '/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf'
-[  6%] Generating murphi2uclid.1.gz
-cd /build/reproducible-path/rumur-2024.05.07/murphi2uclid && gzip -9 --no-name --to-stdout doc/murphi2uclid.1 >"/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2uclid/murphi2uclid.1.gz"
-[  7%] Generating murphi2xml.1.gz
-make[3]: Leaving directory '/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf'
-cd /build/reproducible-path/rumur-2024.05.07/murphi2xml && gzip -9 --no-name --to-stdout doc/murphi2xml.1 >"/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2xml/murphi2xml.1.gz"
-make[3]: Leaving directory '/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf'
-[  7%] Built target man-murphi2uclid
-make  -f rumur/CMakeFiles/man-rumur.dir/build.make rumur/CMakeFiles/man-rumur.dir/depend
-make[3]: Entering directory '/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf'
-cd /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /build/reproducible-path/rumur-2024.05.07 /build/reproducible-path/rumur-2024.05.07/rumur /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/rumur /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/rumur/CMakeFiles/man-rumur.dir/DependInfo.cmake "--color="
-[  7%] Built target man-murphi2xml
+[  6%] Generating rumur-get-version.h
+cd /build/reproducible-path/rumur-2024.05.07/librumur && src/make-version.py /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/librumur/rumur-get-version.h
 make[3]: Leaving directory '/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf'
 make  -f rumur/CMakeFiles/man-rumur.dir/build.make rumur/CMakeFiles/man-rumur.dir/build
 make[3]: Entering directory '/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf'
-[  7%] Generating rumur-get-version.h
-cd /build/reproducible-path/rumur-2024.05.07/librumur && src/make-version.py /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/librumur/rumur-get-version.h
-[  7%] Generating rumur.1.gz
+[  6%] Generating rumur.1.gz
 cd /build/reproducible-path/rumur-2024.05.07/rumur && gzip -9 --no-name --to-stdout doc/rumur.1 >"/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/rumur/rumur.1.gz"
+[  7%] Generating murphi2xml.1.gz
+cd /build/reproducible-path/rumur-2024.05.07/murphi2xml && gzip -9 --no-name --to-stdout doc/murphi2xml.1 >"/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2xml/murphi2xml.1.gz"
+make[3]: Leaving directory '/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf'
 [  8%] Generating rumur-run.1.gz
 cd /build/reproducible-path/rumur-2024.05.07/rumur && gzip -9 --no-name --to-stdout doc/rumur-run.1 >"/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/rumur/rumur-run.1.gz"
+[  8%] Built target man-murphi2xml
 make[3]: Leaving directory '/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf'
 [  8%] Built target man-rumur
 cd /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /build/reproducible-path/rumur-2024.05.07 /build/reproducible-path/rumur-2024.05.07/librumur /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/librumur /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/librumur/CMakeFiles/librumur.dir/DependInfo.cmake "--color="
 make[3]: Leaving directory '/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf'
 make  -f librumur/CMakeFiles/librumur.dir/build.make librumur/CMakeFiles/librumur.dir/build
 make[3]: Entering directory '/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf'
-[  9%] Building CXX object librumur/CMakeFiles/librumur.dir/src/Boolean.cc.o
-[ 10%] Building CXX object librumur/CMakeFiles/librumur.dir/src/Comment.cc.o
-cd /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/librumur && /usr/bin/c++  -I/build/reproducible-path/rumur-2024.05.07/librumur/include -I/build/reproducible-path/rumur-2024.05.07/librumur/src -I/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/librumur -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2024.05.07=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -W -Wall -Wextra -Wformat=2   -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -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-2024.05.07/librumur/src/Boolean.cc
-[ 10%] Building CXX object librumur/CMakeFiles/librumur.dir/src/Decl.cc.o
-cd /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/librumur && /usr/bin/c++  -I/build/reproducible-path/rumur-2024.05.07/librumur/include -I/build/reproducible-path/rumur-2024.05.07/librumur/src -I/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/librumur -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2024.05.07=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -W -Wall -Wextra -Wformat=2   -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -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-2024.05.07/librumur/src/Comment.cc
+[  9%] Building CXX object librumur/CMakeFiles/librumur.dir/src/Decl.cc.o
+[ 10%] Building CXX object librumur/CMakeFiles/librumur.dir/src/except.cc.o
+[ 10%] Building CXX object librumur/CMakeFiles/librumur.dir/src/Boolean.cc.o
 cd /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/librumur && /usr/bin/c++  -I/build/reproducible-path/rumur-2024.05.07/librumur/include -I/build/reproducible-path/rumur-2024.05.07/librumur/src -I/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/librumur -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2024.05.07=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -W -Wall -Wextra -Wformat=2   -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -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-2024.05.07/librumur/src/Decl.cc
-[ 11%] Building CXX object librumur/CMakeFiles/librumur.dir/src/except.cc.o
+[ 11%] Building CXX object librumur/CMakeFiles/librumur.dir/src/Comment.cc.o
+cd /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/librumur && /usr/bin/c++  -I/build/reproducible-path/rumur-2024.05.07/librumur/include -I/build/reproducible-path/rumur-2024.05.07/librumur/src -I/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/librumur -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2024.05.07=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -W -Wall -Wextra -Wformat=2   -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -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-2024.05.07/librumur/src/Boolean.cc
 cd /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/librumur && /usr/bin/c++  -I/build/reproducible-path/rumur-2024.05.07/librumur/include -I/build/reproducible-path/rumur-2024.05.07/librumur/src -I/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/librumur -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2024.05.07=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -W -Wall -Wextra -Wformat=2   -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -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-2024.05.07/librumur/src/except.cc
+cd /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/librumur && /usr/bin/c++  -I/build/reproducible-path/rumur-2024.05.07/librumur/include -I/build/reproducible-path/rumur-2024.05.07/librumur/src -I/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/librumur -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2024.05.07=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -W -Wall -Wextra -Wformat=2   -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -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-2024.05.07/librumur/src/Comment.cc
 [ 12%] Building CXX object librumur/CMakeFiles/librumur.dir/src/Expr.cc.o
 cd /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/librumur && /usr/bin/c++  -I/build/reproducible-path/rumur-2024.05.07/librumur/include -I/build/reproducible-path/rumur-2024.05.07/librumur/src -I/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/librumur -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2024.05.07=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -W -Wall -Wextra -Wformat=2   -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -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-2024.05.07/librumur/src/Expr.cc
 [ 13%] Building CXX object librumur/CMakeFiles/librumur.dir/src/Function.cc.o
@@ -745,186 +781,186 @@
 make[3]: Leaving directory '/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf'
 [ 26%] Built target librumur
 make  -f murphi2c/CMakeFiles/murphi2c.dir/build.make murphi2c/CMakeFiles/murphi2c.dir/depend
-make  -f murphi2murphi/CMakeFiles/murphi2murphi.dir/build.make murphi2murphi/CMakeFiles/murphi2murphi.dir/depend
 make[3]: Entering directory '/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf'
+make  -f murphi2murphi/CMakeFiles/murphi2murphi.dir/build.make murphi2murphi/CMakeFiles/murphi2murphi.dir/depend
 make  -f murphi2uclid/CMakeFiles/murphi2uclid.dir/build.make murphi2uclid/CMakeFiles/murphi2uclid.dir/depend
 make[3]: Entering directory '/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf'
 make[3]: Entering directory '/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf'
 [ 27%] Generating resources_manpage.cc
+cd /build/reproducible-path/rumur-2024.05.07/murphi2murphi && ../misc/xxd.py doc/murphi2murphi.1 /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2murphi/resources_manpage.cc
 [ 28%] Generating manpage.cc
-cd /build/reproducible-path/rumur-2024.05.07/murphi2c && ../misc/xxd.py doc/murphi2c.1 /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2c/resources_manpage.cc
 cd /build/reproducible-path/rumur-2024.05.07/murphi2uclid && ../misc/xxd.py doc/murphi2uclid.1 /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2uclid/manpage.cc
 [ 29%] Generating resources_manpage.cc
-cd /build/reproducible-path/rumur-2024.05.07/murphi2murphi && ../misc/xxd.py doc/murphi2murphi.1 /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2murphi/resources_manpage.cc
+cd /build/reproducible-path/rumur-2024.05.07/murphi2c && ../misc/xxd.py doc/murphi2c.1 /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2c/resources_manpage.cc
+[ 30%] Generating resources_c_prefix.cc
+cd /build/reproducible-path/rumur-2024.05.07/murphi2c && ../misc/xxd.py resources/c_prefix.c /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2c/resources_c_prefix.cc
 cd /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /build/reproducible-path/rumur-2024.05.07 /build/reproducible-path/rumur-2024.05.07/murphi2murphi /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2murphi /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2murphi/CMakeFiles/murphi2murphi.dir/DependInfo.cmake "--color="
+cd /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /build/reproducible-path/rumur-2024.05.07 /build/reproducible-path/rumur-2024.05.07/murphi2uclid /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2uclid /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2uclid/CMakeFiles/murphi2uclid.dir/DependInfo.cmake "--color="
+make  -f murphi2xml/CMakeFiles/murphi2xml.dir/build.make murphi2xml/CMakeFiles/murphi2xml.dir/depend
+make[3]: Entering directory '/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf'
 make[3]: Leaving directory '/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf'
 make  -f murphi2murphi/CMakeFiles/murphi2murphi.dir/build.make murphi2murphi/CMakeFiles/murphi2murphi.dir/build
 make[3]: Entering directory '/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf'
-[ 30%] Generating resources_c_prefix.cc
-cd /build/reproducible-path/rumur-2024.05.07/murphi2c && ../misc/xxd.py resources/c_prefix.c /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2c/resources_c_prefix.cc
-cd /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /build/reproducible-path/rumur-2024.05.07 /build/reproducible-path/rumur-2024.05.07/murphi2uclid /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2uclid /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2uclid/CMakeFiles/murphi2uclid.dir/DependInfo.cmake "--color="
-[ 31%] Building CXX object murphi2murphi/CMakeFiles/murphi2murphi.dir/resources_manpage.cc.o
-cd /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2murphi && /usr/bin/c++  -I/build/reproducible-path/rumur-2024.05.07/murphi2murphi/src -I/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2murphi/../librumur -I/build/reproducible-path/rumur-2024.05.07/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2024.05.07=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -W -Wall -Wextra -Wformat=2   -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -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-2024.05.07/obj-arm-linux-gnueabihf/murphi2murphi/resources_manpage.cc
 make[3]: Leaving directory '/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf'
 make  -f murphi2uclid/CMakeFiles/murphi2uclid.dir/build.make murphi2uclid/CMakeFiles/murphi2uclid.dir/build
 make[3]: Entering directory '/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf'
-[ 32%] Building CXX object murphi2uclid/CMakeFiles/murphi2uclid.dir/manpage.cc.o
-cd /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2uclid && /usr/bin/c++  -I/build/reproducible-path/rumur-2024.05.07/murphi2uclid/src -I/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2uclid/../librumur -I/build/reproducible-path/rumur-2024.05.07/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2024.05.07=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -W -Wall -Wextra -Wformat=2   -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -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-2024.05.07/obj-arm-linux-gnueabihf/murphi2uclid/manpage.cc
-[ 34%] Building CXX object murphi2uclid/CMakeFiles/murphi2uclid.dir/__/common/help.cc.o
-[ 33%] Building CXX object murphi2murphi/CMakeFiles/murphi2murphi.dir/__/common/help.cc.o
-cd /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2uclid && /usr/bin/c++  -I/build/reproducible-path/rumur-2024.05.07/murphi2uclid/src -I/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2uclid/../librumur -I/build/reproducible-path/rumur-2024.05.07/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2024.05.07=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -W -Wall -Wextra -Wformat=2   -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -MD -MT murphi2uclid/CMakeFiles/murphi2uclid.dir/__/common/help.cc.o -MF CMakeFiles/murphi2uclid.dir/__/common/help.cc.o.d -o CMakeFiles/murphi2uclid.dir/__/common/help.cc.o -c /build/reproducible-path/rumur-2024.05.07/common/help.cc
-cd /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2murphi && /usr/bin/c++  -I/build/reproducible-path/rumur-2024.05.07/murphi2murphi/src -I/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2murphi/../librumur -I/build/reproducible-path/rumur-2024.05.07/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2024.05.07=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -W -Wall -Wextra -Wformat=2   -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -MD -MT murphi2murphi/CMakeFiles/murphi2murphi.dir/__/common/help.cc.o -MF CMakeFiles/murphi2murphi.dir/__/common/help.cc.o.d -o CMakeFiles/murphi2murphi.dir/__/common/help.cc.o -c /build/reproducible-path/rumur-2024.05.07/common/help.cc
-[ 35%] Generating resources_h_prefix.cc
+[ 31%] Generating resources_h_prefix.cc
 cd /build/reproducible-path/rumur-2024.05.07/murphi2c && ../misc/xxd.py resources/h_prefix.h /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2c/resources_h_prefix.cc
+[ 32%] Generating manpage.cc
+[ 33%] Building CXX object murphi2murphi/CMakeFiles/murphi2murphi.dir/resources_manpage.cc.o
+cd /build/reproducible-path/rumur-2024.05.07/murphi2xml && ../misc/xxd.py doc/murphi2xml.1 /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2xml/manpage.cc
+cd /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2murphi && /usr/bin/c++  -I/build/reproducible-path/rumur-2024.05.07/murphi2murphi/src -I/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2murphi/../librumur -I/build/reproducible-path/rumur-2024.05.07/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2024.05.07=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -W -Wall -Wextra -Wformat=2   -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -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-2024.05.07/obj-arm-linux-gnueabihf/murphi2murphi/resources_manpage.cc
+[ 34%] Building CXX object murphi2uclid/CMakeFiles/murphi2uclid.dir/manpage.cc.o
+cd /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2uclid && /usr/bin/c++  -I/build/reproducible-path/rumur-2024.05.07/murphi2uclid/src -I/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2uclid/../librumur -I/build/reproducible-path/rumur-2024.05.07/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2024.05.07=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -W -Wall -Wextra -Wformat=2   -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -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-2024.05.07/obj-arm-linux-gnueabihf/murphi2uclid/manpage.cc
 cd /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /build/reproducible-path/rumur-2024.05.07 /build/reproducible-path/rumur-2024.05.07/murphi2c /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2c /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2c/CMakeFiles/murphi2c.dir/DependInfo.cmake "--color="
+cd /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /build/reproducible-path/rumur-2024.05.07 /build/reproducible-path/rumur-2024.05.07/murphi2xml /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2xml /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2xml/CMakeFiles/murphi2xml.dir/DependInfo.cmake "--color="
+[ 35%] Building CXX object murphi2uclid/CMakeFiles/murphi2uclid.dir/__/common/help.cc.o
+cd /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2uclid && /usr/bin/c++  -I/build/reproducible-path/rumur-2024.05.07/murphi2uclid/src -I/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2uclid/../librumur -I/build/reproducible-path/rumur-2024.05.07/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2024.05.07=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -W -Wall -Wextra -Wformat=2   -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -MD -MT murphi2uclid/CMakeFiles/murphi2uclid.dir/__/common/help.cc.o -MF CMakeFiles/murphi2uclid.dir/__/common/help.cc.o.d -o CMakeFiles/murphi2uclid.dir/__/common/help.cc.o -c /build/reproducible-path/rumur-2024.05.07/common/help.cc
+make[3]: Leaving directory '/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf'
+make  -f murphi2xml/CMakeFiles/murphi2xml.dir/build.make murphi2xml/CMakeFiles/murphi2xml.dir/build
 make[3]: Leaving directory '/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf'
+make[3]: Entering directory '/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf'
 make  -f murphi2c/CMakeFiles/murphi2c.dir/build.make murphi2c/CMakeFiles/murphi2c.dir/build
+[ 36%] Building CXX object murphi2murphi/CMakeFiles/murphi2murphi.dir/__/common/help.cc.o
+cd /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2murphi && /usr/bin/c++  -I/build/reproducible-path/rumur-2024.05.07/murphi2murphi/src -I/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2murphi/../librumur -I/build/reproducible-path/rumur-2024.05.07/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2024.05.07=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -W -Wall -Wextra -Wformat=2   -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -MD -MT murphi2murphi/CMakeFiles/murphi2murphi.dir/__/common/help.cc.o -MF CMakeFiles/murphi2murphi.dir/__/common/help.cc.o.d -o CMakeFiles/murphi2murphi.dir/__/common/help.cc.o -c /build/reproducible-path/rumur-2024.05.07/common/help.cc
 make[3]: Entering directory '/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf'
-[ 35%] Building CXX object murphi2c/CMakeFiles/murphi2c.dir/resources_c_prefix.cc.o
+[ 37%] Building CXX object murphi2xml/CMakeFiles/murphi2xml.dir/manpage.cc.o
+cd /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2xml && /usr/bin/c++  -I/build/reproducible-path/rumur-2024.05.07/murphi2xml/src -I/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2xml/../librumur -I/build/reproducible-path/rumur-2024.05.07/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2024.05.07=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -W -Wall -Wextra -Wformat=2   -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -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-2024.05.07/obj-arm-linux-gnueabihf/murphi2xml/manpage.cc
+[ 37%] Building CXX object murphi2c/CMakeFiles/murphi2c.dir/resources_c_prefix.cc.o
 cd /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2c && /usr/bin/c++  -I/build/reproducible-path/rumur-2024.05.07/murphi2c/src -I/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2c/../librumur -I/build/reproducible-path/rumur-2024.05.07/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2024.05.07=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -W -Wall -Wextra -Wformat=2   -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -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-2024.05.07/obj-arm-linux-gnueabihf/murphi2c/resources_c_prefix.cc
-[ 36%] Building CXX object murphi2c/CMakeFiles/murphi2c.dir/resources_h_prefix.cc.o
+[ 37%] Building CXX object murphi2xml/CMakeFiles/murphi2xml.dir/__/common/help.cc.o
+cd /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2xml && /usr/bin/c++  -I/build/reproducible-path/rumur-2024.05.07/murphi2xml/src -I/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2xml/../librumur -I/build/reproducible-path/rumur-2024.05.07/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2024.05.07=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -W -Wall -Wextra -Wformat=2   -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -MD -MT murphi2xml/CMakeFiles/murphi2xml.dir/__/common/help.cc.o -MF CMakeFiles/murphi2xml.dir/__/common/help.cc.o.d -o CMakeFiles/murphi2xml.dir/__/common/help.cc.o -c /build/reproducible-path/rumur-2024.05.07/common/help.cc
+[ 38%] Building CXX object murphi2c/CMakeFiles/murphi2c.dir/resources_h_prefix.cc.o
 cd /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2c && /usr/bin/c++  -I/build/reproducible-path/rumur-2024.05.07/murphi2c/src -I/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2c/../librumur -I/build/reproducible-path/rumur-2024.05.07/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2024.05.07=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -W -Wall -Wextra -Wformat=2   -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -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-2024.05.07/obj-arm-linux-gnueabihf/murphi2c/resources_h_prefix.cc
-[ 37%] Building CXX object murphi2c/CMakeFiles/murphi2c.dir/resources_manpage.cc.o
+[ 39%] Building CXX object murphi2c/CMakeFiles/murphi2c.dir/resources_manpage.cc.o
 cd /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2c && /usr/bin/c++  -I/build/reproducible-path/rumur-2024.05.07/murphi2c/src -I/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2c/../librumur -I/build/reproducible-path/rumur-2024.05.07/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2024.05.07=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -W -Wall -Wextra -Wformat=2   -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -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-2024.05.07/obj-arm-linux-gnueabihf/murphi2c/resources_manpage.cc
-[ 38%] Building CXX object murphi2c/CMakeFiles/murphi2c.dir/__/common/escape.cc.o
+[ 40%] Building CXX object murphi2c/CMakeFiles/murphi2c.dir/__/common/escape.cc.o
 cd /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2c && /usr/bin/c++  -I/build/reproducible-path/rumur-2024.05.07/murphi2c/src -I/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2c/../librumur -I/build/reproducible-path/rumur-2024.05.07/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2024.05.07=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -W -Wall -Wextra -Wformat=2   -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -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-2024.05.07/common/escape.cc
-[ 38%] Building CXX object murphi2uclid/CMakeFiles/murphi2uclid.dir/src/check.cc.o
+[ 41%] Building CXX object murphi2c/CMakeFiles/murphi2c.dir/__/common/help.cc.o
+cd /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2c && /usr/bin/c++  -I/build/reproducible-path/rumur-2024.05.07/murphi2c/src -I/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2c/../librumur -I/build/reproducible-path/rumur-2024.05.07/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2024.05.07=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -W -Wall -Wextra -Wformat=2   -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -MD -MT murphi2c/CMakeFiles/murphi2c.dir/__/common/help.cc.o -MF CMakeFiles/murphi2c.dir/__/common/help.cc.o.d -o CMakeFiles/murphi2c.dir/__/common/help.cc.o -c /build/reproducible-path/rumur-2024.05.07/common/help.cc
+[ 41%] Building CXX object murphi2uclid/CMakeFiles/murphi2uclid.dir/src/check.cc.o
 cd /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2uclid && /usr/bin/c++  -I/build/reproducible-path/rumur-2024.05.07/murphi2uclid/src -I/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2uclid/../librumur -I/build/reproducible-path/rumur-2024.05.07/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2024.05.07=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -W -Wall -Wextra -Wformat=2   -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -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-2024.05.07/murphi2uclid/src/check.cc
-[ 39%] Building CXX object murphi2murphi/CMakeFiles/murphi2murphi.dir/src/DecomposeComplexComparisons.cc.o
+[ 42%] Building CXX object murphi2xml/CMakeFiles/murphi2xml.dir/src/main.cc.o
+cd /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2xml && /usr/bin/c++  -I/build/reproducible-path/rumur-2024.05.07/murphi2xml/src -I/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2xml/../librumur -I/build/reproducible-path/rumur-2024.05.07/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2024.05.07=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -W -Wall -Wextra -Wformat=2   -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -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-2024.05.07/murphi2xml/src/main.cc
+[ 43%] Building CXX object murphi2murphi/CMakeFiles/murphi2murphi.dir/src/DecomposeComplexComparisons.cc.o
 cd /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2murphi && /usr/bin/c++  -I/build/reproducible-path/rumur-2024.05.07/murphi2murphi/src -I/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2murphi/../librumur -I/build/reproducible-path/rumur-2024.05.07/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2024.05.07=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -W -Wall -Wextra -Wformat=2   -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -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-2024.05.07/murphi2murphi/src/DecomposeComplexComparisons.cc
-[ 40%] Building CXX object murphi2c/CMakeFiles/murphi2c.dir/__/common/help.cc.o
-cd /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2c && /usr/bin/c++  -I/build/reproducible-path/rumur-2024.05.07/murphi2c/src -I/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2c/../librumur -I/build/reproducible-path/rumur-2024.05.07/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2024.05.07=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -W -Wall -Wextra -Wformat=2   -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -MD -MT murphi2c/CMakeFiles/murphi2c.dir/__/common/help.cc.o -MF CMakeFiles/murphi2c.dir/__/common/help.cc.o.d -o CMakeFiles/murphi2c.dir/__/common/help.cc.o -c /build/reproducible-path/rumur-2024.05.07/common/help.cc
-[ 41%] Building CXX object murphi2c/CMakeFiles/murphi2c.dir/src/check.cc.o
+[ 44%] Building CXX object murphi2c/CMakeFiles/murphi2c.dir/src/check.cc.o
 cd /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2c && /usr/bin/c++  -I/build/reproducible-path/rumur-2024.05.07/murphi2c/src -I/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2c/../librumur -I/build/reproducible-path/rumur-2024.05.07/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2024.05.07=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -W -Wall -Wextra -Wformat=2   -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -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-2024.05.07/murphi2c/src/check.cc
-[ 41%] Building CXX object murphi2c/CMakeFiles/murphi2c.dir/src/CLikeGenerator.cc.o
+[ 44%] Building CXX object murphi2c/CMakeFiles/murphi2c.dir/src/CLikeGenerator.cc.o
 cd /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2c && /usr/bin/c++  -I/build/reproducible-path/rumur-2024.05.07/murphi2c/src -I/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2c/../librumur -I/build/reproducible-path/rumur-2024.05.07/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2024.05.07=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -W -Wall -Wextra -Wformat=2   -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -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-2024.05.07/murphi2c/src/CLikeGenerator.cc
-[ 42%] Building CXX object murphi2uclid/CMakeFiles/murphi2uclid.dir/src/codegen.cc.o
+[ 45%] Building CXX object murphi2uclid/CMakeFiles/murphi2uclid.dir/src/codegen.cc.o
 cd /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2uclid && /usr/bin/c++  -I/build/reproducible-path/rumur-2024.05.07/murphi2uclid/src -I/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2uclid/../librumur -I/build/reproducible-path/rumur-2024.05.07/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2024.05.07=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -W -Wall -Wextra -Wformat=2   -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -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-2024.05.07/murphi2uclid/src/codegen.cc
-[ 43%] Building CXX object murphi2murphi/CMakeFiles/murphi2murphi.dir/src/ExplicitSemicolons.cc.o
+[ 46%] Building CXX object murphi2murphi/CMakeFiles/murphi2murphi.dir/src/ExplicitSemicolons.cc.o
 cd /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2murphi && /usr/bin/c++  -I/build/reproducible-path/rumur-2024.05.07/murphi2murphi/src -I/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2murphi/../librumur -I/build/reproducible-path/rumur-2024.05.07/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2024.05.07=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -W -Wall -Wextra -Wformat=2   -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -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-2024.05.07/murphi2murphi/src/ExplicitSemicolons.cc
-[ 43%] Building CXX object murphi2murphi/CMakeFiles/murphi2murphi.dir/src/main.cc.o
+[ 47%] Building CXX object murphi2xml/CMakeFiles/murphi2xml.dir/src/XMLPrinter.cc.o
+cd /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2xml && /usr/bin/c++  -I/build/reproducible-path/rumur-2024.05.07/murphi2xml/src -I/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2xml/../librumur -I/build/reproducible-path/rumur-2024.05.07/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2024.05.07=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -W -Wall -Wextra -Wformat=2   -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -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-2024.05.07/murphi2xml/src/XMLPrinter.cc
+[ 47%] Building CXX object murphi2murphi/CMakeFiles/murphi2murphi.dir/src/main.cc.o
 cd /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2murphi && /usr/bin/c++  -I/build/reproducible-path/rumur-2024.05.07/murphi2murphi/src -I/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2murphi/../librumur -I/build/reproducible-path/rumur-2024.05.07/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2024.05.07=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -W -Wall -Wextra -Wformat=2   -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -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-2024.05.07/murphi2murphi/src/main.cc
-[ 44%] Building CXX object murphi2murphi/CMakeFiles/murphi2murphi.dir/src/options.cc.o
-cd /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2murphi && /usr/bin/c++  -I/build/reproducible-path/rumur-2024.05.07/murphi2murphi/src -I/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2murphi/../librumur -I/build/reproducible-path/rumur-2024.05.07/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2024.05.07=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -W -Wall -Wextra -Wformat=2   -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -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-2024.05.07/murphi2murphi/src/options.cc
-[ 45%] Building CXX object murphi2murphi/CMakeFiles/murphi2murphi.dir/src/Pipeline.cc.o
-cd /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2murphi && /usr/bin/c++  -I/build/reproducible-path/rumur-2024.05.07/murphi2murphi/src -I/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2murphi/../librumur -I/build/reproducible-path/rumur-2024.05.07/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2024.05.07=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -W -Wall -Wextra -Wformat=2   -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -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-2024.05.07/murphi2murphi/src/Pipeline.cc
-[ 46%] Building CXX object murphi2c/CMakeFiles/murphi2c.dir/src/CodeGenerator.cc.o
-cd /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2c && /usr/bin/c++  -I/build/reproducible-path/rumur-2024.05.07/murphi2c/src -I/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2c/../librumur -I/build/reproducible-path/rumur-2024.05.07/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2024.05.07=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -W -Wall -Wextra -Wformat=2   -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -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-2024.05.07/murphi2c/src/CodeGenerator.cc
-[ 47%] Building CXX object murphi2c/CMakeFiles/murphi2c.dir/src/compares_complex_values.cc.o
-cd /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2c && /usr/bin/c++  -I/build/reproducible-path/rumur-2024.05.07/murphi2c/src -I/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2c/../librumur -I/build/reproducible-path/rumur-2024.05.07/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2024.05.07=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -W -Wall -Wextra -Wformat=2   -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -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-2024.05.07/murphi2c/src/compares_complex_values.cc
-[ 48%] Building CXX object murphi2murphi/CMakeFiles/murphi2murphi.dir/src/Printer.cc.o
-cd /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2murphi && /usr/bin/c++  -I/build/reproducible-path/rumur-2024.05.07/murphi2murphi/src -I/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2murphi/../librumur -I/build/reproducible-path/rumur-2024.05.07/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2024.05.07=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -W -Wall -Wextra -Wformat=2   -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -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-2024.05.07/murphi2murphi/src/Printer.cc
-[ 49%] Building CXX object murphi2uclid/CMakeFiles/murphi2uclid.dir/src/main.cc.o
-cd /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2uclid && /usr/bin/c++  -I/build/reproducible-path/rumur-2024.05.07/murphi2uclid/src -I/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2uclid/../librumur -I/build/reproducible-path/rumur-2024.05.07/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2024.05.07=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -W -Wall -Wextra -Wformat=2   -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -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-2024.05.07/murphi2uclid/src/main.cc
-[ 50%] Building CXX object murphi2c/CMakeFiles/murphi2c.dir/src/generate_c.cc.o
-cd /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2c && /usr/bin/c++  -I/build/reproducible-path/rumur-2024.05.07/murphi2c/src -I/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2c/../librumur -I/build/reproducible-path/rumur-2024.05.07/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2024.05.07=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -W -Wall -Wextra -Wformat=2   -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -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-2024.05.07/murphi2c/src/generate_c.cc
-[ 51%] Building CXX object murphi2murphi/CMakeFiles/murphi2murphi.dir/src/RemoveLiveness.cc.o
-cd /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2murphi && /usr/bin/c++  -I/build/reproducible-path/rumur-2024.05.07/murphi2murphi/src -I/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2murphi/../librumur -I/build/reproducible-path/rumur-2024.05.07/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2024.05.07=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -W -Wall -Wextra -Wformat=2   -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -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-2024.05.07/murphi2murphi/src/RemoveLiveness.cc
-[ 52%] Building CXX object murphi2uclid/CMakeFiles/murphi2uclid.dir/src/pick_numeric_type.cc.o
-cd /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2uclid && /usr/bin/c++  -I/build/reproducible-path/rumur-2024.05.07/murphi2uclid/src -I/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2uclid/../librumur -I/build/reproducible-path/rumur-2024.05.07/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2024.05.07=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -W -Wall -Wextra -Wformat=2   -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -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-2024.05.07/murphi2uclid/src/pick_numeric_type.cc
-[ 53%] Building CXX object murphi2c/CMakeFiles/murphi2c.dir/src/generate_h.cc.o
-cd /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2c && /usr/bin/c++  -I/build/reproducible-path/rumur-2024.05.07/murphi2c/src -I/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2c/../librumur -I/build/reproducible-path/rumur-2024.05.07/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2024.05.07=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -W -Wall -Wextra -Wformat=2   -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -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-2024.05.07/murphi2c/src/generate_h.cc
-[ 54%] Building CXX object murphi2murphi/CMakeFiles/murphi2murphi.dir/src/Stage.cc.o
-cd /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2murphi && /usr/bin/c++  -I/build/reproducible-path/rumur-2024.05.07/murphi2murphi/src -I/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2murphi/../librumur -I/build/reproducible-path/rumur-2024.05.07/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2024.05.07=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -W -Wall -Wextra -Wformat=2   -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -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-2024.05.07/murphi2murphi/src/Stage.cc
-[ 55%] Linking CXX executable murphi2uclid
-cd /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/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-2024.05.07=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -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.cc.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  ../librumur/librumur.a -lgmpxx -lgmp
-make[3]: Leaving directory '/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf'
-[ 55%] Built target murphi2uclid
-[ 56%] Building CXX object murphi2c/CMakeFiles/murphi2c.dir/src/main.cc.o
-cd /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2c && /usr/bin/c++  -I/build/reproducible-path/rumur-2024.05.07/murphi2c/src -I/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2c/../librumur -I/build/reproducible-path/rumur-2024.05.07/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2024.05.07=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -W -Wall -Wextra -Wformat=2   -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -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-2024.05.07/murphi2c/src/main.cc
-[ 57%] Building CXX object murphi2c/CMakeFiles/murphi2c.dir/src/options.cc.o
-cd /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2c && /usr/bin/c++  -I/build/reproducible-path/rumur-2024.05.07/murphi2c/src -I/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2c/../librumur -I/build/reproducible-path/rumur-2024.05.07/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2024.05.07=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -W -Wall -Wextra -Wformat=2   -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -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-2024.05.07/murphi2c/src/options.cc
-[ 57%] Building CXX object murphi2murphi/CMakeFiles/murphi2murphi.dir/src/SwitchToIf.cc.o
-cd /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2murphi && /usr/bin/c++  -I/build/reproducible-path/rumur-2024.05.07/murphi2murphi/src -I/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2murphi/../librumur -I/build/reproducible-path/rumur-2024.05.07/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2024.05.07=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -W -Wall -Wextra -Wformat=2   -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -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-2024.05.07/murphi2murphi/src/SwitchToIf.cc
-[ 58%] Building CXX object murphi2murphi/CMakeFiles/murphi2murphi.dir/src/ToAscii.cc.o
-cd /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2murphi && /usr/bin/c++  -I/build/reproducible-path/rumur-2024.05.07/murphi2murphi/src -I/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2murphi/../librumur -I/build/reproducible-path/rumur-2024.05.07/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2024.05.07=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -W -Wall -Wextra -Wformat=2   -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -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-2024.05.07/murphi2murphi/src/ToAscii.cc
-[ 58%] Linking CXX executable murphi2c
-cd /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2c && /usr/bin/cmake -E cmake_link_script CMakeFiles/murphi2c.dir/link.txt --verbose=1
-/usr/bin/c++ -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2024.05.07=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -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.cc.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  ../librumur/librumur.a -lgmpxx -lgmp
-make[3]: Leaving directory '/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf'
-[ 58%] Built target murphi2c
-make  -f murphi2xml/CMakeFiles/murphi2xml.dir/build.make murphi2xml/CMakeFiles/murphi2xml.dir/depend
-make[3]: Entering directory '/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf'
-[ 59%] Generating manpage.cc
-cd /build/reproducible-path/rumur-2024.05.07/murphi2xml && ../misc/xxd.py doc/murphi2xml.1 /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2xml/manpage.cc
-cd /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /build/reproducible-path/rumur-2024.05.07 /build/reproducible-path/rumur-2024.05.07/murphi2xml /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2xml /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2xml/CMakeFiles/murphi2xml.dir/DependInfo.cmake "--color="
+[ 48%] Linking CXX executable murphi2xml
+cd /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2xml && /usr/bin/cmake -E cmake_link_script CMakeFiles/murphi2xml.dir/link.txt --verbose=1
+/usr/bin/c++ -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2024.05.07=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -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.cc.o CMakeFiles/murphi2xml.dir/src/main.cc.o CMakeFiles/murphi2xml.dir/src/XMLPrinter.cc.o -o murphi2xml  ../librumur/librumur.a -lgmpxx -lgmp
 make[3]: Leaving directory '/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf'
-make  -f murphi2xml/CMakeFiles/murphi2xml.dir/build.make murphi2xml/CMakeFiles/murphi2xml.dir/build
-make[3]: Entering directory '/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf'
-[ 60%] Building CXX object murphi2xml/CMakeFiles/murphi2xml.dir/manpage.cc.o
-cd /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2xml && /usr/bin/c++  -I/build/reproducible-path/rumur-2024.05.07/murphi2xml/src -I/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2xml/../librumur -I/build/reproducible-path/rumur-2024.05.07/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2024.05.07=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -W -Wall -Wextra -Wformat=2   -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -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-2024.05.07/obj-arm-linux-gnueabihf/murphi2xml/manpage.cc
-[ 60%] Building CXX object murphi2xml/CMakeFiles/murphi2xml.dir/__/common/help.cc.o
-cd /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2xml && /usr/bin/c++  -I/build/reproducible-path/rumur-2024.05.07/murphi2xml/src -I/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2xml/../librumur -I/build/reproducible-path/rumur-2024.05.07/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2024.05.07=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -W -Wall -Wextra -Wformat=2   -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -MD -MT murphi2xml/CMakeFiles/murphi2xml.dir/__/common/help.cc.o -MF CMakeFiles/murphi2xml.dir/__/common/help.cc.o.d -o CMakeFiles/murphi2xml.dir/__/common/help.cc.o -c /build/reproducible-path/rumur-2024.05.07/common/help.cc
-[ 61%] Building CXX object murphi2xml/CMakeFiles/murphi2xml.dir/src/main.cc.o
-cd /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2xml && /usr/bin/c++  -I/build/reproducible-path/rumur-2024.05.07/murphi2xml/src -I/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2xml/../librumur -I/build/reproducible-path/rumur-2024.05.07/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2024.05.07=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -W -Wall -Wextra -Wformat=2   -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -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-2024.05.07/murphi2xml/src/main.cc
+[ 48%] Built target murphi2xml
 make  -f rumur/CMakeFiles/rumur.dir/build.make rumur/CMakeFiles/rumur.dir/depend
 make[3]: Entering directory '/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf'
-[ 61%] Generating resources_manpage.cc
+[ 48%] Generating resources_manpage.cc
 cd /build/reproducible-path/rumur-2024.05.07/rumur && ../misc/xxd.py doc/rumur.1 /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/rumur/resources_manpage.cc
-[ 62%] Linking CXX executable murphi2murphi
-cd /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2murphi && /usr/bin/cmake -E cmake_link_script CMakeFiles/murphi2murphi.dir/link.txt --verbose=1
-[ 63%] Generating resources_header.cc
+[ 49%] Generating resources_header.cc
 cd /build/reproducible-path/rumur-2024.05.07/rumur && ../misc/xxd.py resources/header.c /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/rumur/resources_header.cc
-[ 64%] Generating resources_includes.cc
+[ 50%] Generating resources_includes.cc
 cd /build/reproducible-path/rumur-2024.05.07/rumur && ../misc/xxd.py resources/includes.c /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/rumur/resources_includes.cc
-/usr/bin/c++ -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2024.05.07=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -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.cc.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  ../librumur/librumur.a -lgmpxx -lgmp
-make[3]: Leaving directory '/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf'
-[ 64%] Built target murphi2murphi
-make  -f tests/murphi-comment-ls/CMakeFiles/murphi-comment-ls.dir/build.make tests/murphi-comment-ls/CMakeFiles/murphi-comment-ls.dir/depend
 cd /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /build/reproducible-path/rumur-2024.05.07 /build/reproducible-path/rumur-2024.05.07/rumur /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/rumur /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/rumur/CMakeFiles/rumur.dir/DependInfo.cmake "--color="
-make[3]: Entering directory '/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf'
-cd /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /build/reproducible-path/rumur-2024.05.07 /build/reproducible-path/rumur-2024.05.07/tests/murphi-comment-ls /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/tests/murphi-comment-ls /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/tests/murphi-comment-ls/CMakeFiles/murphi-comment-ls.dir/DependInfo.cmake "--color="
-make[3]: Leaving directory '/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf'
-make  -f tests/murphi-comment-ls/CMakeFiles/murphi-comment-ls.dir/build.make tests/murphi-comment-ls/CMakeFiles/murphi-comment-ls.dir/build
 make[3]: Leaving directory '/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf'
 make  -f rumur/CMakeFiles/rumur.dir/build.make rumur/CMakeFiles/rumur.dir/build
 make[3]: Entering directory '/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf'
-make[3]: Entering directory '/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf'
-[ 65%] Building CXX object tests/murphi-comment-ls/CMakeFiles/murphi-comment-ls.dir/main.cc.o
-[ 66%] Building CXX object rumur/CMakeFiles/rumur.dir/resources_includes.cc.o
-cd /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/tests/murphi-comment-ls && /usr/bin/c++  -I/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/tests/murphi-comment-ls/../../librumur -I/build/reproducible-path/rumur-2024.05.07/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2024.05.07=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -W -Wall -Wextra -Wformat=2   -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -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-2024.05.07/tests/murphi-comment-ls/main.cc
+[ 51%] Building CXX object rumur/CMakeFiles/rumur.dir/resources_includes.cc.o
 cd /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/rumur && /usr/bin/c++  -I/build/reproducible-path/rumur-2024.05.07/rumur/src -I/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/rumur/../librumur -I/build/reproducible-path/rumur-2024.05.07/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2024.05.07=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -W -Wall -Wextra -Wformat=2   -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -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-2024.05.07/obj-arm-linux-gnueabihf/rumur/resources_includes.cc
-[ 67%] Building CXX object rumur/CMakeFiles/rumur.dir/resources_header.cc.o
+[ 52%] Building CXX object rumur/CMakeFiles/rumur.dir/resources_header.cc.o
 cd /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/rumur && /usr/bin/c++  -I/build/reproducible-path/rumur-2024.05.07/rumur/src -I/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/rumur/../librumur -I/build/reproducible-path/rumur-2024.05.07/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2024.05.07=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -W -Wall -Wextra -Wformat=2   -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -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-2024.05.07/obj-arm-linux-gnueabihf/rumur/resources_header.cc
-[ 68%] Building CXX object rumur/CMakeFiles/rumur.dir/resources_manpage.cc.o
+[ 53%] Building CXX object rumur/CMakeFiles/rumur.dir/resources_manpage.cc.o
 cd /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/rumur && /usr/bin/c++  -I/build/reproducible-path/rumur-2024.05.07/rumur/src -I/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/rumur/../librumur -I/build/reproducible-path/rumur-2024.05.07/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2024.05.07=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -W -Wall -Wextra -Wformat=2   -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -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-2024.05.07/obj-arm-linux-gnueabihf/rumur/resources_manpage.cc
-[ 69%] Building CXX object rumur/CMakeFiles/rumur.dir/__/common/escape.cc.o
+[ 54%] Building CXX object rumur/CMakeFiles/rumur.dir/__/common/escape.cc.o
 cd /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/rumur && /usr/bin/c++  -I/build/reproducible-path/rumur-2024.05.07/rumur/src -I/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/rumur/../librumur -I/build/reproducible-path/rumur-2024.05.07/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2024.05.07=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -W -Wall -Wextra -Wformat=2   -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -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-2024.05.07/common/escape.cc
-[ 70%] Building CXX object rumur/CMakeFiles/rumur.dir/__/common/help.cc.o
+[ 55%] Building CXX object rumur/CMakeFiles/rumur.dir/__/common/help.cc.o
 cd /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/rumur && /usr/bin/c++  -I/build/reproducible-path/rumur-2024.05.07/rumur/src -I/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/rumur/../librumur -I/build/reproducible-path/rumur-2024.05.07/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2024.05.07=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -W -Wall -Wextra -Wformat=2   -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -MD -MT rumur/CMakeFiles/rumur.dir/__/common/help.cc.o -MF CMakeFiles/rumur.dir/__/common/help.cc.o.d -o CMakeFiles/rumur.dir/__/common/help.cc.o -c /build/reproducible-path/rumur-2024.05.07/common/help.cc
-[ 70%] Building CXX object rumur/CMakeFiles/rumur.dir/src/assume-statements-count.cc.o
+[ 56%] Building CXX object murphi2murphi/CMakeFiles/murphi2murphi.dir/src/options.cc.o
+cd /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2murphi && /usr/bin/c++  -I/build/reproducible-path/rumur-2024.05.07/murphi2murphi/src -I/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2murphi/../librumur -I/build/reproducible-path/rumur-2024.05.07/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2024.05.07=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -W -Wall -Wextra -Wformat=2   -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -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-2024.05.07/murphi2murphi/src/options.cc
+[ 57%] Building CXX object murphi2murphi/CMakeFiles/murphi2murphi.dir/src/Pipeline.cc.o
+cd /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2murphi && /usr/bin/c++  -I/build/reproducible-path/rumur-2024.05.07/murphi2murphi/src -I/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2murphi/../librumur -I/build/reproducible-path/rumur-2024.05.07/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2024.05.07=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -W -Wall -Wextra -Wformat=2   -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -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-2024.05.07/murphi2murphi/src/Pipeline.cc
+[ 58%] Building CXX object murphi2c/CMakeFiles/murphi2c.dir/src/CodeGenerator.cc.o
+cd /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2c && /usr/bin/c++  -I/build/reproducible-path/rumur-2024.05.07/murphi2c/src -I/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2c/../librumur -I/build/reproducible-path/rumur-2024.05.07/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2024.05.07=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -W -Wall -Wextra -Wformat=2   -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -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-2024.05.07/murphi2c/src/CodeGenerator.cc
+[ 58%] Building CXX object rumur/CMakeFiles/rumur.dir/src/assume-statements-count.cc.o
 cd /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/rumur && /usr/bin/c++  -I/build/reproducible-path/rumur-2024.05.07/rumur/src -I/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/rumur/../librumur -I/build/reproducible-path/rumur-2024.05.07/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2024.05.07=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -W -Wall -Wextra -Wformat=2   -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -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-2024.05.07/rumur/src/assume-statements-count.cc
-[ 71%] Linking CXX executable murphi-comment-ls
-cd /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/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-2024.05.07=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -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-2024.05.07/obj-arm-linux-gnueabihf'
-[ 71%] Built target murphi-comment-ls
-[ 72%] Building CXX object rumur/CMakeFiles/rumur.dir/src/environ.cc.o
+[ 59%] Building CXX object murphi2c/CMakeFiles/murphi2c.dir/src/compares_complex_values.cc.o
+cd /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2c && /usr/bin/c++  -I/build/reproducible-path/rumur-2024.05.07/murphi2c/src -I/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2c/../librumur -I/build/reproducible-path/rumur-2024.05.07/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2024.05.07=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -W -Wall -Wextra -Wformat=2   -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -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-2024.05.07/murphi2c/src/compares_complex_values.cc
+[ 60%] Building CXX object murphi2uclid/CMakeFiles/murphi2uclid.dir/src/main.cc.o
+cd /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2uclid && /usr/bin/c++  -I/build/reproducible-path/rumur-2024.05.07/murphi2uclid/src -I/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2uclid/../librumur -I/build/reproducible-path/rumur-2024.05.07/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2024.05.07=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -W -Wall -Wextra -Wformat=2   -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -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-2024.05.07/murphi2uclid/src/main.cc
+[ 61%] Building CXX object murphi2murphi/CMakeFiles/murphi2murphi.dir/src/Printer.cc.o
+cd /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2murphi && /usr/bin/c++  -I/build/reproducible-path/rumur-2024.05.07/murphi2murphi/src -I/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2murphi/../librumur -I/build/reproducible-path/rumur-2024.05.07/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2024.05.07=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -W -Wall -Wextra -Wformat=2   -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -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-2024.05.07/murphi2murphi/src/Printer.cc
+[ 62%] Building CXX object rumur/CMakeFiles/rumur.dir/src/environ.cc.o
 cd /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/rumur && /usr/bin/c++  -I/build/reproducible-path/rumur-2024.05.07/rumur/src -I/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/rumur/../librumur -I/build/reproducible-path/rumur-2024.05.07/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2024.05.07=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -W -Wall -Wextra -Wformat=2   -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -MD -MT rumur/CMakeFiles/rumur.dir/src/environ.cc.o -MF CMakeFiles/rumur.dir/src/environ.cc.o.d -o CMakeFiles/rumur.dir/src/environ.cc.o -c /build/reproducible-path/rumur-2024.05.07/rumur/src/environ.cc
-[ 73%] Building CXX object murphi2xml/CMakeFiles/murphi2xml.dir/src/XMLPrinter.cc.o
-cd /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2xml && /usr/bin/c++  -I/build/reproducible-path/rumur-2024.05.07/murphi2xml/src -I/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2xml/../librumur -I/build/reproducible-path/rumur-2024.05.07/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2024.05.07=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -W -Wall -Wextra -Wformat=2   -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -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-2024.05.07/murphi2xml/src/XMLPrinter.cc
-[ 74%] Building CXX object rumur/CMakeFiles/rumur.dir/src/generate-allocations.cc.o
+[ 63%] Building CXX object rumur/CMakeFiles/rumur.dir/src/generate-allocations.cc.o
 cd /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/rumur && /usr/bin/c++  -I/build/reproducible-path/rumur-2024.05.07/rumur/src -I/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/rumur/../librumur -I/build/reproducible-path/rumur-2024.05.07/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2024.05.07=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -W -Wall -Wextra -Wformat=2   -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -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-2024.05.07/rumur/src/generate-allocations.cc
-[ 75%] Building CXX object rumur/CMakeFiles/rumur.dir/src/generate-cover-array.cc.o
+[ 64%] Building CXX object murphi2c/CMakeFiles/murphi2c.dir/src/generate_c.cc.o
+cd /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2c && /usr/bin/c++  -I/build/reproducible-path/rumur-2024.05.07/murphi2c/src -I/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2c/../librumur -I/build/reproducible-path/rumur-2024.05.07/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2024.05.07=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -W -Wall -Wextra -Wformat=2   -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -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-2024.05.07/murphi2c/src/generate_c.cc
+[ 65%] Building CXX object rumur/CMakeFiles/rumur.dir/src/generate-cover-array.cc.o
 cd /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/rumur && /usr/bin/c++  -I/build/reproducible-path/rumur-2024.05.07/rumur/src -I/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/rumur/../librumur -I/build/reproducible-path/rumur-2024.05.07/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2024.05.07=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -W -Wall -Wextra -Wformat=2   -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -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-2024.05.07/rumur/src/generate-cover-array.cc
-[ 76%] Building CXX object rumur/CMakeFiles/rumur.dir/src/generate-decl.cc.o
+[ 66%] Building CXX object murphi2uclid/CMakeFiles/murphi2uclid.dir/src/pick_numeric_type.cc.o
+cd /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2uclid && /usr/bin/c++  -I/build/reproducible-path/rumur-2024.05.07/murphi2uclid/src -I/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2uclid/../librumur -I/build/reproducible-path/rumur-2024.05.07/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2024.05.07=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -W -Wall -Wextra -Wformat=2   -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -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-2024.05.07/murphi2uclid/src/pick_numeric_type.cc
+[ 67%] Building CXX object murphi2murphi/CMakeFiles/murphi2murphi.dir/src/RemoveLiveness.cc.o
+cd /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2murphi && /usr/bin/c++  -I/build/reproducible-path/rumur-2024.05.07/murphi2murphi/src -I/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2murphi/../librumur -I/build/reproducible-path/rumur-2024.05.07/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2024.05.07=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -W -Wall -Wextra -Wformat=2   -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -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-2024.05.07/murphi2murphi/src/RemoveLiveness.cc
+[ 68%] Building CXX object rumur/CMakeFiles/rumur.dir/src/generate-decl.cc.o
 cd /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/rumur && /usr/bin/c++  -I/build/reproducible-path/rumur-2024.05.07/rumur/src -I/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/rumur/../librumur -I/build/reproducible-path/rumur-2024.05.07/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2024.05.07=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -W -Wall -Wextra -Wformat=2   -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -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-2024.05.07/rumur/src/generate-decl.cc
-[ 77%] Building CXX object rumur/CMakeFiles/rumur.dir/src/generate-expr.cc.o
+[ 69%] Linking CXX executable murphi2uclid
+cd /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2uclid && /usr/bin/cmake -E cmake_link_script CMakeFiles/murphi2uclid.dir/link.txt --verbose=1
+[ 70%] Building CXX object murphi2c/CMakeFiles/murphi2c.dir/src/generate_h.cc.o
+cd /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2c && /usr/bin/c++  -I/build/reproducible-path/rumur-2024.05.07/murphi2c/src -I/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2c/../librumur -I/build/reproducible-path/rumur-2024.05.07/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2024.05.07=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -W -Wall -Wextra -Wformat=2   -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -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-2024.05.07/murphi2c/src/generate_h.cc
+/usr/bin/c++ -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2024.05.07=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -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.cc.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  ../librumur/librumur.a -lgmpxx -lgmp
+make[3]: Leaving directory '/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf'
+[ 70%] Built target murphi2uclid
+make  -f tests/murphi-comment-ls/CMakeFiles/murphi-comment-ls.dir/build.make tests/murphi-comment-ls/CMakeFiles/murphi-comment-ls.dir/depend
+make[3]: Entering directory '/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf'
+cd /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /build/reproducible-path/rumur-2024.05.07 /build/reproducible-path/rumur-2024.05.07/tests/murphi-comment-ls /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/tests/murphi-comment-ls /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/tests/murphi-comment-ls/CMakeFiles/murphi-comment-ls.dir/DependInfo.cmake "--color="
+make[3]: Leaving directory '/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf'
+make  -f tests/murphi-comment-ls/CMakeFiles/murphi-comment-ls.dir/build.make tests/murphi-comment-ls/CMakeFiles/murphi-comment-ls.dir/build
+make[3]: Entering directory '/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf'
+[ 71%] Building CXX object tests/murphi-comment-ls/CMakeFiles/murphi-comment-ls.dir/main.cc.o
+cd /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/tests/murphi-comment-ls && /usr/bin/c++  -I/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/tests/murphi-comment-ls/../../librumur -I/build/reproducible-path/rumur-2024.05.07/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2024.05.07=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -W -Wall -Wextra -Wformat=2   -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -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-2024.05.07/tests/murphi-comment-ls/main.cc
+[ 72%] Building CXX object murphi2murphi/CMakeFiles/murphi2murphi.dir/src/Stage.cc.o
+cd /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2murphi && /usr/bin/c++  -I/build/reproducible-path/rumur-2024.05.07/murphi2murphi/src -I/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2murphi/../librumur -I/build/reproducible-path/rumur-2024.05.07/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2024.05.07=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -W -Wall -Wextra -Wformat=2   -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -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-2024.05.07/murphi2murphi/src/Stage.cc
+[ 73%] Building CXX object rumur/CMakeFiles/rumur.dir/src/generate-expr.cc.o
 cd /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/rumur && /usr/bin/c++  -I/build/reproducible-path/rumur-2024.05.07/rumur/src -I/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/rumur/../librumur -I/build/reproducible-path/rumur-2024.05.07/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2024.05.07=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -W -Wall -Wextra -Wformat=2   -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -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-2024.05.07/rumur/src/generate-expr.cc
-[ 77%] Building CXX object rumur/CMakeFiles/rumur.dir/src/generate-function.cc.o
-cd /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/rumur && /usr/bin/c++  -I/build/reproducible-path/rumur-2024.05.07/rumur/src -I/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/rumur/../librumur -I/build/reproducible-path/rumur-2024.05.07/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2024.05.07=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -W -Wall -Wextra -Wformat=2   -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -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-2024.05.07/rumur/src/generate-function.cc
-[ 78%] Linking CXX executable murphi2xml
-cd /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2xml && /usr/bin/cmake -E cmake_link_script CMakeFiles/murphi2xml.dir/link.txt --verbose=1
-/usr/bin/c++ -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2024.05.07=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -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.cc.o CMakeFiles/murphi2xml.dir/src/main.cc.o CMakeFiles/murphi2xml.dir/src/XMLPrinter.cc.o -o murphi2xml  ../librumur/librumur.a -lgmpxx -lgmp
+[ 74%] Linking CXX executable murphi-comment-ls
+cd /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/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-2024.05.07=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -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-2024.05.07/obj-arm-linux-gnueabihf'
-[ 78%] Built target murphi2xml
-[ 79%] Building CXX object rumur/CMakeFiles/rumur.dir/src/generate-model.cc.o
+[ 74%] Built target murphi-comment-ls
+[ 75%] Building CXX object murphi2c/CMakeFiles/murphi2c.dir/src/main.cc.o
+cd /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2c && /usr/bin/c++  -I/build/reproducible-path/rumur-2024.05.07/murphi2c/src -I/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2c/../librumur -I/build/reproducible-path/rumur-2024.05.07/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2024.05.07=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -W -Wall -Wextra -Wformat=2   -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -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-2024.05.07/murphi2c/src/main.cc
+[ 76%] Building CXX object murphi2c/CMakeFiles/murphi2c.dir/src/options.cc.o
+cd /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2c && /usr/bin/c++  -I/build/reproducible-path/rumur-2024.05.07/murphi2c/src -I/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2c/../librumur -I/build/reproducible-path/rumur-2024.05.07/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2024.05.07=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -W -Wall -Wextra -Wformat=2   -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -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-2024.05.07/murphi2c/src/options.cc
+[ 76%] Building CXX object rumur/CMakeFiles/rumur.dir/src/generate-function.cc.o
+cd /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/rumur && /usr/bin/c++  -I/build/reproducible-path/rumur-2024.05.07/rumur/src -I/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/rumur/../librumur -I/build/reproducible-path/rumur-2024.05.07/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2024.05.07=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -W -Wall -Wextra -Wformat=2   -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -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-2024.05.07/rumur/src/generate-function.cc
+[ 76%] Building CXX object murphi2murphi/CMakeFiles/murphi2murphi.dir/src/SwitchToIf.cc.o
+cd /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2murphi && /usr/bin/c++  -I/build/reproducible-path/rumur-2024.05.07/murphi2murphi/src -I/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2murphi/../librumur -I/build/reproducible-path/rumur-2024.05.07/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2024.05.07=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -W -Wall -Wextra -Wformat=2   -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -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-2024.05.07/murphi2murphi/src/SwitchToIf.cc
+[ 77%] Building CXX object rumur/CMakeFiles/rumur.dir/src/generate-model.cc.o
 cd /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/rumur && /usr/bin/c++  -I/build/reproducible-path/rumur-2024.05.07/rumur/src -I/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/rumur/../librumur -I/build/reproducible-path/rumur-2024.05.07/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2024.05.07=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -W -Wall -Wextra -Wformat=2   -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -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-2024.05.07/rumur/src/generate-model.cc
-[ 80%] Building CXX object rumur/CMakeFiles/rumur.dir/src/generate-print.cc.o
+[ 77%] Linking CXX executable murphi2c
+cd /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2c && /usr/bin/cmake -E cmake_link_script CMakeFiles/murphi2c.dir/link.txt --verbose=1
+[ 78%] Building CXX object murphi2murphi/CMakeFiles/murphi2murphi.dir/src/ToAscii.cc.o
+cd /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2murphi && /usr/bin/c++  -I/build/reproducible-path/rumur-2024.05.07/murphi2murphi/src -I/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2murphi/../librumur -I/build/reproducible-path/rumur-2024.05.07/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2024.05.07=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -W -Wall -Wextra -Wformat=2   -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -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-2024.05.07/murphi2murphi/src/ToAscii.cc
+/usr/bin/c++ -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2024.05.07=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -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.cc.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  ../librumur/librumur.a -lgmpxx -lgmp
+make[3]: Leaving directory '/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf'
+[ 78%] Built target murphi2c
+[ 79%] Building CXX object rumur/CMakeFiles/rumur.dir/src/generate-print.cc.o
 cd /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/rumur && /usr/bin/c++  -I/build/reproducible-path/rumur-2024.05.07/rumur/src -I/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/rumur/../librumur -I/build/reproducible-path/rumur-2024.05.07/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2024.05.07=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -W -Wall -Wextra -Wformat=2   -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -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-2024.05.07/rumur/src/generate-print.cc
-[ 81%] Building CXX object rumur/CMakeFiles/rumur.dir/src/generate-property.cc.o
+[ 80%] Building CXX object rumur/CMakeFiles/rumur.dir/src/generate-property.cc.o
 cd /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/rumur && /usr/bin/c++  -I/build/reproducible-path/rumur-2024.05.07/rumur/src -I/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/rumur/../librumur -I/build/reproducible-path/rumur-2024.05.07/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2024.05.07=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -W -Wall -Wextra -Wformat=2   -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -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-2024.05.07/rumur/src/generate-property.cc
+[ 81%] Linking CXX executable murphi2murphi
+cd /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/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-2024.05.07=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -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.cc.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  ../librumur/librumur.a -lgmpxx -lgmp
+make[3]: Leaving directory '/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf'
+[ 81%] Built target murphi2murphi
 [ 82%] Building CXX object rumur/CMakeFiles/rumur.dir/src/generate-quantifier.cc.o
 cd /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/rumur && /usr/bin/c++  -I/build/reproducible-path/rumur-2024.05.07/rumur/src -I/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/rumur/../librumur -I/build/reproducible-path/rumur-2024.05.07/librumur/include -g -O2 -ffile-prefix-map=/build/reproducible-path/rumur-2024.05.07=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11 -W -Wall -Wextra -Wformat=2   -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -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-2024.05.07/rumur/src/generate-quantifier.cc
 [ 83%] Building CXX object rumur/CMakeFiles/rumur.dir/src/generate-stmt.cc.o
@@ -976,7 +1012,7 @@
 /usr/bin/cmake -E cmake_progress_start /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/CMakeFiles 0
 make[1]: Leaving directory '/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf'
    dh_auto_test
-	cd obj-arm-linux-gnueabihf && make -j3 check ARGS\+=--verbose ARGS\+=-j3
+	cd obj-arm-linux-gnueabihf && make -j4 check ARGS\+=--verbose ARGS\+=-j4
 make[1]: Entering directory '/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf'
 /usr/bin/cmake -S/build/reproducible-path/rumur-2024.05.07 -B/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf --check-build-system CMakeFiles/Makefile.cmake 0
 make  -f CMakeFiles/Makefile2 check
@@ -999,47 +1035,47 @@
 make[4]: Leaving directory '/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf'
 [ 22%] Built target librumur
 make  -f tests/murphi-comment-ls/CMakeFiles/murphi-comment-ls.dir/build.make tests/murphi-comment-ls/CMakeFiles/murphi-comment-ls.dir/depend
-make[4]: Entering directory '/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf'
-cd /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /build/reproducible-path/rumur-2024.05.07 /build/reproducible-path/rumur-2024.05.07/tests/murphi-comment-ls /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/tests/murphi-comment-ls /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/tests/murphi-comment-ls/CMakeFiles/murphi-comment-ls.dir/DependInfo.cmake "--color="
 make  -f murphi2c/CMakeFiles/murphi2c.dir/build.make murphi2c/CMakeFiles/murphi2c.dir/depend
 make  -f murphi2murphi/CMakeFiles/murphi2murphi.dir/build.make murphi2murphi/CMakeFiles/murphi2murphi.dir/depend
 make[4]: Entering directory '/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf'
+cd /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /build/reproducible-path/rumur-2024.05.07 /build/reproducible-path/rumur-2024.05.07/tests/murphi-comment-ls /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/tests/murphi-comment-ls /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/tests/murphi-comment-ls/CMakeFiles/murphi-comment-ls.dir/DependInfo.cmake "--color="
+make[4]: Entering directory '/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf'
 cd /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /build/reproducible-path/rumur-2024.05.07 /build/reproducible-path/rumur-2024.05.07/murphi2c /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2c /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2c/CMakeFiles/murphi2c.dir/DependInfo.cmake "--color="
 make[4]: Entering directory '/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf'
 cd /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /build/reproducible-path/rumur-2024.05.07 /build/reproducible-path/rumur-2024.05.07/murphi2murphi /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2murphi /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2murphi/CMakeFiles/murphi2murphi.dir/DependInfo.cmake "--color="
-make[4]: Leaving directory '/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf'
-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]: Entering directory '/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf'
-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-2024.05.07/obj-arm-linux-gnueabihf'
-[ 24%] Built target murphi-comment-ls
 make  -f murphi2uclid/CMakeFiles/murphi2uclid.dir/build.make murphi2uclid/CMakeFiles/murphi2uclid.dir/depend
 make[4]: Entering directory '/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf'
 cd /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /build/reproducible-path/rumur-2024.05.07 /build/reproducible-path/rumur-2024.05.07/murphi2uclid /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2uclid /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2uclid/CMakeFiles/murphi2uclid.dir/DependInfo.cmake "--color="
 make[4]: Leaving directory '/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf'
-make  -f murphi2c/CMakeFiles/murphi2c.dir/build.make murphi2c/CMakeFiles/murphi2c.dir/build
-make[4]: Leaving directory '/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf'
-make  -f murphi2murphi/CMakeFiles/murphi2murphi.dir/build.make murphi2murphi/CMakeFiles/murphi2murphi.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]: Entering directory '/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf'
-make[4]: Nothing to be done for 'murphi2c/CMakeFiles/murphi2c.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-2024.05.07/obj-arm-linux-gnueabihf'
-make[4]: Entering directory '/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf'
-make[4]: Nothing to be done for 'murphi2murphi/CMakeFiles/murphi2murphi.dir/build'.
 make[4]: Leaving directory '/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf'
+make  -f murphi2c/CMakeFiles/murphi2c.dir/build.make murphi2c/CMakeFiles/murphi2c.dir/build
 make[4]: Leaving directory '/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf'
 make  -f murphi2uclid/CMakeFiles/murphi2uclid.dir/build.make murphi2uclid/CMakeFiles/murphi2uclid.dir/build
+[ 24%] Built target murphi-comment-ls
 make[4]: Entering directory '/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf'
 make[4]: Nothing to be done for 'murphi2uclid/CMakeFiles/murphi2uclid.dir/build'.
 make[4]: Leaving directory '/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf'
-[ 38%] Built target murphi2c
 make  -f murphi2xml/CMakeFiles/murphi2xml.dir/build.make murphi2xml/CMakeFiles/murphi2xml.dir/depend
 make[4]: Entering directory '/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf'
+make[4]: Nothing to be done for 'murphi2c/CMakeFiles/murphi2c.dir/build'.
+make[4]: Leaving directory '/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf'
+make[4]: Leaving directory '/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf'
+make  -f murphi2murphi/CMakeFiles/murphi2murphi.dir/build.make murphi2murphi/CMakeFiles/murphi2murphi.dir/build
+make[4]: Entering directory '/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf'
 cd /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /build/reproducible-path/rumur-2024.05.07 /build/reproducible-path/rumur-2024.05.07/murphi2xml /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2xml /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2xml/CMakeFiles/murphi2xml.dir/DependInfo.cmake "--color="
-[ 51%] Built target murphi2murphi
+make[4]: Entering directory '/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf'
+make[4]: Nothing to be done for 'murphi2murphi/CMakeFiles/murphi2murphi.dir/build'.
+make[4]: Leaving directory '/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf'
+[ 31%] Built target murphi2uclid
 make  -f rumur/CMakeFiles/rumur.dir/build.make rumur/CMakeFiles/rumur.dir/depend
 make[4]: Entering directory '/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf'
 cd /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /build/reproducible-path/rumur-2024.05.07 /build/reproducible-path/rumur-2024.05.07/rumur /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/rumur /build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/rumur/CMakeFiles/rumur.dir/DependInfo.cmake "--color="
-[ 58%] Built target murphi2uclid
+[ 46%] Built target murphi2c
+[ 58%] Built target murphi2murphi
 make[4]: Leaving directory '/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf'
 make  -f murphi2xml/CMakeFiles/murphi2xml.dir/build.make murphi2xml/CMakeFiles/murphi2xml.dir/build
 make[4]: Entering directory '/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf'
@@ -1058,7 +1094,7 @@
 make[4]: Leaving directory '/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf'
 make  -f CMakeFiles/check.dir/build.make CMakeFiles/check.dir/build
 make[4]: Entering directory '/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf'
-env PATH=/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/rumur:/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2c:/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2murphi:/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2uclid:/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2xml:/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/tests/murphi-comment-ls:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games /build/reproducible-path/rumur-2024.05.07/tests/run-tests.py --verbose
+env PATH=/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/rumur:/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2c:/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2murphi:/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2uclid:/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/murphi2xml:/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf/tests/murphi-comment-ls:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/i/capture/the/path /build/reproducible-path/rumur-2024.05.07/tests/run-tests.py --verbose
 configuration variable CC = /usr/bin/cc
 configuration variable CXX = /usr/bin/c++
 configuration variable C_FLAGS = ['-x', 'c', '-std=c11', '-Werror=format', '-Werror=sign-compare', '-Werror=type-limits', '-Werror=enum-conversion', '-march=native']
@@ -6486,7 +6522,7 @@
 test_xor_mixed_m (__main__.rumurSingleThreadedXML.test_xor_mixed_m) ... ok
 
 ----------------------------------------------------------------------
-Ran 5413 tests in 11313.084s
+Ran 5413 tests in 3500.127s
 
 OK (skipped=236)
 make[4]: Leaving directory '/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf'
@@ -6498,7 +6534,7 @@
    create-stamp debian/debhelper-build-stamp
    dh_prep
    dh_auto_install --destdir=debian/rumur/
-	cd obj-arm-linux-gnueabihf && make -j3 install DESTDIR=/build/reproducible-path/rumur-2024.05.07/debian/rumur AM_UPDATE_INFO_DIR=no "INSTALL=install --strip-program=true"
+	cd obj-arm-linux-gnueabihf && make -j4 install DESTDIR=/build/reproducible-path/rumur-2024.05.07/debian/rumur AM_UPDATE_INFO_DIR=no "INSTALL=install --strip-program=true"
 make[1]: Entering directory '/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf'
 /usr/bin/cmake -S/build/reproducible-path/rumur-2024.05.07 -B/build/reproducible-path/rumur-2024.05.07/obj-arm-linux-gnueabihf --check-build-system CMakeFiles/Makefile.cmake 0
 make  -f CMakeFiles/Makefile2 preinstall
@@ -6511,29 +6547,29 @@
 -- Installing: /build/reproducible-path/rumur-2024.05.07/debian/rumur/usr/lib/arm-linux-gnueabihf/librumur.a
 -- Installing: /build/reproducible-path/rumur-2024.05.07/debian/rumur/usr/include
 -- Installing: /build/reproducible-path/rumur-2024.05.07/debian/rumur/usr/include/rumur
--- Installing: /build/reproducible-path/rumur-2024.05.07/debian/rumur/usr/include/rumur/Number.h
--- Installing: /build/reproducible-path/rumur-2024.05.07/debian/rumur/usr/include/rumur/Model.h
--- Installing: /build/reproducible-path/rumur-2024.05.07/debian/rumur/usr/include/rumur/Rule.h
+-- Installing: /build/reproducible-path/rumur-2024.05.07/debian/rumur/usr/include/rumur/Node.h
+-- Installing: /build/reproducible-path/rumur-2024.05.07/debian/rumur/usr/include/rumur/sanitise_rule_names.h
 -- Installing: /build/reproducible-path/rumur-2024.05.07/debian/rumur/usr/include/rumur/Ptr.h
+-- Installing: /build/reproducible-path/rumur-2024.05.07/debian/rumur/usr/include/rumur/TypeExpr.h
+-- Installing: /build/reproducible-path/rumur-2024.05.07/debian/rumur/usr/include/rumur/indexer.h
+-- Installing: /build/reproducible-path/rumur-2024.05.07/debian/rumur/usr/include/rumur/resolve-symbols.h
 -- Installing: /build/reproducible-path/rumur-2024.05.07/debian/rumur/usr/include/rumur/Function.h
--- Installing: /build/reproducible-path/rumur-2024.05.07/debian/rumur/usr/include/rumur/except.h
--- Installing: /build/reproducible-path/rumur-2024.05.07/debian/rumur/usr/include/rumur/Expr.h
+-- Installing: /build/reproducible-path/rumur-2024.05.07/debian/rumur/usr/include/rumur/Property.h
+-- Installing: /build/reproducible-path/rumur-2024.05.07/debian/rumur/usr/include/rumur/traverse.h
 -- Installing: /build/reproducible-path/rumur-2024.05.07/debian/rumur/usr/include/rumur/Boolean.h
--- Installing: /build/reproducible-path/rumur-2024.05.07/debian/rumur/usr/include/rumur/Stmt.h
--- Installing: /build/reproducible-path/rumur-2024.05.07/debian/rumur/usr/include/rumur/validate.h
--- Installing: /build/reproducible-path/rumur-2024.05.07/debian/rumur/usr/include/rumur/TypeExpr.h
--- Installing: /build/reproducible-path/rumur-2024.05.07/debian/rumur/usr/include/rumur/rumur.h
+-- Installing: /build/reproducible-path/rumur-2024.05.07/debian/rumur/usr/include/rumur/Rule.h
 -- Installing: /build/reproducible-path/rumur-2024.05.07/debian/rumur/usr/include/rumur/Decl.h
--- Installing: /build/reproducible-path/rumur-2024.05.07/debian/rumur/usr/include/rumur/Property.h
--- Installing: /build/reproducible-path/rumur-2024.05.07/debian/rumur/usr/include/rumur/scanner.h
+-- Installing: /build/reproducible-path/rumur-2024.05.07/debian/rumur/usr/include/rumur/validate.h
+-- Installing: /build/reproducible-path/rumur-2024.05.07/debian/rumur/usr/include/rumur/Stmt.h
+-- Installing: /build/reproducible-path/rumur-2024.05.07/debian/rumur/usr/include/rumur/Expr.h
+-- Installing: /build/reproducible-path/rumur-2024.05.07/debian/rumur/usr/include/rumur/Number.h
+-- Installing: /build/reproducible-path/rumur-2024.05.07/debian/rumur/usr/include/rumur/except.h
 -- Installing: /build/reproducible-path/rumur-2024.05.07/debian/rumur/usr/include/rumur/parse.h
--- Installing: /build/reproducible-path/rumur-2024.05.07/debian/rumur/usr/include/rumur/Comment.h
--- Installing: /build/reproducible-path/rumur-2024.05.07/debian/rumur/usr/include/rumur/resolve-symbols.h
+-- Installing: /build/reproducible-path/rumur-2024.05.07/debian/rumur/usr/include/rumur/rumur.h
 -- Installing: /build/reproducible-path/rumur-2024.05.07/debian/rumur/usr/include/rumur/Symtab.h
--- Installing: /build/reproducible-path/rumur-2024.05.07/debian/rumur/usr/include/rumur/Node.h
--- Installing: /build/reproducible-path/rumur-2024.05.07/debian/rumur/usr/include/rumur/indexer.h
--- Installing: /build/reproducible-path/rumur-2024.05.07/debian/rumur/usr/include/rumur/traverse.h
--- Installing: /build/reproducible-path/rumur-2024.05.07/debian/rumur/usr/include/rumur/sanitise_rule_names.h
+-- Installing: /build/reproducible-path/rumur-2024.05.07/debian/rumur/usr/include/rumur/Model.h
+-- Installing: /build/reproducible-path/rumur-2024.05.07/debian/rumur/usr/include/rumur/Comment.h
+-- Installing: /build/reproducible-path/rumur-2024.05.07/debian/rumur/usr/include/rumur/scanner.h
 -- Installing: /build/reproducible-path/rumur-2024.05.07/debian/rumur/usr/include/rumur/location.hh
 -- Installing: /build/reproducible-path/rumur-2024.05.07/debian/rumur/usr/include/rumur/parser.yy.hh
 -- Installing: /build/reproducible-path/rumur-2024.05.07/debian/rumur/usr/include/rumur/position.hh
@@ -6569,17 +6605,17 @@
  diversion by libc6 from: /lib/ld-linux-armhf.so.3
 dpkg-shlibdeps: warning: diversions involved - output may be incorrect
  diversion by libc6 to: /lib/ld-linux-armhf.so.3.usr-is-merged
-dpkg-shlibdeps: warning: debian/rumur/usr/bin/rumur contains an unresolvable reference to symbol __aeabi_atexit@CXXABI_ARM_1.3.3: it's probably a plugin
 dpkg-shlibdeps: warning: debian/rumur/usr/bin/murphi2uclid contains an unresolvable reference to symbol __aeabi_atexit@CXXABI_ARM_1.3.3: it's probably a plugin
-dpkg-shlibdeps: warning: debian/rumur/usr/bin/murphi2xml contains an unresolvable reference to symbol __aeabi_atexit@CXXABI_ARM_1.3.3: it's probably a plugin
+dpkg-shlibdeps: warning: debian/rumur/usr/bin/rumur contains an unresolvable reference to symbol __aeabi_atexit@CXXABI_ARM_1.3.3: it's probably a plugin
 dpkg-shlibdeps: warning: debian/rumur/usr/bin/murphi2c contains an unresolvable reference to symbol __aeabi_atexit@CXXABI_ARM_1.3.3: it's probably a plugin
+dpkg-shlibdeps: warning: debian/rumur/usr/bin/murphi2xml contains an unresolvable reference to symbol __aeabi_atexit@CXXABI_ARM_1.3.3: it's probably a plugin
 dpkg-shlibdeps: warning: debian/rumur/usr/bin/murphi2murphi contains an unresolvable reference to symbol __aeabi_atexit@CXXABI_ARM_1.3.3: it's probably a plugin
    dh_installdeb
    dh_gencontrol
    dh_md5sums
    dh_builddeb
-dpkg-deb: building package 'rumur-dbgsym' in '../rumur-dbgsym_2024.05.07-1_armhf.deb'.
 dpkg-deb: building package 'rumur' in '../rumur_2024.05.07-1_armhf.deb'.
+dpkg-deb: building package 'rumur-dbgsym' in '../rumur-dbgsym_2024.05.07-1_armhf.deb'.
  dpkg-genbuildinfo --build=binary -O../rumur_2024.05.07-1_armhf.buildinfo
  dpkg-genchanges --build=binary -O../rumur_2024.05.07-1_armhf.changes
 dpkg-genchanges: info: binary-only upload (no source code included)
@@ -6587,12 +6623,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/13806/tmp/hooks/B01_cleanup starting
+I: user script /srv/workspace/pbuilder/13806/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/9956 and its subdirectories
-I: Current time: Fri Jan 31 03:22:46 -12 2025
-I: pbuilder-time-stamp: 1738336966
+I: removing directory /srv/workspace/pbuilder/13806 and its subdirectories
+I: Current time: Sat Feb  1 06:25:26 +14 2025
+I: pbuilder-time-stamp: 1738340726