<pre style='margin:0'>
Landon Fuller (landonf) pushed a commit to branch master
in repository macports-ports.

</pre>
<p><a href="https://github.com/macports/macports-ports/commit/2fc99aa4c7c838719eba3914895f733362a915bf">https://github.com/macports/macports-ports/commit/2fc99aa4c7c838719eba3914895f733362a915bf</a></p>
<pre style="white-space: pre; background: #F8F8F8">The following commit(s) were added to refs/heads/master by this push:
<span style='display:block; white-space:pre;color:#404040;'>     new 2fc99aa4c7c z3-fstar: Add experimental profile-guided optimization variants.
</span>2fc99aa4c7c is described below

<span style='display:block; white-space:pre;color:#808000;'>commit 2fc99aa4c7c838719eba3914895f733362a915bf
</span>Author: Landon Fuller <landonf@macports.org>
AuthorDate: Mon Nov 30 14:19:31 2020 -0700

<span style='display:block; white-space:pre;color:#404040;'>    z3-fstar: Add experimental profile-guided optimization variants.
</span>---
 math/z3/Portfile                            |  37 +++++++
 math/z3/files/z3-fstar.profdata-generate.sh | 162 ++++++++++++++++++++++++++++
 math/z3/files/z3-fstar.profdata.tar.xz      | Bin 0 -> 1881956 bytes
 3 files changed, 199 insertions(+)

<span style='display:block; white-space:pre;color:#808080;'>diff --git a/math/z3/Portfile b/math/z3/Portfile
</span><span style='display:block; white-space:pre;color:#808080;'>index c5ab6340de6..c8cd1949372 100644
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>--- a/math/z3/Portfile
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>+++ b/math/z3/Portfile
</span><span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -134,6 +134,23 @@ if {${subport} eq ${name} || ${subport} eq "${name}-fstar"} {
</span>         configure.optflags-append   -march=native
     }
 
<span style='display:block; white-space:pre;background:#e0ffe0;'>+    variant profile description {Generate instrumented code that may be used for profile-guided optimization} {
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+        # Default to /dev/null, requiring that users explicitly set LLVM_PROFILE_FILE.
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+        # See also: https://clang.llvm.org/docs/UsersManual.html#profiling-with-instrumentation
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+        configure.optflags-append   -fprofile-instr-generate=/dev/null
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+        # Require clang
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+        compiler.blacklist-append   {*gcc*}
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+        notes-append "
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+        ${name} has been built with profiling instrumentation enabled; note
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+        that this will introduce non-negligible runtime overhead.
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+        To generate profile data, specify an output path by setting the
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+        LLVM_PROFILE_FILE environmental variable before executing z3.
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+        "
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    }
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span>     if {[vercmp ${version} "4.8.6"] >= 0}  {
         variant threads description {Enable thread-safe build} {
             configure.args-delete       -DSINGLE_THREADED=ON
<span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -221,6 +238,26 @@ subport ${name}-fstar {
</span>         xinstall -m 755 "${cmake.build_dir}/z3" "${destroot}${cmake.install_prefix}/bin/z3"
         ln -sf "${cmake.install_prefix}/bin/z3" "${destroot}${prefix}/bin/z3-fstar"
     }
<span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    # TODO: Investigate providing general-purpose profiling data, and making +pgo
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    # available in the main z3 port.
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    variant pgo conflicts profile description {Enable profile-guided optimization} {
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+        # Requires clang
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+        compiler.blacklist-append   {*gcc*}
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+        # Our profile is generated from a verification run over Project Everest subprojects,
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+        # which should be strongly representative of F*'s use of z3.
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+        #
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+        # To regenerate the profile, build z3-fstar with +profile, and then:
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+        #   ${filespath}/z3-fstar.profdata-generate.sh \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+        #       -l llvm-profdata-mp-<llvm-version> \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+        #       -z /opt/local/bin/z3-fstar \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+        #       -o ${filespath}/z3-fstar.profdata.tar.xz \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+        #       -j <njobs> \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+        #       <everest-src>
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+        distfiles-append            ${subport}.profdata.tar.xz
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+        configure.optflags-append   -fprofile-instr-use=${workpath}/${subport}.profdata
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    }
</span> }
 
 set pyversions {27 37 38}
<span style='display:block; white-space:pre;color:#808080;'>diff --git a/math/z3/files/z3-fstar.profdata-generate.sh b/math/z3/files/z3-fstar.profdata-generate.sh
</span>new file mode 100755
<span style='display:block; white-space:pre;color:#808080;'>index 00000000000..54819414228
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>--- /dev/null
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>+++ b/math/z3/files/z3-fstar.profdata-generate.sh
</span><span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -0,0 +1,162 @@
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+#!/bin/sh
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+elog() {
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+   echo "$@" >/dev/stderr
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+}
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+print_usage() {
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+   local arg0="$1"
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+   elog "Usage: $arg0 [-hn] [-l <llvm-profdata>] [-z <z3>] [-j <jobs>] [-o <output archive>] <everest src>"
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+   elog "  -h   print this help"
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+   elog "  -q   enable SMT query logging"
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+   elog "  -n   skip build (only perform merge and archiving)"
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+   elog "  -m   skip build and merge (only perform archiving)"
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+}
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+# Search for a required binary
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+req_bin() {
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+   local name="$1"
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+   local path
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+   if ! path=$(/usr/bin/which "${name}" 2>/dev/null) || [ ! -x "${path}" ]; then
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+           elog "${name} not found"
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+           return 1
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+   fi
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+   realpath "${path}" || return $?
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+   return 0
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+}
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+# Parse arguments
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+EV_PROFDATA_ARCHIVE=""
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+EV_LLVM_PROFDATA="llvm-profdata-mp-10"
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+EV_Z3="z3-fstar"
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+EV_JOBS=1
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+EV_QLOG=0
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+EV_SKIP_BUILD=0
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+EV_SKIP_MERGE=0
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+args=`getopt hqnmj:z:l:o: $*`
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+if [ $? -ne 0 ]; then
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+   print_usage "$0"
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+   exit 2
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+fi
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+set -- $args
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+while :; do
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+   case "$1" in
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+           -h)
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                   print_usage "$0"
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                   exit 0
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                   ;;
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+           -j)
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                   EV_JOBS="$2"
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                   shift; shift
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                   ;;
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+           -z)
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                   EV_Z3="$2"
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                   shift; shift
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                   ;;
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+           -l)
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                   EV_LLVM_PROFDATA="$2"
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                   shift; shift
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                   ;;
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+           -o)
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                   EV_PROFDATA_ARCHIVE="$2"
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                   shift; shift
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                   ;;
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+           -q)
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                   EV_QLOG="1"
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                   shift
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                   ;;
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+           -n)
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                   EV_SKIP_BUILD="1"
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                   shift
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                   ;;
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+           -m)
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                   EV_SKIP_BUILD="1"
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                   EV_SKIP_MERGE="1"
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                   shift
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                   ;;
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+           --)
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                   shift; break
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                   ;;
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+           esac
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+done
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+if [ $# -lt 1 ]; then
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+   print_usage "$0"
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+   exit 1
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+fi
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+EV_SRC="$(realpath "$1")" || exit $?
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+if [ ! -d "${EV_SRC}" ]; then
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+   elog "No such directory: ${EV_SRC}"
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+   exit 1
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+fi
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+EV_SH="${EV_SRC}/everest"
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+EV_SH=$(req_bin "${EV_SH}") || exit $?
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+EV_Z3=$(req_bin "${EV_Z3}") || exit $?
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+EV_LLVM_PROFDATA=$(req_bin "${EV_LLVM_PROFDATA}") || exit $?
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+EV_PROFILE_DIR="${EV_SRC}/profiling"
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+EV_LOG="${EV_PROFILE_DIR}/build.log"
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+EV_PROFILE_BIN_DIR="${EV_PROFILE_DIR}/bin"
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+EV_PROFRAW_OUTPUT_FILE="${EV_PROFILE_DIR}/z3-fstar-%m-%p.profraw"
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+EV_PROFDATA_OUTPUT_FILE="${EV_PROFILE_DIR}/z3-fstar.profdata"
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+if [ -z "${EV_PROFDATA_ARCHIVE}" ]; then
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+   EV_PROFDATA_ARCHIVE="${EV_PROFDATA_OUTPUT_FILE}.tar.xz"
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+fi
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+elog "Configuration:"
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+elog "  everest:        ${EV_SRC}"
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+elog "  llvm-profdata:  ${EV_LLVM_PROFDATA}"
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+elog "  z3:             ${EV_Z3}"
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+elog "  archive output: ${EV_PROFDATA_ARCHIVE}"
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+elog "  build log:      ${EV_LOG}"
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+elog "  build jobs:     ${EV_JOBS}"
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+mkdir -p "${EV_PROFILE_BIN_DIR}" || exit $?
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ln -sF "${EV_Z3}" "${EV_PROFILE_BIN_DIR}/z3"  || exit $?
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+if [ "${EV_SKIP_BUILD}" -eq 1 ]; then
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+   elog "\nSkipping build..."
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+else
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+   if [ ${EV_QLOG} -eq 1 ]; then
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+           EV_OTHERFLAGS="--log_queries"
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+   fi
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+   elog "\nBuilding ..."
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+   env \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+           PATH="${EV_PROFILE_BIN_DIR}:$PATH" \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+           LLVM_PROFILE_FILE="${EV_PROFRAW_OUTPUT_FILE}" \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+           OTHERFLAGS="${EV_OTHERFLAGS}" \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+           "${EV_SH}" \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+           -j "${EV_JOBS}" \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+           make >"${EV_LOG}" 2>&1
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+   if [ $? -ne 0 ]; then
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+           elog "Build failed; see ${EV_LOG}"
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+           exit 1
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+   fi
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+fi
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+if [ "${EV_SKIP_MERGE}" -eq 1 ]; then
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+   elog "Skipping merge..."
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+else
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+   elog "Merging profiles..."
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+   "${EV_LLVM_PROFDATA}" \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+           merge \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+           --failure-mode=all \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+           --output="${EV_PROFDATA_OUTPUT_FILE}" \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+           "${EV_PROFILE_DIR}"/z3-fstar-*.profraw || exit $?
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+fi
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+elog "Generating ${EV_PROFDATA_ARCHIVE}..."
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+tar \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+   -Jcf "${EV_PROFDATA_ARCHIVE}" \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+   -C "$(dirname "${EV_PROFDATA_OUTPUT_FILE}")" \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+   "$(basename "${EV_PROFDATA_OUTPUT_FILE}")" || exit $?
</span><span style='display:block; white-space:pre;color:#808080;'>diff --git a/math/z3/files/z3-fstar.profdata.tar.xz b/math/z3/files/z3-fstar.profdata.tar.xz
</span>new file mode 100644
<span style='display:block; white-space:pre;color:#808080;'>index 00000000000..51bfdbe5e29
</span>Binary files /dev/null and b/math/z3/files/z3-fstar.profdata.tar.xz differ
</pre><pre style='margin:0'>

</pre>