fully-homomorphic-encryption
fully-homomorphic-encryption copied to clipboard
Failed build using supplied Docker
While using the supplied instructions to build the docker image, the process fails. There seems to be some checksum error with loading com_grail_bazel_toolchain
Error message log data is below:
[6/7] RUN bazel build @llvm_toolchain//:all: 3.270 2024/03/11 00:54:40 Downloading https://releases.bazel.build/5.4.1/release/bazel-5.4.1-linux-x86_64... 6.849 Extracting Bazel installation... 130.8 Starting local Bazel server and connecting to it... 134.2 Loading: 134.3 Loading: 0 packages loaded 135.3 Loading: 0 packages loaded"/bin/sh -c bazel build @llvm_toolchain//:all" did not complete successfully: exit code:136.3 Loading: 0 packages loaded 137.3 Loading: 0 packages loaded 137.4 INFO: Repository com_grail_bazel_toolchain instantiated at:-encryption-main>docker run --rm -i -t google-fhe-trans137.4 /usr/src/fhe/WORKSPACE:94:13: in
137.4 Repository rule http_archive defined at:test' locally 137.4 /root/.cache/bazel/_bazel_root/595596dc4dacd40e54f4e8ca596c8a84/external/bazel_tools/tools/build_defs/repo/http.bzl:355:31: in : requested access to the resource is denied. 137.5 WARNING: Download from https://github.com/grailbio/bazel-toolchain/archive/refs/tags/0.8.zip failed: class com.google.devtools.build.lib.bazel.repository.downloader.UnrecoverableHttpException Checksum was 2dc9de41b115b43feed18a585061522e2ab828eac5a55213f6cb394dbb7e58f8 but wanted 06e1421091f153029c070f1ae364f8cb5a61dab20ede97a844a0f7bfcec632a4:default 137.5 ERROR: An error occurred during the fetch of repository 'com_grail_bazel_toolchain': 0.8s 137.5 Traceback (most recent call last): 0.0s 137.5 ntFile "/root/.cache/bazel/_bazel_root/595596dc4dacd40e54f4e8ca596c8a84/external/bazel_tools/tools/build_defs/repo/http.bzl", line 125, column 45, in _http_archive_implcker.io 0.0s 137.5 nternal] ldownload_info = ctx.download_and_extract( 0.8s 137.5 Error in download_and_extract: java.io.IOException: Error downloading [https://github.com/grailbio/bazel-toolchain/archive/refs/tags/0.8.zip] to /root/.cache/bazel/_bazel_root/595596dc4dacd40e54f4e8ca596c8a84/external/com_grail_bazel_toolchain/temp15147802889498845463/0.8.zip: Checksum was 2dc9de41b115b43feed18a585061522e2ab828eac5a55213f6cb394dbb7e58f8 but wanted 06e1421091f153029c070f1ae364f8cb5a61dab20ede97a844a0f7bfcec632a4 0.1s 137.5 ERROR: /usr/src/fhe/WORKSPACE:94:13: fetching http_archive rule //external:com_grail_bazel_toolchain: Traceback (most recent call last):get -O bazel "https://github.com/bazelbuild/bazelisk/releases/download/v1.12.0/bazelisk-lin 0.0s 137.5 CHFile "/root/.cache/bazel/_bazel_root/595596dc4dacd40e54f4e8ca596c8a84/external/bazel_tools/tools/build_defs/repo/http.bzl", line 125, column 45, in _http_archive_impl 0.0s 137.5 /7] RUN badownload_info = ctx.download_and_extract( 116.7s 137.5 Error in download_and_extract: java.io.IOException: Error downloading [https://github.com/grailbio/bazel-toolchain/archive/refs/tags/0.8.zip] to /root/.cache/bazel/_bazel_root/595596dc4dacd40e54f4e8ca596c8a84/external/com_grail_bazel_toolchain/temp15147802889498845463/0.8.zip: Checksum was 2dc9de41b115b43feed18a585061522e2ab828eac5a55213f6cb394dbb7e58f8 but wanted 06e1421091f153029c070f1ae364f8cb5a61dab20ede97a844a0f7bfcec632a4 137.5 ERROR: no such package '@com_grail_bazel_toolchain//toolchain': java.io.IOException: Error downloading [https://github.com/grailbio/bazel-toolchain/archive/refs/tags/0.8.zip] to /root/.cache/bazel/_bazel_root/595596dc4dacd40e54f4e8ca596c8a84/external/com_grail_bazel_toolchain/temp15147802889498845463/0.8.zip: Checksum was 2dc9de41b115b43feed18a585061522e2ab828eac5a55213f6cb394dbb7e58f8 but wanted 06e1421091f153029c070f1ae364f8cb5a61dab20ede97a844a0f7bfcec632a4 137.6 INFO: Elapsed time: 130.645s 137.6 INFO: 0 processes. 137.6 FAILED: Build did NOT complete successfully (0 packages loaded) 137.6 FAILED: Build did NOT complete successfully (0 packages loaded)
debian-bullseye.Dockerfile:51
49 | # it's necessary for some reason, this will allow docker to cache the resulting 50 | # image and build failures unrelated to LLVM will not incur a rebuild of LLVM. 51 | >>> RUN bazel build @llvm_toolchain//:all 52 | 53 | # Build all targets.
ERROR: failed to solve: process "/bin/sh -c bazel build @llvm_toolchain//:all" did not complete successfully: exit code: 1
I think I know why this is happening: bazelisk downloads a dynamically chosen bazel binary when run, and they recently pushed a new version of bazel by default. I don't know why we're doing a checksum in the dockerfile, and you could just delete that checksum as a temporary workaround.
I tried the alternative version to download the code and build from scratch and manually updated the WORKSPACE file to point to the hash identified in the error. Ran again and had to update the remaining fields for strip_prefix and url based on new errors. It made it further in the build process but then could not find required functions when executing the demo code. I'm not overly familiar with Bazel /Bazalisk so I may have done something wrong. If there is a way we can update the code so it points to the correct dependencies versus the latest versions and make the build stable that would be greatly appreciated.
To follow up with my efforts. I attempted to modify the WORKSPACE file on an Ubuntu VM before running the command: bazel run //transpiler/examples/hangman:hangman_client
The first edit I did was to remove the reference to the SHA256 hash for com_grail_bazel_toolchain.
This resulted in an new set of errors:
bazel run //transpiler/examples/hangman:hangman_client
INFO: Repository com_grail_bazel_toolchain instantiated at:
/home/ubuntu/Documents/fully-homomorphic-encryption/WORKSPACE:94:13: in
in/temp15112593718089429024/0.8.zip
This seems to indicate that the WORKSPACE entry also has a bad reference to the source file has been renamed from "bazel-toolchain-0.8" to "toolchains_llvm-0.8". I then removed the Prefix reference as well and below was the output:
ubuntu@ubun2004:~/Documents/fully-homomorphic-encryption$ bazel run //transpiler/examples/hangman:hangman_client
DEBUG: Rule 'com_grail_bazel_toolchain' indicated that a canonical reproducible form can be obtained by modifying arguments sha256 = "2dc9de41b115b43feed18a585061522e2ab828eac5a55213f6cb394dbb7e58f8"
DEBUG: Repository com_grail_bazel_toolchain instantiated at:
/home/ubuntu/Documents/fully-homomorphic-encryption/WORKSPACE:94:13: in
I then modified the WORKSPACE file again to set the prefix to "toolchains_llvm-0.8" and ran again. It spent about an hour building and then failed. However I think the failure was due to running out out space on a partition on the VM I was using. I'll have to try again with a bigger allocation. It Failed after 10GB was added to the /home directory. Not sure how big the entire system is to adjust the size.
Didn't mean to close with my last comment. The docker build still references the hard coded data and fails to build
Ok this is a bit of a long log. I tried to build on an EC2 Ubnuntu instance just to test if the process worked. After editing the WORKSPACE as described above, I tired to build one of the examples. After about 2 hours it failed.
Any idea why it failed?
The error from the below logs is extracted here followed by the full logs:
Generating IR...
ERROR: /root/.cache/bazel/_bazel_root/a8c779df993a2004d73830004cc7dd84/external/abc/BUILD.bazel:7:5: Foreign Cc - Make: Building abc failed: (Exit 2): bash failed: error executing command
(cd /root/.cache/bazel/_bazel_root/a8c779df993a2004d73830004cc7dd84/sandbox/linux-sandbox/4506/execroot/com_google_fully_homomorphic_encryption &&
exec env -
PATH=/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/snap/bin
/bin/bash -c bazel-out/k8-opt-exec-2B5CBBC6/bin/external/abc/abc_foreign_cc/wrapper_build_script.sh)
Configuration: 625532f7154e1e5cbaf1a4b5258178981d880ae5b5931cdec360902c2ad0c853
Execution platform: @local_config_platform//:host
Use --sandbox_debug to see verbose messages from the sandbox and retain the sandbox build root for debugging rules_foreign_cc: Build failed! rules_foreign_cc: Keeping temp build directory and dependencies directory for debug. rules_foreign_cc: Please note that the directories inside a sandbox are still cleaned unless you specify --sandbox_debug Bazel command line flag. rules_foreign_cc: Printing build logs:
ubuntu@ip-172-31-6-221:~/fully-homomorphic-encryption$ sudo bazel run --verbose_failures //transpiler/examples/fibonacci:fibonacci_rs_main
DEBUG: Rule 'com_grail_bazel_toolchain' indicated that a canonical reproducible form can be obtained by modifying arguments sha256 = "2dc9de41b115b43feed18a585061522e2ab828eac5a55213f6cb394dbb7e58f8"
DEBUG: Repository com_grail_bazel_toolchain instantiated at:
/home/ubuntu/fully-homomorphic-encryption/WORKSPACE:94:13: in
| ^~
external/llvm-project/llvm/lib/IR/Verifier.cpp:1288:12: note: 'Size' was declared here
1288 | size_t Size;
| ^~~~
INFO: From Compiling llvm/lib/DebugInfo/DWARF/DWARFUnit.cpp:
external/llvm-project/llvm/lib/DebugInfo/DWARF/DWARFUnit.cpp: In member function 'void llvm::DWARFUnit::updateVariableDieMap(llvm::DWARFDie)':
external/llvm-project/llvm/lib/DebugInfo/DWARF/DWARFUnit.cpp:816:20: warning: 'LocationAddr' may be used uninitialized in this function [-Wmaybe-uninitialized]
816 | LocationAddr += It->getRawOperand(0);
| ~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~
INFO: From Compiling llvm/lib/DebugInfo/DWARF/DWARFDebugFrame.cpp:
external/llvm-project/llvm/lib/DebugInfo/DWARF/DWARFDebugFrame.cpp: In member function 'llvm::Error llvm::DWARFDebugFrame::parse(llvm::DWARFDataExtractor)':
external/llvm-project/llvm/lib/DebugInfo/DWARF/DWARFDebugFrame.cpp:1096:18: warning: 'EndAugmentationOffset' may be used uninitialized in this function [-Wmaybe-uninitialized]
1096 | uint64_t EndAugmentationOffset;
| ^~~~~~~~~~~~~~~~~~~~~
external/llvm-project/llvm/lib/DebugInfo/DWARF/DWARFDebugFrame.cpp:1095:18: warning: 'StartAugmentationOffset' may be used uninitialized in this function [-Wmaybe-uninitialized]
1095 | uint64_t StartAugmentationOffset;
| ^~~~~~~~~~~~~~~~~~~~~~~
INFO: From Compiling llvm/lib/Analysis/DependenceAnalysis.cpp:
external/llvm-project/llvm/lib/Analysis/DependenceAnalysis.cpp: In member function 'void llvm::DependenceInfo::unifySubscriptType(llvm::ArrayRefllvm::DependenceInfo::Subscript*)':
external/llvm-project/llvm/lib/Analysis/DependenceAnalysis.cpp:935:40: warning: 'widestType' may be used uninitialized in this function [-Wmaybe-uninitialized]
935 | Pair->Dst = SE->getSignExtendExpr(Dst, widestType);
| ~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~
INFO: From Compiling clang/lib/Lex/LiteralSupport.cpp:
external/llvm-project/clang/lib/Lex/LiteralSupport.cpp: In member function 'bool clang::NumericLiteralParser::GetFixedPointValue(llvm::APInt&, unsigned int)':
external/llvm-project/clang/lib/Lex/LiteralSupport.cpp:1509:43: warning: 'ExponentBegin' may be used uninitialized in this function [-Wmaybe-uninitialized]
1509 | for (const char Ptr = DigitsBegin; Ptr < End; ++Ptr) {
| ~~~~^~~~~
INFO: From Compiling clang/lib/Lex/Lexer.cpp:
external/llvm-project/clang/lib/Lex/Lexer.cpp: In member function 'std::optional
exec env -
PATH=/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/snap/bin
/bin/bash -c bazel-out/k8-opt-exec-2B5CBBC6/bin/external/abc/abc_foreign_cc/wrapper_build_script.sh)
Configuration: 625532f7154e1e5cbaf1a4b5258178981d880ae5b5931cdec360902c2ad0c853
Execution platform: @local_config_platform//:host
Use --sandbox_debug to see verbose messages from the sandbox and retain the sandbox build root for debugging rules_foreign_cc: Build failed! rules_foreign_cc: Keeping temp build directory and dependencies directory for debug. rules_foreign_cc: Please note that the directories inside a sandbox are still cleaned unless you specify --sandbox_debug Bazel command line flag. rules_foreign_cc: Printing build logs: _____ BEGIN BUILD LOGS _____
Bazel external C/C++ Rules. Building library abc
Environment:______________ BUILD_SCRIPT=bazel-out/k8-opt-exec-2B5CBBC6/bin/external/abc/abc_foreign_cc/build_script.sh EXT_BUILD_ROOT=/root/.cache/bazel/_bazel_root/a8c779df993a2004d73830004cc7dd84/sandbox/linux-sandbox/4506/execroot/com_google_fully_homomorphic_encryption BUILD_LOG=bazel-out/k8-opt-exec-2B5CBBC6/bin/external/abc/abc_foreign_cc/Make.log PWD=/root/.cache/bazel/_bazel_root/a8c779df993a2004d73830004cc7dd84/sandbox/linux-sandbox/4506/execroot/com_google_fully_homomorphic_encryption BUILD_WRAPPER_SCRIPT=bazel-out/k8-opt-exec-2B5CBBC6/bin/external/abc/abc_foreign_cc/wrapper_build_script.sh TMPDIR=/tmp EXT_BUILD_DEPS=/root/.cache/bazel/_bazel_root/a8c779df993a2004d73830004cc7dd84/sandbox/linux-sandbox/4506/execroot/com_google_fully_homomorphic_encryption/bazel-out/k8-opt-exec-2B5CBBC6/bin/external/abc/abc.ext_build_deps BUILD_TMPDIR=/root/.cache/bazel/_bazel_root/a8c779df993a2004d73830004cc7dd84/sandbox/linux-sandbox/4506/execroot/com_google_fully_homomorphic_encryption/bazel-out/k8-opt-exec-2B5CBBC6/bin/external/abc/abc.build_tmpdir SHLVL=2 INSTALLDIR=/root/.cache/bazel/_bazel_root/a8c779df993a2004d73830004cc7dd84/sandbox/linux-sandbox/4506/execroot/com_google_fully_homomorphic_encryption/bazel-out/k8-opt-exec-2B5CBBC6/bin/external/abc/abc PATH=/root/.cache/bazel/_bazel_root/a8c779df993a2004d73830004cc7dd84/sandbox/linux-sandbox/4506/execroot/com_google_fully_homomorphic_encryption:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/snap/bin _=/usr/bin/env
- ARFLAGS=rcsD
- ASFLAGS='-U_FORTIFY_SOURCE -fstack-protector -Wall -Wunused-but-set-parameter -Wno-free-nonheap-object -fno-omit-frame-pointer -g0 -O2 -D_FORTIFY_SOURCE=1 -DNDEBUG -ffunction-sections -fdata-sections -fno-canonical-system-headers -Wno-builtin-macro-redefined -D__DATE__=redacted -D__TIMESTAMP__=redacted -D__TIME__=redacted -Wno-sign-compare -Wno-comment -Dredacted=0'
- CFLAGS='-U_FORTIFY_SOURCE -fstack-protector -Wall -Wunused-but-set-parameter -Wno-free-nonheap-object -fno-omit-frame-pointer -g0 -O2 -D_FORTIFY_SOURCE=1 -DNDEBUG -ffunction-sections -fdata-sections -fno-canonical-system-headers -Wno-builtin-macro-redefined -D__DATE__=redacted -D__TIMESTAMP__=redacted -D__TIME__=redacted -Wno-sign-compare -Wno-comment -Dredacted=0'
- CXXFLAGS='-U_FORTIFY_SOURCE -fstack-protector -Wall -Wunused-but-set-parameter -Wno-free-nonheap-object -fno-omit-frame-pointer -g0 -O2 -D_FORTIFY_SOURCE=1 -DNDEBUG -ffunction-sections -fdata-sections -std=c++17 -fno-canonical-system-headers -Wno-builtin-macro-redefined -D__DATE__=redacted -D__TIMESTAMP__=redacted -D__TIME__=redacted -Wno-sign-compare -Wno-comment -Dredacted=0'
- LDFLAGS='-fuse-ld=gold -Wl,-no-as-needed -Wl,-z,relro,-z,now -B/usr/bin -pass-exit-codes -Wl,--gc-sections -lstdc++ -lm'
- AR=/usr/bin/ar
- CC=/usr/bin/gcc
- CXX=/usr/bin/gcc
- CPPFLAGS=
- /root/.cache/bazel/bazel_root/a8c779df993a2004d73830004cc7dd84/sandbox/linux-sandbox/4506/execroot/com_google_fully_homomorphic_encryption/bazel-out/k8-opt-exec-2B5CBBC6/bin/external/rules_foreign_cc/toolchains/make/bin/make -C /root/.cache/bazel/bazel_root/a8c779df993a2004d73830004cc7dd84/sandbox/linux-sandbox/4506/execroot/com_google_fully_homomorphic_encryption/bazel-out/k8-opt-exec-2B5CBBC6/bin/external/abc/abc.build_tmpdir abc -j16 PREFIX=/root/.cache/bazel/bazel_root/a8c779df993a2004d73830004cc7dd84/sandbox/linux-sandbox/4506/execroot/com_google_fully_homomorphic_encryption/bazel-out/k8-opt-exec-2B5CBBC6/bin/external/abc/abc
make: Entering directory '/root/.cache/bazel/bazel_root/a8c779df993a2004d73830004cc7dd84/sandbox/linux-sandbox/4506/execroot/com_google_fully_homomorphic_encryption/bazel-out/k8-opt-exec-2B5CBBC6/bin/external/abc/abc.build_tmpdir'
Using CC=gcc
Using CXX=g++
Using AR=ar
Using LD=g++
Compiling with CUDD
Using libreadline
Using pthreads
Found GCC_VERSION 9
Found GCC_MAJOR>=5
Using CFLAGS=-U_FORTIFY_SOURCE -fstack-protector -Wall -Wunused-but-set-parameter -Wno-free-nonheap-object -fno-omit-frame-pointer -g0 -O2 -D_FORTIFY_SOURCE=1 -DNDEBUG -ffunction-sections -fdata-sections -fno-canonical-system-headers -Wno-builtin-macro-redefined -D__DATE=redacted -D__TIMESTAMP=redacted -D__TIME__=redacted -Wno-sign-compare -Wno-comment -Dredacted=0 -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -Wno-unused-but-set-variable
Generating dependency: /src/bdd/llb/llb4Sweep.cGenerating dependency: /src/bdd/llb/llb4Nonlin.cGenerating dependency: /src/bdd/llb/llb4Image.cGenerating dependency: /src/bdd/llb/llb4Cex.cGenerating dependency: /src/bdd/llb/llb3Nonlin.cGenerating dependency: /src/bdd/llb/llb3Image.cGenerating dependency: /src/bdd/llb/llb2Image.cGenerating dependency: /src/bdd/llb/llb2Flow.cGenerating dependency: /src/bdd/llb/llb2Dump.cGenerating dependency: /src/bdd/llb/llb2Driver.cGenerating dependency: /src/bdd/llb/llb2Core.cGenerating dependency: /src/bdd/llb/llb2Bad.cGenerating dependency: /src/bdd/llb/llb1Sched.cGenerating dependency: /src/bdd/llb/llb1Reach.cGenerating dependency: /src/bdd/llb/llb1Pivot.cGenerating dependency: /src/bdd/llb/llb1Matrix.cGenerating dependency: /src/bdd/llb/llb1Man.cGenerating dependency: /src/bdd/llb/llb1Hint.cGenerating dependency: /src/bdd/llb/llb1Group.cGenerating dependency: /src/bdd/llb/llb1Core.cGenerating dependency: /src/bdd/llb/llb1Constr.cGenerating dependency: /src/bdd/llb/llb1Cluster.cGenerating dependency: /src/bdd/bbr/bbrReach.cGenerating dependency: /src/bdd/bbr/bbrNtbdd.cGenerating dependency: /src/bdd/bbr/bbrImage.cGenerating dependency: /src/bdd/bbr/bbrCex.cGenerating dependency: /src/bdd/cas/casDec.cGenerating dependency: /src/bdd/cas/casCore.cGenerating dependency: /src/bdd/reo/reoUnits.cGenerating dependency: /src/bdd/reo/reoTransfer.cGenerating dependency: /src/bdd/reo/reoSwap.cGenerating dependency: /src/bdd/reo/reoSift.cGenerating dependency: /src/bdd/reo/reoShuffle.cGenerating dependency: /src/bdd/reo/reoProfile.cGenerating dependency: /src/bdd/reo/reoCore.cGenerating dependency: /src/bdd/reo/reoApi.cGenerating dependency: /src/bdd/mtr/mtrGroup.cGenerating dependency: /src/bdd/mtr/mtrBasic.cGenerating dependency: /src/bdd/epd/epd.cGenerating dependency: /src/bdd/dsd/dsdTree.cGenerating dependency: /src/bdd/dsd/dsdProc.cGenerating dependency: /src/bdd/dsd/dsdMan.cGenerating dependency: /src/bdd/dsd/dsdLocal.cGenerating dependency: /src/bdd/dsd/dsdCheck.cGenerating dependency: /src/bdd/dsd/dsdApi.cGenerating dependency: /src/bdd/extrab/extraBddUnate.cGenerating dependency: /src/bdd/extrab/extraBddTime.cGenerating dependency: /src/bdd/extrab/extraBddThresh.cGenerating dependency: /src/bdd/extrab/extraBddSymm.cGenerating dependency: /src/bdd/extrab/extraBddSet.cGenerating dependency: /src/bdd/extrab/extraBddMisc.cGenerating dependency: /src/bdd/extrab/extraBddMaxMin.cGenerating dependency: /src/bdd/extrab/extraBddKmap.cGenerating dependency: /src/bdd/extrab/extraBddImage.cGenerating dependency: /src/bdd/extrab/extraBddCas.cGenerating dependency: /src/bdd/extrab/extraBddAuto.cGenerating dependency: /src/bdd/cudd/cuddZddUtil.cGenerating dependency: /src/bdd/cudd/cuddZddSymm.cGenerating dependency: /src/bdd/cudd/cuddZddSetop.cGenerating dependency: /src/bdd/cudd/cuddZddReord.cGenerating dependency: /src/bdd/cudd/cuddZddPort.cGenerating dependency: /src/bdd/cudd/cuddZddMisc.cGenerating dependency: /src/bdd/cudd/cuddZddLin.cGenerating dependency: /src/bdd/cudd/cuddZddIsop.cGenerating dependency: /src/bdd/cudd/cuddZddGroup.cGenerating dependency: /src/bdd/cudd/cuddZddFuncs.cGenerating dependency: /src/bdd/cudd/cuddZddCount.cGenerating dependency: /src/bdd/cudd/cuddWindow.cGenerating dependency: /src/bdd/cudd/cuddUtil.cGenerating dependency: /src/bdd/cudd/cuddTable.cGenerating dependency: /src/bdd/cudd/cuddSymmetry.cGenerating dependency: /src/bdd/cudd/cuddSubsetSP.cGenerating dependency: /src/bdd/cudd/cuddSubsetHB.cGenerating dependency: /src/bdd/cudd/cuddSplit.cGenerating dependency: /src/bdd/cudd/cuddSolve.cGenerating dependency: /src/bdd/cudd/cuddSign.cGenerating dependency: /src/bdd/cudd/cuddSat.cGenerating dependency: /src/bdd/cudd/cuddReorder.cGenerating dependency: /src/bdd/cudd/cuddRef.cGenerating dependency: /src/bdd/cudd/cuddRead.cGenerating dependency: /src/bdd/cudd/cuddPriority.cGenerating dependency: /src/bdd/cudd/cuddMatMult.cGenerating dependency: /src/bdd/cudd/cuddLiteral.cGenerating dependency: /src/bdd/cudd/cuddLinear.cGenerating dependency: /src/bdd/cudd/cuddLevelQ.cGenerating dependency: /src/bdd/cudd/cuddLCache.cGenerating dependency: /src/bdd/cudd/cuddInteract.cGenerating dependency: /src/bdd/cudd/cuddInit.cGenerating dependency: /src/bdd/cudd/cuddHarwell.cGenerating dependency: /src/bdd/cudd/cuddGroup.cGenerating dependency: /src/bdd/cudd/cuddGenetic.cGenerating dependency: /src/bdd/cudd/cuddGenCof.cGenerating dependency: /src/bdd/cudd/cuddExport.cGenerating dependency: /src/bdd/cudd/cuddExact.cGenerating dependency: /src/bdd/cudd/cuddEssent.cGenerating dependency: /src/bdd/cudd/cuddDecomp.cGenerating dependency: /src/bdd/cudd/cuddCompose.cGenerating dependency: /src/bdd/cudd/cuddCof.cGenerating dependency: /src/bdd/cudd/cuddClip.cGenerating dependency: /src/bdd/cudd/cuddCheck.cGenerating dependency: /src/bdd/cudd/cuddCache.cGenerating dependency: /src/bdd/cudd/cuddBridge.cGenerating dependency: /src/bdd/cudd/cuddBddIte.cGenerating dependency: /src/bdd/cudd/cuddBddCorr.cGenerating dependency: /src/bdd/cudd/cuddBddAbs.cGenerating dependency: /src/bdd/cudd/cuddApprox.cGenerating dependency: /src/bdd/cudd/cuddApa.cGenerating dependency: /src/bdd/cudd/cuddAnneal.cGenerating dependency: /src/bdd/cudd/cuddAndAbs.cGenerating dependency: /src/bdd/cudd/cuddAddWalsh.cGenerating dependency: /src/bdd/cudd/cuddAddNeg.cGenerating dependency: /src/bdd/cudd/cuddAddIte.cGenerating dependency: /src/bdd/cudd/cuddAddInv.cGenerating dependency: /src/bdd/cudd/cuddAddFind.cGenerating dependency: /src/bdd/cudd/cuddAddApply.cGenerating dependency: /src/bdd/cudd/cuddAddAbs.cGenerating dependency: /src/bdd/cudd/cuddAPI.cGenerating dependency: /src/aig/hop/hopUtil.cGenerating dependency: /src/aig/hop/hopTruth.cGenerating dependency: /src/aig/hop/hopTable.cGenerating dependency: /src/aig/hop/hopOper.cGenerating dependency: /src/aig/hop/hopObj.cGenerating dependency: /src/aig/hop/hopMem.cGenerating dependency: /src/aig/hop/hopMan.cGenerating dependency: /src/aig/hop/hopDfs.cGenerating dependency: /src/aig/hop/hopCheck.cGenerating dependency: /src/aig/hop/hopBalance.cGenerating dependency: /src/aig/ivy/ivyUtil.cGenerating dependency: /src/aig/ivy/ivyTable.cGenerating dependency: /src/aig/ivy/ivyShow.cGenerating dependency: /src/aig/ivy/ivySeq.cGenerating dependency: /src/aig/ivy/ivyRwr.cGenerating dependency: /src/aig/ivy/ivyResyn.cGenerating dependency: /src/aig/ivy/ivyOper.cGenerating dependency: /src/aig/ivy/ivyObj.cGenerating dependency: /src/aig/ivy/ivyMulti.cGenerating dependency: /src/aig/ivy/ivyMem.cGenerating dependency: /src/aig/ivy/ivyMan.cGenerating dependency: /src/aig/ivy/ivyHaig.cGenerating dependency: /src/aig/ivy/ivyFraig.cGenerating dependency: /src/aig/ivy/ivyFastMap.cGenerating dependency: /src/aig/ivy/ivyFanout.cGenerating dependency: /src/aig/ivy/ivyDfs.cGenerating dependency: /src/aig/ivy/ivyDsd.cGenerating dependency: /src/aig/ivy/ivyCutTrav.cGenerating dependency: /src/aig/ivy/ivyCheck.cGenerating dependency: /src/aig/ivy/ivyCut.cGenerating dependency: /src/aig/ivy/ivyCanon.cGenerating dependency: /src/aig/ivy/ivyBalance.cGenerating dependency: /src/aig/ioa/ioaUtil.cGenerating dependency: /src/aig/ioa/ioaWriteAig.cGenerating dependency: /src/aig/ioa/ioaReadAig.cGenerating dependency: /src/aig/gia/giaUtil.cGenerating dependency: /src/aig/gia/giaUnate.cGenerating dependency: /src/aig/gia/giaTsim.cGenerating dependency: /src/aig/gia/giaTruth.cGenerating dependency: /src/aig/gia/giaTis.cGenerating dependency: /src/aig/gia/giaTim.cGenerating dependency: /src/aig/gia/giaSwitch.cGenerating dependency: /src/aig/gia/giaSweeper.cGenerating dependency: /src/aig/gia/giaSweep.cGenerating dependency: /src/aig/gia/giaSupps.cGenerating dependency: /src/aig/gia/giaSupp.cGenerating dependency: /src/aig/gia/giaSupMin.cGenerating dependency: /src/aig/gia/giaStr.cGenerating dependency: /src/aig/gia/giaStg.cGenerating dependency: /src/aig/gia/giaSplit.cGenerating dependency: /src/aig/gia/giaSpeedup.cGenerating dependency: /src/aig/gia/giaSort.cGenerating dependency: /src/aig/gia/giaSimBase.cGenerating dependency: /src/aig/gia/giaSim2.cGenerating dependency: /src/aig/gia/giaSim.cGenerating dependency: /src/aig/gia/giaShrink7.cGenerating dependency: /src/aig/gia/giaShrink6.cGenerating dependency: /src/aig/gia/giaShrink.cGenerating dependency: /src/aig/gia/giaShow.cGenerating dependency: /src/aig/gia/giaScript.cGenerating dependency: /src/aig/gia/giaScl.cGenerating dependency: /src/aig/gia/giaSat3.cGenerating dependency: /src/aig/gia/giaSatoko.cGenerating dependency: /src/aig/gia/giaSatMap.cGenerating dependency: /src/aig/gia/giaSatLut.cGenerating dependency: /src/aig/gia/giaSatLE.cGenerating dependency: /src/aig/gia/giaSatEdge.cGenerating dependency: /src/aig/gia/giaRex.cGenerating dependency: /src/aig/gia/giaRetime.cGenerating dependency: /src/aig/gia/giaResub3.cGenerating dependency: /src/aig/gia/giaResub2.cGenerating dependency: /src/aig/gia/giaResub.cGenerating dependency: /src/aig/gia/giaReshape2.cGenerating dependency: /src/aig/gia/giaReshape1.cGenerating dependency: /src/aig/gia/giaQbf.cGenerating dependency: /src/aig/gia/giaPf.cGenerating dependency: /src/aig/gia/giaPat.cGenerating dependency: /src/aig/gia/giaPack.cGenerating dependency: /src/aig/gia/giaOf.cGenerating dependency: /src/aig/gia/giaNf.cGenerating dependency: /src/aig/gia/giaMuxes.cGenerating dependency: /src/aig/gia/giaMinLut2.cGenerating dependency: /src/aig/gia/giaMinLut.cGenerating dependency: /src/aig/gia/giaMini.cGenerating dependency: /src/aig/gia/giaMfs.cGenerating dependency: /src/aig/gia/giaMem.cGenerating dependency: /src/aig/gia/giaMan.cGenerating dependency: /src/aig/gia/giaMf.cGenerating dependency: /src/aig/gia/giaLf.cGenerating dependency: /src/aig/gia/giaKf.cGenerating dependency: /src/aig/gia/giaJf.cGenerating dependency: /src/aig/gia/giaIso3.cGenerating dependency: /src/aig/gia/giaIso2.cGenerating dependency: /src/aig/gia/giaIso.cGenerating dependency: /src/aig/gia/giaIiff.cGenerating dependency: /src/aig/gia/giaIff.cGenerating dependency: /src/aig/gia/giaIf.cGenerating dependency: /src/aig/gia/giaHash.cGenerating dependency: /src/aig/gia/giaGlitch.cGenerating dependency: /src/aig/gia/giaGig.cGenerating dependency: /src/aig/gia/giaGen.cGenerating dependency: /src/aig/gia/giaFx.cGenerating dependency: /src/aig/gia/giaFront.cGenerating dependency: /src/aig/gia/giaFrames.cGenerating dependency: /src/aig/gia/giaForce.cGenerating dependency: /src/aig/gia/giaFanout.cGenerating dependency: /src/aig/gia/giaFalse.cGenerating dependency: /src/aig/gia/giaExist.cGenerating dependency: /src/aig/gia/giaEsop.cGenerating dependency: /src/aig/gia/giaEra2.cGenerating dependency: /src/aig/gia/giaEra.cGenerating dependency: /src/aig/gia/giaEquiv.cGenerating dependency: /src/aig/gia/giaEnable.cGenerating dependency: /src/aig/gia/giaEmbed.cGenerating dependency: /src/aig/gia/giaEdge.cGenerating dependency: /src/aig/gia/giaDup.cGenerating dependency: /src/aig/gia/giaDfs.cGenerating dependency: /src/aig/gia/giaDeep.cGenerating dependency: /src/aig/gia/giaDecs.cGenerating dependency: /src/aig/gia/giaCut.cGenerating dependency: /src/aig/gia/giaCTas.cGenerating dependency: /src/aig/gia/giaCSat2.cGenerating dependency: /src/aig/gia/giaCSat.cGenerating dependency: /src/aig/gia/giaCSatOld.cGenerating dependency: /src/aig/gia/giaCone.cGenerating dependency: /src/aig/gia/giaCof.cGenerating dependency: /src/aig/gia/giaClp.cGenerating dependency: /src/aig/gia/giaCex.cGenerating dependency: /src/aig/gia/giaCCof.cGenerating dependency: /src/aig/gia/giaBidec.cGenerating dependency: /src/aig/gia/giaBalMap.cGenerating dependency: /src/aig/gia/giaBalLut.cGenerating dependency: /src/aig/gia/giaBalAig.cGenerating dependency: /src/aig/gia/giaAigerExt.cGenerating dependency: /src/aig/gia/giaAiger.cGenerating dependency: /src/aig/gia/giaAgi.cGenerating dependency: /src/aig/gia/giaAig.cGenerating dependency: /src/aig/saig/saigWnd.cGenerating dependency: /src/aig/saig/saigTrans.cGenerating dependency: /src/aig/saig/saigTempor.cGenerating dependency: /src/aig/saig/saigSynch.cGenerating dependency: /src/aig/saig/saigSwitch.cGenerating dependency: /src/aig/saig/saigStrSim.cGenerating dependency: /src/aig/saig/saigSimSeq.cGenerating dependency: /src/aig/saig/saigSimMv.cGenerating dependency: /src/aig/saig/saigSimFast.cGenerating dependency: /src/aig/saig/saigScl.cGenerating dependency: /src/aig/saig/saigRetStep.cGenerating dependency: /src/aig/saig/saigRetMin.cGenerating dependency: /src/aig/saig/saigRetFwd.cGenerating dependency: /src/aig/saig/saigPhase.cGenerating dependency: /src/aig/saig/saigOutDec.cGenerating dependency: /src/aig/saig/saigMiter.cGenerating dependency: /src/aig/saig/saigIsoSlow.cGenerating dependency: /src/aig/saig/saigIsoFast.cGenerating dependency: /src/aig/saig/saigIso.cGenerating dependency: /src/aig/saig/saigIoa.cGenerating dependency: /src/aig/saig/saigInd.cGenerating dependency: /src/aig/saig/saigDup.cGenerating dependency: /src/aig/saig/saigDual.cGenerating dependency: /src/aig/saig/saigConstr2.cGenerating dependency: /src/aig/saig/saigConstr.cGenerating dependency: /src/aig/saig/saigCone.cGenerating dependency: /src/aig/aig/aigWin.cGenerating dependency: /src/aig/aig/aigUtil.cGenerating dependency: /src/aig/aig/aigTruth.cGenerating dependency: /src/aig/aig/aigTiming.cGenerating dependency: /src/aig/aig/aigTsim.cGenerating dependency: /src/aig/aig/aigTable.cGenerating dependency: /src/aig/aig/aigSplit.cGenerating dependency: /src/aig/aig/aigShow.cGenerating dependency: /src/aig/aig/aigScl.cGenerating dependency: /src/aig/aig/aigRetF.cGenerating dependency: /src/aig/aig/aigRet.cGenerating dependency: /src/aig/aig/aigRepr.cGenerating dependency: /src/aig/aig/aigPartSat.cGenerating dependency: /src/aig/aig/aigPartReg.cGenerating dependency: /src/aig/aig/aigPart.cGenerating dependency: /src/aig/aig/aigPack.cGenerating dependency: /src/aig/aig/aigOrder.cGenerating dependency: /src/aig/aig/aigOper.cGenerating dependency: /src/aig/aig/aigObj.cGenerating dependency: /src/aig/aig/aigMffc.cGenerating dependency: /src/aig/aig/aigMem.cGenerating dependency: /src/aig/aig/aigMan.cGenerating dependency: /src/aig/aig/aigJust.cGenerating dependency: /src/aig/aig/aigInter.cGenerating dependency: /src/aig/aig/aigFrames.cGenerating dependency: /src/aig/aig/aigFanout.cGenerating dependency: /src/aig/aig/aigDup.cGenerating dependency: /src/aig/aig/aigDfs.cGenerating dependency: /src/aig/aig/aigCuts.cGenerating dependency: /src/aig/aig/aigCanon.cGenerating dependency: /src/aig/aig/aigCheck.cGenerating dependency: /src/proof/ssw/sswUnique.cGenerating dependency: /src/proof/ssw/sswSweep.cGenerating dependency: /src/proof/ssw/sswSimSat.cGenerating dependency: /src/proof/ssw/sswSim.cGenerating dependency: /src/proof/ssw/sswSemi.cGenerating dependency: /src/proof/ssw/sswSat.cGenerating dependency: /src/proof/ssw/sswRarity.cGenerating dependency: /src/proof/ssw/sswPairs.cGenerating dependency: /src/proof/ssw/sswPart.cGenerating dependency: /src/proof/ssw/sswMan.cGenerating dependency: /src/proof/ssw/sswLcorr.cGenerating dependency: /src/proof/ssw/sswIslands.cGenerating dependency: /src/proof/ssw/sswFilter.cGenerating dependency: /src/proof/ssw/sswDyn.cGenerating dependency: /src/proof/ssw/sswCore.cGenerating dependency: /src/proof/ssw/sswConstr.cGenerating dependency: /src/proof/ssw/sswCnf.cGenerating dependency: /src/proof/ssw/sswClass.cGenerating dependency: /src/proof/ssw/sswBmc.cGenerating dependency: /src/proof/ssw/sswAig.cGenerating dependency: /src/proof/fra/fraSim.cGenerating dependency: /src/proof/fra/fraSec.cGenerating dependency: /src/proof/fra/fraSat.cGenerating dependency: /src/proof/fra/fraPart.cGenerating dependency: /src/proof/fra/fraMan.cGenerating dependency: /src/proof/fra/fraLcr.cGenerating dependency: /src/proof/fra/fraIndVer.cGenerating dependency: /src/proof/fra/fraInd.cGenerating dependency: /src/proof/fra/fraImp.cGenerating dependency: /src/proof/fra/fraHot.cGenerating dependency: /src/proof/fra/fraCore.cGenerating dependency: /src/proof/fra/fraCnf.cGenerating dependency: /src/proof/fra/fraClaus.cGenerating dependency: /src/proof/fra/fraClau.cGenerating dependency: /src/proof/fra/fraClass.cGenerating dependency: /src/proof/fra/fraCec.cGenerating dependency: /src/proof/fra/fraBmc.cGenerating dependency: /src/proof/fraig/fraigVec.cGenerating dependency: /src/proof/fraig/fraigUtil.cGenerating dependency: /src/proof/fraig/fraigTable.cGenerating dependency: /src/proof/fraig/fraigSat.cGenerating dependency: /src/proof/fraig/fraigPrime.cGenerating dependency: /src/proof/fraig/fraigNode.cGenerating dependency: /src/proof/fraig/fraigMem.cGenerating dependency: /src/proof/fraig/fraigMan.cGenerating dependency: /src/proof/fraig/fraigFeed.cGenerating dependency: /src/proof/fraig/fraigFanout.cGenerating dependency: /src/proof/fraig/fraigCanon.cGenerating dependency: /src/proof/fraig/fraigApi.cGenerating dependency: /src/proof/dch/dchSweep.cGenerating dependency: /src/proof/dch/dchSim.cGenerating dependency: /src/proof/dch/dchSimSat.cGenerating dependency: /src/proof/dch/dchSat.cGenerating dependency: /src/proof/dch/dchMan.cGenerating dependency: /src/proof/dch/dchCore.cGenerating dependency: /src/proof/dch/dchCnf.cGenerating dependency: /src/proof/dch/dchClass.cGenerating dependency: /src/proof/dch/dchChoice.cGenerating dependency: /src/proof/dch/dchAig.cGenerating dependency: /src/proof/acec/acecXor.cGenerating dependency: /src/proof/acec/acec2Mult.cGenerating dependency: /src/proof/acec/acecUtil.cGenerating dependency: /src/proof/acec/acecTree.cGenerating dependency: /src/proof/acec/acecSt.cGenerating dependency: /src/proof/acec/acecPolyn.cGenerating dependency: /src/proof/acec/acecOrder.cGenerating dependency: /src/proof/acec/acecNorm.cGenerating dependency: /src/proof/acec/acecMult.cGenerating dependency: /src/proof/acec/acecFadds.cGenerating dependency: /src/proof/acec/acecCover.cGenerating dependency: /src/proof/acec/acecPool.cGenerating dependency: /src/proof/acec/acecPo.cGenerating dependency: /src/proof/acec/acecPa.cGenerating dependency: /src/proof/acec/acecRe.cGenerating dependency: /src/proof/acec/acecBo.cGenerating dependency: /src/proof/acec/acecCo.cGenerating dependency: /src/proof/acec/acecCore.cGenerating dependency: /src/proof/acec/acecCl.cGenerating dependency: /src/proof/cec/cecSweep.cGenerating dependency: /src/proof/cec/cecSynth.cGenerating dependency: /src/proof/cec/cecSplit.cGenerating dependency: /src/proof/cec/cecSolveG.cGenerating dependency: /src/proof/cec/cecSolve.cGenerating dependency: /src/proof/cec/cecSim.cGenerating dependency: /src/proof/cec/cecSeq.cGenerating dependency: /src/proof/cec/cecSatG2.cGenerating dependency: /src/proof/cec/cecSatG.cGenerating dependency: /src/proof/cec/cecSat.cGenerating dependency: /src/proof/cec/cecPat.cGenerating dependency: /src/proof/cec/cecMan.cGenerating dependency: /src/proof/cec/cecIso.cGenerating dependency: /src/proof/cec/cecCorr.cGenerating dependency: /src/proof/cec/cecCore.cGenerating dependency: /src/proof/cec/cecClass.cGenerating dependency: /src/proof/cec/cecChoice.cGenerating dependency: /src/proof/cec/cecCec.cGenerating dependency: /src/proof/int/intUtil.cGenerating dependency: /src/proof/int/intMan.cGenerating dependency: /src/proof/int/intM114.cGenerating dependency: /src/proof/int/intInter.cGenerating dependency: /src/proof/int/intFrames.cGenerating dependency: /src/proof/int/intDup.cGenerating dependency: /src/proof/int/intCtrex.cGenerating dependency: /src/proof/int/intCore.cGenerating dependency: /src/proof/int/intContain.cGenerating dependency: /src/proof/int/intCheck.cGenerating dependency: /src/proof/ssc/sscUtil.cGenerating dependency: /src/proof/ssc/sscSim.cGenerating dependency: /src/proof/ssc/sscSat.cGenerating dependency: /src/proof/ssc/sscCore.cGenerating dependency: /src/proof/ssc/sscClass.cGenerating dependency: /src/proof/live/combination.cGenerating dependency: /src/proof/live/kLiveConstraints.cGenerating dependency: /src/proof/live/arenaViolation.cGenerating dependency: /src/proof/live/disjunctiveMonotone.cGenerating dependency: /src/proof/live/monotone.cGenerating dependency: /src/proof/live/kliveness.cGenerating dependency: /src/proof/live/ltl_parser.cGenerating dependency: /src/proof/live/liveness_sim.cGenerating dependency: /src/proof/live/liveness.cGenerating dependency: /src/proof/abs/absUtil.cGenerating dependency: /src/proof/abs/absVta.cGenerating dependency: /src/proof/abs/absRpmOld.cGenerating dependency: /src/proof/abs/absRpm.cGenerating dependency: /src/proof/abs/absRefSelect.cGenerating dependency: /src/proof/abs/absRef.cGenerating dependency: /src/proof/abs/absPth.cGenerating dependency: /src/proof/abs/absOut.cGenerating dependency: /src/proof/abs/absOldSim.cGenerating dependency: /src/proof/abs/absOldSat.cGenerating dependency: /src/proof/abs/absOldRef.cGenerating dependency: /src/proof/abs/absOldCex.cGenerating dependency: /src/proof/abs/absIter.cGenerating dependency: /src/proof/abs/absGlaOld.cGenerating dependency: /src/proof/abs/absGla.cGenerating dependency: /src/proof/abs/absDup.cGenerating dependency: /src/proof/pdr/pdrUtil.cGenerating dependency: /src/proof/pdr/pdrTsim3.cGenerating dependency: /src/proof/pdr/pdrTsim2.cGenerating dependency: /src/proof/pdr/pdrTsim.cGenerating dependency: /src/proof/pdr/pdrSat.cGenerating dependency: /src/proof/pdr/pdrMan.cGenerating dependency: /src/proof/pdr/pdrInv.cGenerating dependency: /src/proof/pdr/pdrIncr.cGenerating dependency: /src/proof/pdr/pdrCore.cGenerating dependency: /src/proof/pdr/pdrCnf.cGenerating dependency: /src/bool/rpo/rpo.cGenerating dependency: /src/bool/rsb/rsbMan.cGenerating dependency: /src/bool/rsb/rsbDec6.cGenerating dependency: /src/bool/lucky/luckySwap.cGenerating dependency: /src/bool/lucky/luckySwapIJ.cGenerating dependency: /src/bool/lucky/luckySimple.cGenerating dependency: /src/bool/lucky/luckyRead.cGenerating dependency: /src/bool/lucky/luckyFast6.cGenerating dependency: /src/bool/lucky/luckyFast16.cGenerating dependency: /src/bool/lucky/lucky.cGenerating dependency: /src/bool/kit/kitTruth.cGenerating dependency: /src/bool/kit/kitSop.cGenerating dependency: /src/bool/kit/kitPla.cGenerating dependency: /src/bool/kit/kitIsop.cGenerating dependency: /src/bool/kit/kitHop.cGenerating dependency: /src/bool/kit/kitGraph.cGenerating dependency: /src/bool/kit/kitFactor.cGenerating dependency: /src/bool/kit/kitDsd.cGenerating dependency: /src/bool/kit/cloud.cGenerating dependency: /src/bool/kit/kitCloud.cGenerating dependency: /src/bool/kit/kitBdd.cGenerating dependency: /src/bool/kit/kitAig.cGenerating dependency: /src/bool/dec/decUtil.cGenerating dependency: /src/bool/dec/decPrint.cGenerating dependency: /src/bool/dec/decMan.cGenerating dependency: /src/bool/dec/decFactor.cGenerating dependency: /src/bool/dec/decAbc.cGenerating dependency: /src/bool/bdc/bdcTable.cGenerating dependency: /src/bool/bdc/bdcSpfd.cGenerating dependency: /src/bool/bdc/bdcDec.cGenerating dependency: /src/bool/bdc/bdcCore.cGenerating dependency: /src/sat/bmc/bmcUnroll.cGenerating dependency: /src/sat/bmc/bmcMulti.cGenerating dependency: /src/sat/bmc/bmcMesh2.cGenerating dependency: /src/sat/bmc/bmcMesh.cGenerating dependency: /src/sat/bmc/bmcMaxi.cGenerating dependency: /src/sat/bmc/bmcMaj3.cGenerating dependency: /src/sat/bmc/bmcMaj2.cGenerating dependency: /src/sat/bmc/bmcMaj.cGenerating dependency: /src/sat/bmc/bmcLoad.cGenerating dependency: /src/sat/bmc/bmcInse.cGenerating dependency: /src/sat/bmc/bmcICheck.cGenerating dependency: /src/sat/bmc/bmcGen.cGenerating dependency: /src/sat/bmc/bmcFx.cGenerating dependency: /src/sat/bmc/bmcFault.cGenerating dependency: /src/sat/bmc/bmcExpand.cGenerating dependency: /src/sat/bmc/bmcEco.cGenerating dependency: /src/sat/bmc/bmcClp.cGenerating dependency: /src/sat/bmc/bmcChain.cGenerating dependency: /src/sat/bmc/bmcCexTools.cGenerating dependency: /src/sat/bmc/bmcCexMin2.cGenerating dependency: /src/sat/bmc/bmcCexMin1.cGenerating dependency: /src/sat/bmc/bmcCexDepth.cGenerating dependency: /src/sat/bmc/bmcCexCut.cGenerating dependency: /src/sat/bmc/bmcCexCare.cGenerating dependency: /src/sat/bmc/bmcBmcS.cGenerating dependency: /src/sat/bmc/bmcBmcG.cGenerating dependency: /src/sat/bmc/bmcBmci.cGenerating dependency: /src/sat/bmc/bmcBmcAnd.cGenerating dependency: /src/sat/bmc/bmcBmc3.cGenerating dependency: /src/sat/bmc/bmcBmc2.cGenerating dependency: /src/sat/bmc/bmcBmc.cGenerating dependency: /src/sat/bmc/bmcBCore.cGenerating dependency: /src/sat/cnf/cnfWrite.cGenerating dependency: /src/sat/cnf/cnfUtil.cGenerating dependency: /src/sat/cnf/cnfPost.cGenerating dependency: /src/sat/cnf/cnfMap.cGenerating dependency: /src/sat/cnf/cnfMan.cGenerating dependency: /src/sat/cnf/cnfFast.cGenerating dependency: /src/sat/cnf/cnfData.cGenerating dependency: /src/sat/cnf/cnfCut.cGenerating dependency: /src/sat/cnf/cnfCore.cGenerating dependency: /src/sat/msat/msatVec.cGenerating dependency: /src/sat/msat/msatSort.cGenerating dependency: /src/sat/msat/msatSolverSearch.cGenerating dependency: /src/sat/msat/msatSolverIo.cGenerating dependency: /src/sat/msat/msatSolverCore.cGenerating dependency: /src/sat/msat/msatSolverApi.cGenerating dependency: /src/sat/msat/msatRead.cGenerating dependency: /src/sat/msat/msatQueue.cGenerating dependency: /src/sat/msat/msatOrderH.cGenerating dependency: /src/sat/msat/msatMem.cGenerating dependency: /src/sat/msat/msatClauseVec.cGenerating dependency: /src/sat/msat/msatClause.cGenerating dependency: /src/sat/msat/msatActivity.cGenerating dependency: /src/sat/csat/csat_apis.cGenerating dependency: /src/sat/satoko/cnf_reader.cGenerating dependency: /src/sat/satoko/solver_api.cGenerating dependency: /src/sat/satoko/solver.cGenerating dependency: /src/sat/xsat/xsatCnfReader.cGenerating dependency: /src/sat/xsat/xsatSolverAPI.cGenerating dependency: /src/sat/xsat/xsatSolver.cGenerating dependency: /src/sat/bsat/satUtil.cGenerating dependency: /src/sat/bsat/satTruth.cGenerating dependency: /src/sat/bsat/satTrace.cGenerating dependency: /src/sat/bsat/satStore.cGenerating dependency: /src/sat/bsat/satSolver3.cGenerating dependency: /src/sat/bsat/satSolver2i.cGenerating dependency: /src/sat/bsat/satSolver2.cGenerating dependency: /src/sat/bsat/satSolver.cGenerating dependency: /src/sat/bsat/satProof.cGenerating dependency: /src/sat/bsat/satInterP.cGenerating dependency: /src/sat/bsat/satInterB.cGenerating dependency: /src/sat/bsat/satInterA.cGenerating dependency: /src/sat/bsat/satInter.cGenerating dependency: /src/sat/bsat/satMem.cGenerating dependency: /src/opt/sbd/sbdWin.cGenerating dependency: /src/opt/sbd/sbdPath.cGenerating dependency: /src/opt/sbd/sbdSat.cGenerating dependency: /src/opt/sbd/sbdLut.cGenerating dependency: /src/opt/sbd/sbdCut2.cGenerating dependency: /src/opt/sbd/sbdCut.cGenerating dependency: /src/opt/sbd/sbdCore.cGenerating dependency: /src/opt/sbd/sbdCnf.cGenerating dependency: /src/opt/sbd/sbd.cGenerating dependency: /src/opt/sfm/sfmMit.cGenerating dependency: /src/opt/sfm/sfmWin.cGenerating dependency: /src/opt/sfm/sfmTim.cGenerating dependency: /src/opt/sfm/sfmSat.cGenerating dependency: /src/opt/sfm/sfmNtk.cGenerating dependency: /src/opt/sfm/sfmLib.cGenerating dependency: /src/opt/sfm/sfmDec.cGenerating dependency: /src/opt/sfm/sfmCore.cGenerating dependency: /src/opt/sfm/sfmCnf.cGenerating dependency: /src/opt/sfm/sfmArea.cGenerating dependency: /src/opt/dsc/dsc.cGenerating dependency: /src/opt/dau/dauTree.cGenerating dependency: /src/opt/dau/dauNpn2.cGenerating dependency: /src/opt/dau/dauNpn.cGenerating dependency: /src/opt/dau/dauNonDsd.cGenerating dependency: /src/opt/dau/dauMerge.cGenerating dependency: /src/opt/dau/dauGia.cGenerating dependency: /src/opt/dau/dauEnum.cGenerating dependency: /src/opt/dau/dauDsd.cGenerating dependency: /src/opt/dau/dauDivs.cGenerating dependency: /src/opt/dau/dauCount.cGenerating dependency: /src/opt/dau/dauCore.cGenerating dependency: /src/opt/dau/dauCanon.cGenerating dependency: /src/opt/dar/darScript.cGenerating dependency: /src/opt/dar/darRefact.cGenerating dependency: /src/opt/dar/darPrec.cGenerating dependency: /src/opt/dar/darMan.cGenerating dependency: /src/opt/dar/darLib.cGenerating dependency: /src/opt/dar/darData.cGenerating dependency: /src/opt/dar/darCut.cGenerating dependency: /src/opt/dar/darCore.cGenerating dependency: /src/opt/dar/darBalance.cGenerating dependency: /src/opt/csw/cswTable.cGenerating dependency: /src/opt/csw/cswMan.cGenerating dependency: /src/opt/csw/cswCut.cGenerating dependency: /src/opt/csw/cswCore.cGenerating dependency: /src/opt/cgt/cgtSat.cGenerating dependency: /src/opt/cgt/cgtMan.cGenerating dependency: /src/opt/cgt/cgtDecide.cGenerating dependency: /src/opt/cgt/cgtCore.cGenerating dependency: /src/opt/cgt/cgtAig.cGenerating dependency: /src/opt/rwt/rwtUtil.cGenerating dependency: /src/opt/rwt/rwtMan.cGenerating dependency: /src/opt/rwt/rwtDec.cGenerating dependency: /src/opt/nwk/nwkUtil.cGenerating dependency: /src/opt/nwk/nwkTiming.cGenerating dependency: /src/opt/nwk/nwkStrash.cGenerating dependency: /src/opt/nwk/nwkSpeedup.cGenerating dependency: /src/opt/nwk/nwkObj.cGenerating dependency: /src/opt/nwk/nwkMerge.cGenerating dependency: /src/opt/nwk/nwkMap.cGenerating dependency: /src/opt/nwk/nwkMan.cGenerating dependency: /src/opt/nwk/nwkFlow.cGenerating dependency: /src/opt/nwk/nwkFanio.cGenerating dependency: /src/opt/nwk/nwkDfs.cGenerating dependency: /src/opt/nwk/nwkBidec.cGenerating dependency: /src/opt/nwk/nwkCheck.cGenerating dependency: /src/opt/nwk/nwkAig.cGenerating dependency: /src/opt/lpk/lpkSets.cGenerating dependency: /src/opt/lpk/lpkMux.cGenerating dependency: /src/opt/lpk/lpkMulti.cGenerating dependency: /src/opt/lpk/lpkMap.cGenerating dependency: /src/opt/lpk/lpkMan.cGenerating dependency: /src/opt/lpk/lpkCut.cGenerating dependency: /src/opt/lpk/lpkAbcUtil.cGenerating dependency: /src/opt/lpk/lpkAbcDsd.cGenerating dependency: /src/opt/lpk/lpkAbcMux.cGenerating dependency: /src/opt/lpk/lpkAbcDec.cGenerating dependency: /src/opt/lpk/lpkCore.cGenerating dependency: /src/opt/res/resWin.cGenerating dependency: /src/opt/res/resStrash.cGenerating dependency: /src/opt/res/resSim.cGenerating dependency: /src/opt/res/resSat.cGenerating dependency: /src/opt/res/resFilter.cGenerating dependency: /src/opt/res/resDivs.cGenerating dependency: /src/opt/res/resCore.cGenerating dependency: /src/opt/fret/fretTime.cGenerating dependency: /src/opt/fret/fretInit.cGenerating dependency: /src/opt/fret/fretFlow.cGenerating dependency: /src/opt/fret/fretMain.cGenerating dependency: /src/opt/ret/retLvalue.cGenerating dependency: /src/opt/ret/retInit.cGenerating dependency: /src/opt/ret/retIncrem.cGenerating dependency: /src/opt/ret/retFlow.cGenerating dependency: /src/opt/ret/retDelay.cGenerating dependency: /src/opt/ret/retCore.cGenerating dependency: /src/opt/ret/retArea.cGenerating dependency: /src/opt/sim/simUtils.cGenerating dependency: /src/opt/sim/simSymStr.cGenerating dependency: /src/opt/sim/simSymSim.cGenerating dependency: /src/opt/sim/simSymSat.cGenerating dependency: /src/opt/sim/simSym.cGenerating dependency: /src/opt/sim/simSwitch.cGenerating dependency: /src/opt/sim/simSupp.cGenerating dependency: /src/opt/sim/simSeq.cGenerating dependency: /src/opt/sim/simMan.cGenerating dependency: /src/opt/mfs/mfsWin.cGenerating dependency: /src/opt/mfs/mfsStrash.cGenerating dependency: /src/opt/mfs/mfsSat.cGenerating dependency: /src/opt/mfs/mfsResub.cGenerating dependency: /src/opt/mfs/mfsMan.cGenerating dependency: /src/opt/mfs/mfsInter.cGenerating dependency: /src/opt/mfs/mfsDiv.cGenerating dependency: /src/opt/mfs/mfsCore.cGenerating dependency: /src/opt/rwr/rwrUtil.cGenerating dependency: /src/opt/rwr/rwrPrint.cGenerating dependency: /src/opt/rwr/rwrMan.cGenerating dependency: /src/opt/rwr/rwrLib.cGenerating dependency: /src/opt/rwr/rwrExp.cGenerating dependency: /src/opt/rwr/rwrEva.cGenerating dependency: /src/opt/rwr/rwrDec.cGenerating dependency: /src/opt/fxch/FxchSCHashTable.cGenerating dependency: /src/opt/fxch/FxchMan.cGenerating dependency: /src/opt/fxch/FxchDiv.cGenerating dependency: /src/opt/fxch/Fxch.cGenerating dependency: /src/opt/fxu/fxuUpdate.cGenerating dependency: /src/opt/fxu/fxuSingle.cGenerating dependency: /src/opt/fxu/fxuSelect.cGenerating dependency: /src/opt/fxu/fxuReduce.cGenerating dependency: /src/opt/fxu/fxuPrint.cGenerating dependency: /src/opt/fxu/fxuPair.cGenerating dependency: /src/opt/fxu/fxuMatrix.cGenerating dependency: /src/opt/fxu/fxuList.cGenerating dependency: /src/opt/fxu/fxuHeapS.cGenerating dependency: /src/opt/fxu/fxuHeapD.cGenerating dependency: /src/opt/fxu/fxuCreate.cGenerating dependency: /src/opt/fxu/fxu.cGenerating dependency: /src/opt/cut/cutTruth.cGenerating dependency: /src/opt/cut/cutSeq.cGenerating dependency: /src/opt/cut/cutPre22.cGenerating dependency: /src/opt/cut/cutOracle.cGenerating dependency: /src/opt/cut/cutNode.cGenerating dependency: /src/opt/cut/cutMerge.cGenerating dependency: /src/opt/cut/cutMan.cGenerating dependency: /src/opt/cut/cutCut.cGenerating dependency: /src/opt/cut/cutApi.cGenerating dependency: /src/misc/parse/parseStack.cGenerating dependency: /src/misc/parse/parseEqn.cGenerating dependency: /src/misc/bbl/bblif.cGenerating dependency: /src/misc/bar/bar.cGenerating dependency: /src/misc/mem/mem.cGenerating dependency: /src/misc/zlib/zutil.cGenerating dependency: /src/misc/zlib/uncompr.cGenerating dependency: /src/misc/zlib/trees.cGenerating dependency: /src/misc/zlib/inftrees.cGenerating dependency: /src/misc/zlib/inflate.cGenerating dependency: /src/misc/zlib/inffast.cGenerating dependency: /src/misc/zlib/infback.cGenerating dependency: /src/misc/zlib/gzwrite.cGenerating dependency: /src/misc/zlib/gzread.cGenerating dependency: /src/misc/zlib/gzlib.cGenerating dependency: /src/misc/zlib/gzclose.cGenerating dependency: /src/misc/zlib/deflate.cGenerating dependency: /src/misc/zlib/crc32.cGenerating dependency: /src/misc/zlib/compress_.cGenerating dependency: /src/misc/zlib/adler32.cGenerating dependency: /src/misc/bzlib/randtable.cGenerating dependency: /src/misc/bzlib/huffman.cGenerating dependency: /src/misc/bzlib/decompress.cGenerating dependency: /src/misc/bzlib/crctable.cGenerating dependency: /src/misc/bzlib/compress.cGenerating dependency: /src/misc/bzlib/bzlib.cGenerating dependency: /src/misc/bzlib/blocksort.cGenerating dependency: /src/misc/tim/timTrav.cGenerating dependency: /src/misc/tim/timTime.cGenerating dependency: /src/misc/tim/timMan.cGenerating dependency: /src/misc/tim/timDump.cGenerating dependency: /src/misc/tim/timBox.cGenerating dependency: /src/misc/nm/nmTable.cGenerating dependency: /src/misc/nm/nmApi.cGenerating dependency: /src/misc/util/utilSort.cGenerating dependency: /src/misc/util/utilSignal.cGenerating dependency: /src/misc/util/utilNam.cGenerating dependency: /src/misc/util/utilIsop.cGenerating dependency: /src/misc/util/utilFile.cGenerating dependency: /src/misc/util/utilColor.cGenerating dependency: /src/misc/util/utilBridge.cGenerating dependency: /src/misc/util/utilCex.cGenerating dependency: /src/misc/st/stmm.cGenerating dependency: /src/misc/st/st.cGenerating dependency: /src/misc/mvc/mvcUtils.cGenerating dependency: /src/misc/mvc/mvcSort.cGenerating dependency: /src/misc/mvc/mvcPrint.cGenerating dependency: /src/misc/mvc/mvcOpBool.cGenerating dependency: /src/misc/mvc/mvcOpAlg.cGenerating dependency: /src/misc/mvc/mvcMan.cGenerating dependency: /src/misc/mvc/mvcLits.cGenerating dependency: /src/misc/mvc/mvcList.cGenerating dependency: /src/misc/mvc/mvcDivisor.cGenerating dependency: /src/misc/mvc/mvcDivide.cGenerating dependency: /src/misc/mvc/mvcCube.cGenerating dependency: /src/misc/mvc/mvcCover.cGenerating dependency: /src/misc/mvc/mvcCompare.cGenerating dependency: /src/misc/mvc/mvcContain.cGenerating dependency: /src/misc/mvc/mvcApi.cGenerating dependency: /src/misc/extra/extraUtilUtil.cGenerating dependency: /src/misc/extra/extraUtilTruth.cGenerating dependency: /src/misc/extra/extraUtilSupp.cGenerating dependency: /src/misc/extra/extraUtilReader.cGenerating dependency: /src/misc/extra/extraUtilProgress.cGenerating dependency: /src/misc/extra/extraUtilPerm.cGenerating dependency: /src/misc/extra/extraUtilPath.cGenerating dependency: /src/misc/extra/extraUtilMult.cGenerating dependency: /src/misc/extra/extraUtilMisc.cGenerating dependency: /src/misc/extra/extraUtilMemory.cGenerating dependency: /src/misc/extra/extraUtilMaj.cGenerating dependency: /src/misc/extra/extraUtilMacc.cGenerating dependency: /src/misc/extra/extraUtilGen.cGenerating dependency: /src/misc/extra/extraUtilFile.cGenerating dependency: /src/misc/extra/extraUtilEnum.cGenerating dependency: /src/misc/extra/extraUtilDsd.cGenerating dependency: /src/misc/extra/extraUtilCube.cGenerating dependency: /src/misc/extra/extraUtilCfs.cGenerating dependency: /src/misc/extra/extraUtilCanon.cGenerating dependency: /src/misc/extra/extraUtilBitMatrix.cGenerating dependency: /src/map/mpm/mpmTruth.cGenerating dependency: /src/map/mpm/mpmUtil.cGenerating dependency: /src/map/mpm/mpmPre.cGenerating dependency: /src/map/mpm/mpmMig.cGenerating dependency: /src/map/mpm/mpmMap.cGenerating dependency: /src/map/mpm/mpmMan.cGenerating dependency: /src/map/mpm/mpmLib.cGenerating dependency: /src/map/mpm/mpmGates.cGenerating dependency: /src/map/mpm/mpmDsd.cGenerating dependency: /src/map/mpm/mpmCore.cGenerating dependency: /src/map/mpm/mpmAbc.cGenerating dependency: /src/map/scl/sclUtil.cGenerating dependency: /src/map/scl/sclUpsize.cGenerating dependency: /src/map/scl/sclSize.cGenerating dependency: /src/map/scl/sclLoad.cGenerating dependency: /src/map/scl/sclLibUtil.cGenerating dependency: /src/map/scl/sclLibScl.cGenerating dependency: /src/map/scl/sclLiberty.cGenerating dependency: /src/map/scl/sclDnsize.cGenerating dependency: /src/map/scl/sclBufSize.cGenerating dependency: /src/map/scl/sclBuffer.cGenerating dependency: /src/map/scl/scl.cGenerating dependency: /src/map/cov/covMinUtil.cGenerating dependency: /src/map/cov/covMinSop.cGenerating dependency: /src/map/cov/covMinMan.cGenerating dependency: /src/map/cov/covMinEsop.cGenerating dependency: /src/map/cov/covMan.cGenerating dependency: /src/map/cov/covCore.cGenerating dependency: /src/map/cov/covBuild.cGenerating dependency: /src/map/amap/amapUniq.cGenerating dependency: /src/map/amap/amapRule.cGenerating dependency: /src/map/amap/amapRead.cGenerating dependency: /src/map/amap/amapPerm.cGenerating dependency: /src/map/amap/amapParse.cGenerating dependency: /src/map/amap/amapOutput.cGenerating dependency: /src/map/amap/amapMerge.cGenerating dependency: /src/map/amap/amapMatch.cGenerating dependency: /src/map/amap/amapMan.cGenerating dependency: /src/map/amap/amapLiberty.cGenerating dependency: /src/map/amap/amapLib.cGenerating dependency: /src/map/amap/amapGraph.cGenerating dependency: /src/map/amap/amapCore.cGenerating dependency: /src/map/if/ifUtil.cGenerating dependency: /src/map/if/ifTune.cGenerating dependency: /src/map/if/ifTruth.cGenerating dependency: /src/map/if/ifTime.cGenerating dependency: /src/map/if/ifTest.cGenerating dependency: /src/map/if/ifSeq.cGenerating dependency: /src/map/if/ifSelect.cGenerating dependency: /src/map/if/ifSat.cGenerating dependency: /src/map/if/ifReduce.cGenerating dependency: /src/map/if/ifMatch2.cGenerating dependency: /src/map/if/ifMap.cGenerating dependency: /src/map/if/ifMan.cGenerating dependency: /src/map/if/ifLibLut.cGenerating dependency: /src/map/if/ifLibBox.cGenerating dependency: /src/map/if/ifDsd.cGenerating dependency: /src/map/if/ifDelay.cGenerating dependency: /src/map/if/ifDec75.cGenerating dependency: /src/map/if/ifDec16.cGenerating dependency: /src/map/if/ifDec10.cGenerating dependency: /src/map/if/ifDec08.cGenerating dependency: /src/map/if/ifDec07.cGenerating dependency: /src/map/if/ifData2.cGenerating dependency: /src/map/if/ifCut.cGenerating dependency: /src/map/if/ifCore.cGenerating dependency: /src/map/if/ifCache.cGenerating dependency: /src/map/if/ifCom.cGenerating dependency: /src/map/super/superGate.cGenerating dependency: /src/map/super/superAnd.cGenerating dependency: /src/map/super/super.cGenerating dependency: /src/map/mio/mioUtils.cGenerating dependency: /src/map/mio/mioSop.cGenerating dependency: /src/map/mio/mioRead.cGenerating dependency: /src/map/mio/mioParse.cGenerating dependency: /src/map/mio/mioFunc.cGenerating dependency: /src/map/mio/mioApi.cGenerating dependency: /src/map/mio/mio.cGenerating dependency: /src/map/mapper/mapperVec.cGenerating dependency: /src/map/mapper/mapperUtils.cGenerating dependency: /src/map/mapper/mapperTruth.cGenerating dependency: /src/map/mapper/mapperTree.cGenerating dependency: /src/map/mapper/mapperTime.cGenerating dependency: /src/map/mapper/mapperTable.cGenerating dependency: /src/map/mapper/mapperSwitch.cGenerating dependency: /src/map/mapper/mapperSuper.cGenerating dependency: /src/map/mapper/mapperRefs.cGenerating dependency: /src/map/mapper/mapperMatch.cGenerating dependency: /src/map/mapper/mapperLib.cGenerating dependency: /src/map/mapper/mapperCutUtils.cGenerating dependency: /src/map/mapper/mapperCut.cGenerating dependency: /src/map/mapper/mapperCreate.cGenerating dependency: /src/map/mapper/mapperCore.cGenerating dependency: /src/map/mapper/mapperCanon.cGenerating dependency: /src/map/mapper/mapper.cGenerating dependency: /src/base/test/test.cGenerating dependency: /src/base/pla/plaWrite.cGenerating dependency: /src/base/pla/plaRead.cGenerating dependency: /src/base/pla/plaSimple.cGenerating dependency: /src/base/pla/plaMerge.cGenerating dependency: /src/base/pla/plaMan.cGenerating dependency: /src/base/pla/plaHash.cGenerating dependency: /src/base/pla/plaCom.cGenerating dependency: /src/base/cba/cbaWriteVer.cGenerating dependency: /src/base/cba/cbaWriteBlif.cGenerating dependency: /src/base/cba/cbaReadVer.cGenerating dependency: /src/base/cba/cbaReadBlif.cGenerating dependency: /src/base/cba/cbaNtk.cGenerating dependency: /src/base/cba/cbaCom.cGenerating dependency: /src/base/cba/cbaCba.cGenerating dependency: /src/base/cba/cbaBlast.cGenerating dependency: /src/base/bac/bacWriteVer.cGenerating dependency: /src/base/bac/bacWriteSmt.cGenerating dependency: /src/base/bac/bacWriteBlif.cGenerating dependency: /src/base/bac/bacReadVer.cGenerating dependency: /src/base/bac/bacReadSmt.cGenerating dependency: /src/base/bac/bacReadBlif.cGenerating dependency: /src/base/bac/bacPtrAbc.cGenerating dependency: /src/base/bac/bacPtr.cGenerating dependency: /src/base/bac/bacPrsTrans.cGenerating dependency: /src/base/bac/bacPrsBuild.cGenerating dependency: /src/base/bac/bacNtk.cGenerating dependency: /src/base/bac/bacLib.cGenerating dependency: /src/base/bac/bacCom.cGenerating dependency: /src/base/bac/bacBac.cGenerating dependency: /src/base/bac/bacBlast.cGenerating dependency: /src/base/acb/acbUtil.cGenerating dependency: /src/base/acb/acbTest.cGenerating dependency: /src/base/acb/acbSets.cGenerating dependency: /src/base/acb/acbPush.cGenerating dependency: /src/base/acb/acbMfs.cGenerating dependency: /src/base/acb/acbFunc.cGenerating dependency: /src/base/acb/acbCom.cGenerating dependency: /src/base/acb/acbAig.cGenerating dependency: /src/base/acb/acbAbc.cGenerating dependency: /src/base/wln/wlnWriteVer.cGenerating dependency: /src/base/wln/wlnWlc.cGenerating dependency: /src/base/wln/wlnRetime.cGenerating dependency: /src/base/wln/wlnObj.cGenerating dependency: /src/base/wln/wlnNtk.cGenerating dependency: /src/base/wln/wlnNdr.cGenerating dependency: /src/base/wln/wlnMem.cGenerating dependency: /src/base/wln/wln.cGenerating dependency: /src/base/wlc/wlcWriteVer.cGenerating dependency: /src/base/wlc/wlcWin.cGenerating dependency: /src/base/wlc/wlcUif.cGenerating dependency: /src/base/wlc/wlcStdin.cGenerating dependency: /src/base/wlc/wlcShow.cGenerating dependency: /src/base/wlc/wlcSim.cGenerating dependency: /src/base/wlc/wlcReadVer.cGenerating dependency: /src/base/wlc/wlcReadSmt.cGenerating dependency: /src/base/wlc/wlcNtk.cGenerating dependency: /src/base/wlc/wlcNdr.cGenerating dependency: /src/base/wlc/wlcMem.cGenerating dependency: /src/base/wlc/wlcJson.cGenerating dependency: /src/base/wlc/wlcGraft.cGenerating dependency: /src/base/wlc/wlcCom.cGenerating dependency: /src/base/wlc/wlcBlast.cGenerating dependency: /src/base/wlc/wlcPth.cGenerating dependency: /src/base/wlc/wlcAbc.cGenerating dependency: /src/base/wlc/wlcAbs2.cGenerating dependency: /src/base/wlc/wlcAbs.cGenerating dependency: /src/base/ver/verStream.cGenerating dependency: /src/base/ver/verParse.cGenerating dependency: /src/base/ver/verFormula.cGenerating dependency: /src/base/ver/verCore.cGenerating dependency: /src/base/exor/exorUtil.cGenerating dependency: /src/base/exor/exorList.cGenerating dependency: /src/base/exor/exorLink.cGenerating dependency: /src/base/exor/exorCubes.cGenerating dependency: /src/base/exor/exorBits.cGenerating dependency: /src/base/exor/exor.cGenerating dependency: /src/base/main/mainUtils.cGenerating dependency: /src/base/main/libSupport.cGenerating dependency: /src/base/main/mainReal.cGenerating dependency: /src/base/main/mainLib.cGenerating dependency: /src/base/main/mainInit.cGenerating dependency: /src/base/main/mainFrame.cGenerating dependency: /src/base/main/main.cGenerating dependency: /src/base/io/ioWriteSmv.cGenerating dependency: /src/base/io/ioWriteVerilog.cGenerating dependency: /src/base/io/ioWritePla.cGenerating dependency: /src/base/io/ioWriteList.cGenerating dependency: /src/base/io/ioWriteGml.cGenerating dependency: /src/base/io/ioWriteEqn.cGenerating dependency: /src/base/io/ioWriteDot.cGenerating dependency: /src/base/io/ioWriteCnf.cGenerating dependency: /src/base/io/ioWriteBook.cGenerating dependency: /src/base/io/ioWriteBlifMv.cGenerating dependency: /src/base/io/ioWriteBlif.cGenerating dependency: /src/base/io/ioWriteBench.cGenerating dependency: /src/base/io/ioWriteBblif.cGenerating dependency: /src/base/io/ioWriteBaf.cGenerating dependency: /src/base/io/ioWriteAiger.cGenerating dependency: /src/base/io/ioUtil.cGenerating dependency: /src/base/io/ioReadVerilog.cGenerating dependency: /src/base/io/ioReadPlaMo.cGenerating dependency: /src/base/io/ioReadPla.cGenerating dependency: /src/base/io/ioReadEqn.cGenerating dependency: /src/base/io/ioReadEdif.cGenerating dependency: /src/base/io/ioReadDsd.cGenerating dependency: /src/base/io/ioReadBlifMv.cGenerating dependency: /src/base/io/ioReadBlifAig.cGenerating dependency: /src/base/io/ioReadBlif.cGenerating dependency: /src/base/io/ioReadBench.cGenerating dependency: /src/base/io/ioReadBblif.cGenerating dependency: /src/base/io/ioReadBaf.cGenerating dependency: /src/base/io/ioReadAiger.cGenerating dependency: /src/base/io/ioJson.cGenerating dependency: /src/base/io/io.cGenerating dependency: /src/base/cmd/cmdUtils.cGenerating dependency: /src/base/cmd/cmdStarter.cGenerating dependency: /src/base/cmd/cmdPlugin.cGenerating dependency: /src/base/cmd/cmdLoad.cGenerating dependency: /src/base/cmd/cmdHist.cGenerating dependency: /src/base/cmd/cmdFlag.cGenerating dependency: /src/base/cmd/cmdAuto.cGenerating dependency: /src/base/cmd/cmdApi.cGenerating dependency: /src/base/cmd/cmdAlias.cGenerating dependency: /src/base/cmd/cmd.cGenerating dependency: /src/base/abci/abcXsim.cGenerating dependency: /src/base/abci/abcVerify.cGenerating dependency: /src/base/abci/abcUnreach.cGenerating dependency: /src/base/abci/abcUnate.cGenerating dependency: /src/base/abci/abcTiming.cGenerating dependency: /src/base/abci/abcTim.cGenerating dependency: /src/base/abci/abcSymm.cGenerating dependency: /src/base/abci/abcSweep.cGenerating dependency: /src/base/abci/abcStrash.cGenerating dependency: /src/base/abci/abcSpeedup.cGenerating dependency: /src/base/abci/abcSense.cGenerating dependency: /src/base/abci/abcScorr.cGenerating dependency: /src/base/abci/abcSaucy.cGenerating dependency: /src/base/abci/abcSat.cGenerating dependency: /src/base/abci/abcRunGen.cGenerating dependency: /src/base/abci/abcRr.cGenerating dependency: /src/base/abci/abcRpo.cGenerating dependency: /src/base/abci/abcRewrite.cGenerating dependency: /src/base/abci/abcResub.cGenerating dependency: /src/base/abci/abcRestruct.cGenerating dependency: /src/base/abci/abcReorder.cGenerating dependency: /src/base/abci/abcRenode.cGenerating dependency: /src/base/abci/abcRefactor.cGenerating dependency: /src/base/abci/abcReach.cGenerating dependency: /src/base/abci/abcReconv.cGenerating dependency: /src/base/abci/abcRec3.cGenerating dependency: /src/base/abci/abcQuant.cGenerating dependency: /src/base/abci/abcQbf.cGenerating dependency: /src/base/abci/abcProve.cGenerating dependency: /src/base/abci/abcPrint.cGenerating dependency: /src/base/abci/abcPart.cGenerating dependency: /src/base/abci/abcOrder.cGenerating dependency: /src/base/abci/abcOdc.cGenerating dependency: /src/base/abci/abcNpnSave.cGenerating dependency: /src/base/abci/abcNpn.cGenerating dependency: /src/base/abci/abcNtbdd.cGenerating dependency: /src/base/abci/abcMulti.cGenerating dependency: /src/base/abci/abcMiter.cGenerating dependency: /src/base/abci/abcMini.cGenerating dependency: /src/base/abci/abcMfs.cGenerating dependency: /src/base/abci/abcMerge.cGenerating dependency: /src/base/abci/abcMap.cGenerating dependency: /src/base/abci/abcLutmin.cGenerating dependency: /src/base/abci/abcLut.cGenerating dependency: /src/base/abci/abcLog.cGenerating dependency: /src/base/abci/abcIvy.cGenerating dependency: /src/base/abci/abcIfMux.cGenerating dependency: /src/base/abci/abcIfif.cGenerating dependency: /src/base/abci/abcIf.cGenerating dependency: /src/base/abci/abcHaig.cGenerating dependency: /src/base/abci/abcGen.cGenerating dependency: /src/base/abci/abcFxu.cGenerating dependency: /src/base/abci/abcFx.cGenerating dependency: /src/base/abci/abcFraig.cGenerating dependency: /src/base/abci/abcExtract.cGenerating dependency: /src/base/abci/abcExact.cGenerating dependency: /src/base/abci/abcEco.cGenerating dependency: /src/base/abci/abcDsd.cGenerating dependency: /src/base/abci/abcDress3.cGenerating dependency: /src/base/abci/abcDress2.cGenerating dependency: /src/base/abci/abcDress.cGenerating dependency: /src/base/abci/abcDetect.cGenerating dependency: /src/base/abci/abcDec.cGenerating dependency: /src/base/abci/abcDebug.cGenerating dependency: /src/base/abci/abcDar.cGenerating dependency: /src/base/abci/abcCut.cGenerating dependency: /src/base/abci/abcCollapse.cGenerating dependency: /src/base/abci/abcCascade.cGenerating dependency: /src/base/abci/abcCas.cGenerating dependency: /src/base/abci/abcBmc.cGenerating dependency: /src/base/abci/abcBm.cGenerating dependency: /src/base/abci/abcBidec.cGenerating dependency: /src/base/abci/abcBalance.cGenerating dependency: /src/base/abci/abcAuto.cGenerating dependency: /src/base/abci/abcAttach.cGenerating dependency: /src/base/abci/abc.cGenerating dependency: /src/base/abc/abcUtil.cGenerating dependency: /src/base/abc/abcSop.cGenerating dependency: /src/base/abc/abcShow.cGenerating dependency: /src/base/abc/abcRefs.cGenerating dependency: /src/base/abc/abcObj.cGenerating dependency: /src/base/abc/abcNtk.cGenerating dependency: /src/base/abc/abcNetlist.cGenerating dependency: /src/base/abc/abcNames.cGenerating dependency: /src/base/abc/abcMinBase.cGenerating dependency: /src/base/abc/abcLib.cGenerating dependency: /src/base/abc/abcLatch.cGenerating dependency: /src/base/abc/abcHieNew.cGenerating dependency: /src/base/abc/abcHieGia.cGenerating dependency: /src/base/abc/abcHieCec.cGenerating dependency: /src/base/abc/abcHie.cGenerating dependency: /src/base/abc/abcFunc.cGenerating dependency: /src/base/abc/abcFanOrder.cGenerating dependency: /src/base/abc/abcFanio.cGenerating dependency: /src/base/abc/abcDfs.cGenerating dependency: /src/base/abc/abcCheck.cGenerating dependency: /src/base/abc/abcBlifMv.cGenerating dependency: /src/base/abc/abcBarBuf.cGenerating dependency: /src/base/abc/abcAig.cGenerating dependency: /src/sat/glucose2/System2.cppGenerating dependency: /src/sat/glucose2/SimpSolver2.cppGenerating dependency: /src/sat/glucose2/Options2.cppGenerating dependency: /src/sat/glucose2/Glucose2.cppGenerating dependency: /src/sat/glucose2/AbcGlucoseCmd2.cppGenerating dependency: /src/sat/glucose2/AbcGlucose2.cppGenerating dependency: /src/sat/glucose/System.cppGenerating dependency: /src/sat/glucose/SimpSolver.cppGenerating dependency: /src/sat/glucose/Options.cppGenerating dependency: /src/sat/glucose/Glucose.cppGenerating dependency: /src/sat/glucose/AbcGlucoseCmd.cppGenerating dependency: /src/sat/glucose/AbcGlucose.cpp Using CC=gcc Using CXX=g++ Using AR=ar Using LD=g++ Compiling with CUDD Using libreadline Using pthreads Found GCC_VERSION 9 Found GCC_MAJOR>=5 Using CFLAGS=-U_FORTIFY_SOURCE -fstack-protector -Wall -Wunused-but-set-parameter -Wno-free-nonheap-object -fno-omit-frame-pointer -g0 -O2 -D_FORTIFY_SOURCE=1 -DNDEBUG -ffunction-sections -fdata-sections -fno-canonical-system-headers -Wno-builtin-macro-redefined -D__DATE__=redacted -D__TIMESTAMP__=redacted -D__TIME__=redacted -Wno-sign-compare -Wno-comment -Dredacted=0 -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare -DLIN64 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 -DSIZEOF_INT=4 -DABC_USE_CUDD=1 -DABC_USE_READLINE -DABC_USE_PTHREADS -Wno-unused-but-set-variableCompiling: /src/sat/glucose/AbcGlucose.cppCompiling: /src/sat/glucose/AbcGlucoseCmd.cppCompiling: /src/sat/glucose/Glucose.cppCompiling: /src/sat/glucose/Options.cppCompiling: /src/sat/glucose/SimpSolver.cppCompiling: /src/sat/glucose/System.cppCompiling: /src/sat/glucose2/AbcGlucose2.cppCompiling: /src/sat/glucose2/AbcGlucoseCmd2.cppCompiling: /src/sat/glucose2/Glucose2.cppCompiling: /src/sat/glucose2/Options2.cppCompiling: /src/sat/glucose2/SimpSolver2.cppCompiling: /src/sat/glucose2/System2.cppCompiling: /src/base/abc/abcAig.cCompiling: /src/base/abc/abcBarBuf.cCompiling: /src/base/abc/abcBlifMv.cCompiling: /src/base/abc/abcCheck.cCompiling: /src/base/abc/abcDfs.c In file included from ./src/map/if/if.h:39, from ./src/base/main/mainInt.h:31, from src/sat/glucose/AbcGlucoseCmd.cpp:22: ./src/misc/util/utilTruth.h: In function 'int Abc_TtCheckCondDep(word*, int, int)': ./src/misc/util/utilTruth.h:1618:9: warning: unused variable 'nVarsMax' [-Wunused-variable] 1618 | int nVarsMax = 13; | ^~~~~~~~Compiling: /src/base/abc/abcFanio.c src/sat/glucose/Glucose.cpp: In member function 'Gluco::lbool Gluco::Solver::solve_()': src/sat/glucose/Glucose.cpp:1296:13: warning: unused variable 'callback_result' [-Wunused-variable] 1296 | int callback_result = pCnfFunc(pCnfMan, message, pCex); | ^~~~~~~~~~~~~~~ In file included from ./src/sat/bsat/satSolver.h:33, from ./src/proof/fra/fra.h:37, from ./src/base/main/mainInt.h:35, from src/sat/glucose/AbcGlucoseCmd.cpp:22: ./src/misc/util/utilDouble.h: In function 'void Xdbl_Test()': ./src/misc/util/utilDouble.h:182:10: warning: unused variable 'ten100' [-Wunused-variable] 182 | xdbl ten100 = Xdbl_FromDouble( 1e100 ); | ^~~~~~ ./src/misc/util/utilDouble.h:183:10: warning: unused variable 'ten100_' [-Wunused-variable] 183 | xdbl ten100_ = ABC_CONST(0x014c924d692ca61b); | ^~~~~~~ In file included from ./src/sat/glucose/Sort.h:24, from src/sat/glucose/Glucose.cpp:32: ./src/sat/glucose/Vec.h: In instantiation of 'void Gluco::vec<T>::capacity(int) [with T = Gluco::vecGluco::Solver::Watcher]': ./src/sat/glucose/Vec.h:118:5: required from 'void Gluco::vec<T>::growTo(int) [with T = Gluco::vecGluco::Solver::Watcher]' ./src/sat/glucose/SolverTypes.h:294:39: required from 'void Gluco::OccLists<Idx, Vec, Deleted>::init(const Idx&) [with Idx = Gluco::Lit; Vec = Gluco::vecGluco::Solver::Watcher; Deleted = Gluco::Solver::WatcherDeleted]' src/sat/glucose/Glucose.cpp:205:35: required from here ./src/sat/glucose/Vec.h:102:55: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'class Gluco::vecGluco::Solver::Watcher'; use 'new' and 'delete' instead [-Wclass-memaccess] 102 | if (add > INT_MAX - cap || (((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM)) | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from ./src/sat/glucose/Sort.h:24, from src/sat/glucose/Glucose.cpp:32: ./src/sat/glucose/Vec.h:40:7: note: 'class Gluco::vecGluco::Solver::Watcher' declared here 40 | class vec { | ^~~ In file included from ./src/map/if/if.h:39, from ./src/base/main/mainInt.h:31, from src/sat/glucose2/AbcGlucoseCmd2.cpp:22: ./src/misc/util/utilTruth.h: In function 'int Abc_TtCheckCondDep(word*, int, int)': ./src/misc/util/utilTruth.h:1618:9: warning: unused variable 'nVarsMax' [-Wunused-variable] 1618 | int nVarsMax = 13; | ^~~~~~~~ In file included from ./src/sat/glucose/Sort.h:24, from src/sat/glucose/SimpSolver.cpp:21: ./src/sat/glucose/Vec.h: In instantiation of 'void Gluco::vec<T>::capacity(int) [with T = Gluco::vec]': ./src/sat/glucose/Vec.h:118:5: required from 'void Gluco::vec<T>::growTo(int) [with T = Gluco::vec ]' ./src/sat/glucose/SolverTypes.h:294:39: required from 'void Gluco::OccLists<Idx, Vec, Deleted>::init(const Idx&) [with Idx = int; Vec = Gluco::vec ; Deleted = Gluco::SimpSolver::ClauseDeleted]' src/sat/glucose/SimpSolver.cpp:88:26: required from here ./src/sat/glucose/Vec.h:102:55: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'class Gluco::vec '; use 'new' and 'delete' instead [-Wclass-memaccess] 102 | if (add > INT_MAX - cap || (((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM)) | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from ./src/sat/glucose/Sort.h:24, from src/sat/glucose/SimpSolver.cpp:21: ./src/sat/glucose/Vec.h:40:7: note: 'class Gluco::vec ' declared here 40 | class vec { | ^~~ src/sat/glucose2/Glucose2.cpp: In member function 'Gluco2::lbool Gluco2::Solver::solve_()': src/sat/glucose2/Glucose2.cpp:1500:13: warning: unused variable 'callback_result' [-Wunused-variable] 1500 | int callback_result = pCnfFunc(pCnfMan, message, pCex); | ^~~~~~~~~~~~~~~ src/sat/glucose/AbcGlucose.cpp: In function 'void Gia_ManQuantLoadCnf(Gia_Man_t*, Vec_Int_t*, bmcg_sat_solver**)': src/sat/glucose/AbcGlucose.cpp:1221:17: warning: unused variable 'RetValue' [-Wunused-variable] 1221 | int RetValue = bmcg_sat_solver_addclause( pSats[0], &Lit, 1 ); | ^~~~~~~~ In file included from ./src/sat/bsat/satSolver.h:33, from ./src/proof/fra/fra.h:37, from ./src/base/main/mainInt.h:35, from src/sat/glucose2/AbcGlucoseCmd2.cpp:22: ./src/misc/util/utilDouble.h: In function 'void Xdbl_Test()': ./src/misc/util/utilDouble.h:182:10: warning: unused variable 'ten100' [-Wunused-variable] 182 | xdbl ten100 = Xdbl_FromDouble( 1e100 ); | ^~~~~~ ./src/misc/util/utilDouble.h:183:10: warning: unused variable 'ten100_' [-Wunused-variable] 183 | xdbl ten100_ = ABC_CONST(0x014c924d692ca61b); | ^~~~~~~ Compiling: /src/base/abc/abcFanOrder.c In file included from ./src/sat/glucose2/Sort.h:24, from src/sat/glucose2/SimpSolver2.cpp:21: ./src/sat/glucose2/Vec.h: In instantiation of 'void Gluco2::vec<T>::prelocate(int) [with T = Gluco2::vec<Gluco2::Solver::Watcher>]': ./src/sat/glucose2/SolverTypes.h:301:38: required from 'void Gluco2::OccLists<Idx, Vec, Deleted>::prelocate(int) [with Idx = Gluco2::Lit; Vec = Gluco2::vec<Gluco2::Solver::Watcher>; Deleted = Gluco2::Solver::WatcherDeleted]' ./src/sat/glucose2/CGlucoseCore.h:601:43: required from here ./src/sat/glucose2/Vec.h:111:53: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'class Gluco2::vec<Gluco2::Solver::Watcher>'; use 'new' and 'delete' instead [-Wclass-memaccess] 111 | if (ext_cap > INT_MAX || (((data = (T*)::realloc(data, ext_cap * sizeof(T))) == NULL) && errno == ENOMEM)) | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from ./src/sat/glucose2/Sort.h:24, from src/sat/glucose2/SimpSolver2.cpp:21: ./src/sat/glucose2/Vec.h:40:7: note: 'class Gluco2::vec<Gluco2::Solver::Watcher>' declared here 40 | class vec { | ^~~ In file included from ./src/sat/glucose2/Sort.h:24, from src/sat/glucose2/SimpSolver2.cpp:21: ./src/sat/glucose2/Vec.h: In instantiation of 'void Gluco2::vec<T>::prelocate(int) [with T = Gluco2::vec<unsigned int>]': ./src/sat/glucose2/SolverTypes.h:301:38: required from 'void Gluco2::OccLists<Idx, Vec, Deleted>::prelocate(int) [with Idx = int; Vec = Gluco2::vec<unsigned int>; Deleted = Gluco2::SimpSolver::ClauseDeleted]' ./src/sat/glucose2/SimpSolver.h:78:48: required from here ./src/sat/glucose2/Vec.h:111:53: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'class Gluco2::vec<unsigned int>'; use 'new' and 'delete' instead [-Wclass-memaccess] 111 | if (ext_cap > INT_MAX || (((data = (T*)::realloc(data, ext_cap * sizeof(T))) == NULL) && errno == ENOMEM)) | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from ./src/sat/glucose2/Sort.h:24, from src/sat/glucose2/SimpSolver2.cpp:21: ./src/sat/glucose2/Vec.h:40:7: note: 'class Gluco2::vec<unsigned int>' declared here 40 | class vec { | ^~~ In file included from ./src/sat/glucose2/Sort.h:24, from src/sat/glucose2/SimpSolver2.cpp:21: ./src/sat/glucose2/Vec.h: In instantiation of 'void Gluco2::vec<T>::capacity(int) [with T = Gluco2::vec<unsigned int>]': ./src/sat/glucose2/Vec.h:128:5: required from 'void Gluco2::vec<T>::growTo(int) [with T = Gluco2::vec<unsigned int>]' ./src/sat/glucose2/SolverTypes.h:300:39: required from 'void Gluco2::OccLists<Idx, Vec, Deleted>::init(const Idx&) [with Idx = int; Vec = Gluco2::vec<unsigned int>; Deleted = Gluco2::SimpSolver::ClauseDeleted]' src/sat/glucose2/SimpSolver2.cpp:89:26: required from here ./src/sat/glucose2/Vec.h:104:55: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'class Gluco2::vec<unsigned int>'; use 'new' and 'delete' instead [-Wclass-memaccess] 104 | if (add > INT_MAX - cap || (((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM)) | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from ./src/sat/glucose2/Sort.h:24, from src/sat/glucose2/SimpSolver2.cpp:21: ./src/sat/glucose2/Vec.h:40:7: note: 'class Gluco2::vec<unsigned int>' declared here 40 | class vec { | ^~~ In file included from ./src/sat/glucose2/Sort.h:24, from src/sat/glucose2/Glucose2.cpp:31: ./src/sat/glucose2/Vec.h: In instantiation of 'void Gluco2::vec<T>::prelocate(int) [with T = Gluco2::vec<Gluco2::Solver::Watcher>]': ./src/sat/glucose2/SolverTypes.h:301:38: required from 'void Gluco2::OccLists<Idx, Vec, Deleted>::prelocate(int) [with Idx = Gluco2::Lit; Vec = Gluco2::vec<Gluco2::Solver::Watcher>; Deleted = Gluco2::Solver::WatcherDeleted]' ./src/sat/glucose2/CGlucoseCore.h:601:43: required from here ./src/sat/glucose2/Vec.h:111:53: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'class Gluco2::vec<Gluco2::Solver::Watcher>'; use 'new' and 'delete' instead [-Wclass-memaccess] 111 | if (ext_cap > INT_MAX || (((data = (T*)::realloc(data, ext_cap * sizeof(T))) == NULL) && errno == ENOMEM)) | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from ./src/sat/glucose2/Sort.h:24, from src/sat/glucose2/Glucose2.cpp:31: ./src/sat/glucose2/Vec.h:40:7: note: 'class Gluco2::vec<Gluco2::Solver::Watcher>' declared here 40 | class vec { | ^~~ In file included from ./src/sat/glucose2/Sort.h:24, from src/sat/glucose2/Glucose2.cpp:31: ./src/sat/glucose2/Vec.h: In instantiation of 'void Gluco2::vec<T>::capacity(int) [with T = Gluco2::vec<Gluco2::Solver::Watcher>]': ./src/sat/glucose2/Vec.h:128:5: required from 'void Gluco2::vec<T>::growTo(int) [with T = Gluco2::vec<Gluco2::Solver::Watcher>]' ./src/sat/glucose2/SolverTypes.h:300:39: required from 'void Gluco2::OccLists<Idx, Vec, Deleted>::init(const Idx&) [with Idx = Gluco2::Lit; Vec = Gluco2::vec<Gluco2::Solver::Watcher>; Deleted = Gluco2::Solver::WatcherDeleted]' src/sat/glucose2/Glucose2.cpp:225:35: required from here ./src/sat/glucose2/Vec.h:104:55: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'class Gluco2::vec<Gluco2::Solver::Watcher>'; use 'new' and 'delete' instead [-Wclass-memaccess] 104 | if (add > INT_MAX - cap || (((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM)) | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from ./src/sat/glucose2/Sort.h:24, from src/sat/glucose2/Glucose2.cpp:31: ./src/sat/glucose2/Vec.h:40:7: note: 'class Gluco2::vec<Gluco2::Solver::Watcher>' declared here 40 | class vec { | ^~~Compiling: /src/base/abc/abcFunc.cCompiling: /src/base/abc/abcHie.cCompiling: /src/base/abc/abcHieCec.c src/sat/glucose2/AbcGlucose2.cpp: In function 'void Gia_ManQuantLoadCnf2(Gia_Man_t*, Vec_Int_t*, bmcg2_sat_solver**)': src/sat/glucose2/AbcGlucose2.cpp:1229:17: warning: unused variable 'RetValue' [-Wunused-variable] 1229 | int RetValue = bmcg2_sat_solver_addclause( pSats[0], &Lit, 1 ); | ^~~~~~~~ In file included from ./src/sat/glucose2/Options.h:31, from src/sat/glucose2/AbcGlucose2.cpp:23: ./src/sat/glucose2/Vec.h: In instantiation of 'void Gluco2::vec<T>::prelocate(int) [with T = Gluco2::vecGluco2::Solver::Watcher]': ./src/sat/glucose2/SolverTypes.h:301:38: required from 'void Gluco2::OccLists<Idx, Vec, Deleted>::prelocate(int) [with Idx = Gluco2::Lit; Vec = Gluco2::vecGluco2::Solver::Watcher; Deleted = Gluco2::Solver::WatcherDeleted]' ./src/sat/glucose2/CGlucoseCore.h:601:43: required from here ./src/sat/glucose2/Vec.h:111:53: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'class Gluco2::vecGluco2::Solver::Watcher'; use 'new' and 'delete' instead [-Wclass-memaccess] 111 | if (ext_cap > INT_MAX || (((data = (T*)::realloc(data, ext_cap * sizeof(T))) == NULL) && errno == ENOMEM)) | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from ./src/sat/glucose2/Options.h:31, from src/sat/glucose2/AbcGlucose2.cpp:23: ./src/sat/glucose2/Vec.h:40:7: note: 'class Gluco2::vecGluco2::Solver::Watcher' declared here 40 | class vec { | ^~~ In file included from ./src/sat/glucose2/Options.h:31, from src/sat/glucose2/AbcGlucose2.cpp:23: ./src/sat/glucose2/Vec.h: In instantiation of 'void Gluco2::vec<T>::prelocate(int) [with T = Gluco2::vec]': ./src/sat/glucose2/SolverTypes.h:301:38: required from 'void Gluco2::OccLists<Idx, Vec, Deleted>::prelocate(int) [with Idx = int; Vec = Gluco2::vec ; Deleted = Gluco2::SimpSolver::ClauseDeleted]' ./src/sat/glucose2/SimpSolver.h:78:48: required from here ./src/sat/glucose2/Vec.h:111:53: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'class Gluco2::vec '; use 'new' and 'delete' instead [-Wclass-memaccess] 111 | if (ext_cap > INT_MAX || (((data = (T*)::realloc(data, ext_cap * sizeof(T))) == NULL) && errno == ENOMEM)) | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from ./src/sat/glucose2/Options.h:31, from src/sat/glucose2/AbcGlucose2.cpp:23: ./src/sat/glucose2/Vec.h:40:7: note: 'class Gluco2::vec ' declared here 40 | class vec { | ^~~ Compiling: /src/base/abc/abcHieGia.cCompiling: /src/base/abc/abcHieNew.cCompiling: /src/base/abc/abcLatch.cCompiling: /src/base/abc/abcLib.cCompiling: /src/base/abc/abcMinBase.cCompiling: /src/base/abc/abcNames.cCompiling: /src/base/abc/abcNetlist.cCompiling: /src/base/abc/abcNtk.cCompiling: /src/base/abc/abcObj.cCompiling: /src/base/abc/abcRefs.c src/base/abc/abcNames.c: In function 'Abc_NtkAddDummyPiNames': src/base/abc/abcNames.c:125:25: warning: '%0d' directive writing between 1 and 2147483647 bytes into a region of size 1998 [-Wformat-overflow=] 125 | sprintf( Buffer, "%s%0d", pPrefix, nDigits, Num ); | ^~~~ src/base/abc/abcNames.c:125:22: note: directive argument in the range [0, 2147483647] 125 | sprintf( Buffer, "%s%0d", pPrefix, nDigits, Num ); | ^~~~~~~~ In file included from /usr/include/stdio.h:867, from src/base/abc/abc.h:29, from src/base/abc/abcNames.c:21: /usr/include/x86_64-linux-gnu/bits/stdio2.h:36:10: note: '__builtin___sprintf_chk' output between 4 and 2147483650 bytes into a destination of size 2000 36 | return __builtin___sprintf_chk (__s, __USE_FORTIFY_LEVEL - 1, | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 37 | __bos (__s), __fmt, __va_arg_pack ()); | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ src/base/abc/abcNames.c: In function 'Abc_NtkAddDummyPoNames': src/base/abc/abcNames.c:125:25: warning: '%0d' directive writing between 1 and 2147483647 bytes into a region of size 1998 [-Wformat-overflow=] 125 | sprintf( Buffer, "%s%0d", pPrefix, nDigits, Num ); | ^~~~ src/base/abc/abcNames.c:125:22: note: directive argument in the range [0, 2147483647] 125 | sprintf( Buffer, "%s%0d", pPrefix, nDigits, Num ); | ^~~~~~~~ In file included from /usr/include/stdio.h:867, from src/base/abc/abc.h:29, from src/base/abc/abcNames.c:21: /usr/include/x86_64-linux-gnu/bits/stdio2.h:36:10: note: 'builtin___sprintf_chk' output between 4 and 2147483650 bytes into a destination of size 2000 36 | return builtin___sprintf_chk (s, USE_FORTIFY_LEVEL - 1, | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 37 | bos (s), fmt, va_arg_pack ()); | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~Compiling: /src/base/abc/abcShow.c src/base/abc/abcNames.c: In function 'Abc_NtkAddDummyBoxNames': src/base/abc/abcNames.c:125:25: warning: '%0*d' directive writing between 1 and 2147483647 bytes into a region of size 1999 [-Wformat-overflow=] 125 | sprintf( Buffer, "%s%0*d", pPrefix, nDigits, Num ); | ^~~~ src/base/abc/abcNames.c:125:22: note: directive argument in the range [0, 2147483647] 125 | sprintf( Buffer, "%s%0*d", pPrefix, nDigits, Num ); | ^~~~~~~~ In file included from /usr/include/stdio.h:867, from src/base/abc/abc.h:29, from src/base/abc/abcNames.c:21: /usr/include/x86_64-linux-gnu/bits/stdio2.h:36:10: note: '__builtin___sprintf_chk' output between 3 and 2147483649 bytes into a destination of size 2000 36 | return __builtin___sprintf_chk (__s, __USE_FORTIFY_LEVEL - 1, | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 37 | __bos (__s), __fmt, __va_arg_pack ()); | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ src/base/abc/abcNames.c:125:25: warning: '%0*d' directive writing between 1 and 2147483647 bytes into a region of size between 1901 and 2000 [-Wformat-overflow=] 125 | sprintf( Buffer, "%s%0*d", pPrefix, nDigits, Num ); | ^~~~ src/base/abc/abcNames.c:125:22: note: directive argument in the range [0, 2147483647] 125 | sprintf( Buffer, "%s%0*d", pPrefix, nDigits, Num ); | ^~~~~~~~ In file included from /usr/include/stdio.h:867, from src/base/abc/abc.h:29, from src/base/abc/abcNames.c:21: /usr/include/x86_64-linux-gnu/bits/stdio2.h:36:10: note: '__builtin___sprintf_chk' output between 2 and 2147483747 bytes into a destination of size 2000 36 | return __builtin___sprintf_chk (__s, __USE_FORTIFY_LEVEL - 1, | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 37 | __bos (__s), __fmt, __va_arg_pack ()); | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ src/base/abc/abcNames.c:125:25: warning: '%0*d' directive writing between 1 and 2147483647 bytes into a region of size between 1901 and 2000 [-Wformat-overflow=] 125 | sprintf( Buffer, "%s%0*d", pPrefix, nDigits, Num ); | ^~~~ src/base/abc/abcNames.c:125:22: note: directive argument in the range [0, 2147483647] 125 | sprintf( Buffer, "%s%0*d", pPrefix, nDigits, Num ); | ^~~~~~~~ In file included from /usr/include/stdio.h:867, from src/base/abc/abc.h:29, from src/base/abc/abcNames.c:21: /usr/include/x86_64-linux-gnu/bits/stdio2.h:36:10: note: '__builtin___sprintf_chk' output between 2 and 2147483747 bytes into a destination of size 2000 36 | return __builtin___sprintf_chk (__s, __USE_FORTIFY_LEVEL - 1, | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 37 | __bos (__s), __fmt, __va_arg_pack ()); | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~Compiling: /src/base/abc/abcSop.cCompiling: /src/base/abc/abcUtil.cCompiling: /src/base/abci/abc.cCompiling: /src/base/abci/abcAttach.c src/base/abc/abcSop.c: In function 'Abc_SopEncoderLog': src/base/abc/abcSop.c:1096:33: warning: unused variable 'nBits' [-Wunused-variable] 1096 | int v, Counter, fFirst = 1, nBits = Abc_Base2Log(nValues); | ^~~~~Compiling: /src/base/abci/abcAuto.c In file included from ./src/map/if/if.h:39, from ./src/base/main/mainInt.h:31, from src/base/abci/abc.c:23: ./src/misc/util/utilTruth.h: In function 'Abc_TtCheckCondDep': ./src/misc/util/utilTruth.h:1618:9: warning: unused variable 'nVarsMax' [-Wunused-variable] 1618 | int nVarsMax = 13; | ^~~~~~~~Compiling: /src/base/abci/abcBalance.c In file included from ./src/sat/bsat/satSolver.h:33, from ./src/proof/fra/fra.h:37, from ./src/base/main/mainInt.h:35, from src/base/abci/abc.c:23: ./src/misc/util/utilDouble.h: In function 'Xdbl_Test': ./src/misc/util/utilDouble.h:183:10: warning: unused variable 'ten100_' [-Wunused-variable] 183 | xdbl ten100_ = ABC_CONST(0x014c924d692ca61b); | ^~~~~~~ ./src/misc/util/utilDouble.h:182:10: warning: unused variable 'ten100' [-Wunused-variable] 182 | xdbl ten100 = Xdbl_FromDouble( 1e100 ); | ^~~~~~Compiling: /src/base/abci/abcBidec.cCompiling: /src/base/abci/abcBm.cCompiling: /src/base/abci/abcBmc.cCompiling: /src/base/abci/abcCas.cCompiling: /src/base/abci/abcCascade.c In file included from ./src/sat/bsat/satSolver.h:33, from src/base/abci/abcBm.c:32: ./src/misc/util/utilDouble.h: In function 'Xdbl_Test': ./src/misc/util/utilDouble.h:183:10: warning: unused variable 'ten100' [-Wunused-variable] 183 | xdbl ten100 = ABC_CONST(0x014c924d692ca61b); | ^~~~~~~ ./src/misc/util/utilDouble.h:182:10: warning: unused variable 'ten100' [-Wunused-variable] 182 | xdbl ten100 = Xdbl_FromDouble( 1e100 ); | ^~~~~~Compiling: /src/base/abci/abcCollapse.cCompiling: /src/base/abci/abcCut.cCompiling: /src/base/abci/abcDar.cCompiling: /src/base/abci/abcDebug.cCompiling: /src/base/abci/abcDec.c In file included from ./src/sat/bsat/satSolver.h:33, from ./src/sat/bsat/satStore.h:36, from src/base/abci/abcCollapse.c:25: ./src/misc/util/utilDouble.h: In function 'Xdbl_Test': ./src/misc/util/utilDouble.h:183:10: warning: unused variable 'ten100_' [-Wunused-variable] 183 | xdbl ten100_ = ABC_CONST(0x014c924d692ca61b); | ^~~~~~~ ./src/misc/util/utilDouble.h:182:10: warning: unused variable 'ten100' [-Wunused-variable] 182 | xdbl ten100 = Xdbl_FromDouble( 1e100 ); | ^~~~~~ In file included from ./src/sat/bsat/satSolver.h:33, from ./src/proof/fra/fra.h:37, from src/base/abci/abcDar.c:26: ./src/misc/util/utilDouble.h: In function 'Xdbl_Test': ./src/misc/util/utilDouble.h:183:10: warning: unused variable 'ten100_' [-Wunused-variable] 183 | xdbl ten100_ = ABC_CONST(0x014c924d692ca61b); | ^~~~~~~ ./src/misc/util/utilDouble.h:182:10: warning: unused variable 'ten100' [-Wunused-variable] 182 | xdbl ten100 = Xdbl_FromDouble( 1e100 ); | ^~~~~~Compiling: /src/base/abci/abcDetect.cCompiling: /src/base/abci/abcDress.c In file included from src/base/abci/abcDec.c:28: ./src/misc/util/utilTruth.h: In function 'Abc_TtCheckCondDep': ./src/misc/util/utilTruth.h:1618:9: warning: unused variable 'nVarsMax' [-Wunused-variable] 1618 | int nVarsMax = 13; | ^~~~~~~~Compiling: /src/base/abci/abcDress2.cCompiling: /src/base/abci/abcDress3.c In file included from ./src/sat/bsat/satSolver.h:33, from ./src/sat/bsat/satStore.h:36, from src/base/abci/abcDetect.c:25: ./src/misc/util/utilDouble.h: In function 'Xdbl_Test': ./src/misc/util/utilDouble.h:183:10: warning: unused variable 'ten100_' [-Wunused-variable] 183 | xdbl ten100_ = ABC_CONST(0x014c924d692ca61b); | ^~~~~~~ ./src/misc/util/utilDouble.h:182:10: warning: unused variable 'ten100' [-Wunused-variable] 182 | xdbl ten100 = Xdbl_FromDouble( 1e100 ); | ^~~~~~ src/base/abci/abcDetect.c: In function 'Abc_NtkFinSimulateOne': src/base/abci/abcDetect.c:789:9: warning: unused variable 'nItems' [-Wunused-variable] 789 | int nItems = Vec_WecSizeSize(vRes); | ^~~~~~Compiling: /src/base/abci/abcDsd.cCompiling: /src/base/abci/abcEco.cCompiling: /src/base/abci/abcExact.cCompiling: /src/base/abci/abcExtract.c In file included from src/base/abci/abcExact.c:28: ./src/misc/util/utilTruth.h: In function 'Abc_TtCheckCondDep': ./src/misc/util/utilTruth.h:1618:9: warning: unused variable 'nVarsMax' [-Wunused-variable] 1618 | int nVarsMax = 13; | ^~~~~~~~Compiling: /src/base/abci/abcFraig.cCompiling: /src/base/abci/abcFx.c In file included from ./src/sat/bsat/satSolver.h:33, from src/base/abci/abcExact.c:32: ./src/misc/util/utilDouble.h: In function 'Xdbl_Test': ./src/misc/util/utilDouble.h:183:10: warning: unused variable 'ten100_' [-Wunused-variable] 183 | xdbl ten100_ = ABC_CONST(0x014c924d692ca61b); | ^~~~~~~ ./src/misc/util/utilDouble.h:182:10: warning: unused variable 'ten100' [-Wunused-variable] 182 | xdbl ten100 = Xdbl_FromDouble( 1e100 ); | ^~~~~~ src/base/abci/abcExact.c: In function 'Abc_ExactStoreTest': src/base/abci/abcExact.c:2987:9: warning: unused variable 'Cost' [-Wunused-variable] 2987 | int Cost = 0; | ^~~~ src/base/abci/abcExact.c:2986:10: warning: unused variable 'pPerm' [-Wunused-variable] 2986 | char pPerm[4] = {0}; | ^~~~~ src/base/abci/abcExact.c:2981:10: warning: unused variable 'pTruth' [-Wunused-variable] 2981 | word pTruth[4] = {0xcafe, 0, 0, 0}; | ^~~~~~Compiling: /src/base/abci/abcFxu.c src/base/abci/abcFx.c: In function 'Fx_ManUpdate': src/base/abci/abcFx.c:970:11: warning: unused variable 'Diff' [-Wunused-variable] 970 | float Diff = Vec_FltEntry(p->vWeights, iDiv) - (float)((int)Vec_FltEntry(p->vWeights, iDiv)); | ^~~~Compiling: /src/base/abci/abcGen.cCompiling: /src/base/abci/abcHaig.cCompiling: /src/base/abci/abcIf.cCompiling: /src/base/abci/abcIfif.cCompiling: /src/base/abci/abcIfMux.c In file included from ./src/map/if/if.h:39, from src/base/abci/abcIfif.c:22: ./src/misc/util/utilTruth.h: In function 'Abc_TtCheckCondDep': ./src/misc/util/utilTruth.h:1618:9: warning: unused variable 'nVarsMax' [-Wunused-variable] 1618 | int nVarsMax = 13; | ^~~~~~~~ In file included from ./src/map/if/if.h:39, from src/base/abci/abcIf.c:23: ./src/misc/util/utilTruth.h: In function 'Abc_TtCheckCondDep': ./src/misc/util/utilTruth.h:1618:9: warning: unused variable 'nVarsMax' [-Wunused-variable] 1618 | int nVarsMax = 13; | ^~~~~~~~ In file included from ./src/map/if/if.h:39, from src/base/abci/abcIfMux.c:22: ./src/misc/util/utilTruth.h: In function 'Abc_TtCheckCondDep': ./src/misc/util/utilTruth.h:1618:9: warning: unused variable 'nVarsMax' [-Wunused-variable] 1618 | int nVarsMax = 13; | ^~~~~~~~ src/base/abci/abcIf.c: In function 'Abc_NtkIf': src/base/abci/abcIf.c:156:23: warning: unused variable 'p' [-Wunused-variable] 156 | If_DsdMan_t * p = (If_DsdMan_t *)Abc_FrameReadManDsd(); | ^Compiling: /src/base/abci/abcIvy.cCompiling: /src/base/abci/abcLog.cCompiling: /src/base/abci/abcLut.cCompiling: /src/base/abci/abcLutmin.c In file included from ./src/sat/bsat/satSolver.h:33, from ./src/proof/fra/fra.h:37, from src/base/abci/abcIvy.c:23: ./src/misc/util/utilDouble.h: In function 'Xdbl_Test': ./src/misc/util/utilDouble.h:183:10: warning: unused variable 'ten100_' [-Wunused-variable] 183 | xdbl ten100_ = ABC_CONST(0x014c924d692ca61b); | ^~~~~~~ ./src/misc/util/utilDouble.h:182:10: warning: unused variable 'ten100' [-Wunused-variable] 182 | xdbl ten100 = Xdbl_FromDouble( 1e100 ); | ^~~~~~Compiling: /src/base/abci/abcMap.cCompiling: /src/base/abci/abcMerge.cCompiling: /src/base/abci/abcMfs.cCompiling: /src/base/abci/abcMini.cCompiling: /src/base/abci/abcMiter.cCompiling: /src/base/abci/abcMulti.cCompiling: /src/base/abci/abcNtbdd.c In file included from ./src/sat/bsat/satSolver.h:33, from ./src/sat/bsat/satStore.h:36, from src/base/abci/abcMiter.c:24: ./src/misc/util/utilDouble.h: In function 'Xdbl_Test': ./src/misc/util/utilDouble.h:183:10: warning: unused variable 'ten100' [-Wunused-variable] 183 | xdbl ten100 = ABC_CONST(0x014c924d692ca61b); | ^~~~~~~ ./src/misc/util/utilDouble.h:182:10: warning: unused variable 'ten100' [-Wunused-variable] 182 | xdbl ten100 = Xdbl_FromDouble( 1e100 ); | ^~~~~~Compiling: /src/base/abci/abcNpn.cCompiling: /src/base/abci/abcNpnSave.cCompiling: /src/base/abci/abcOdc.cCompiling: /src/base/abci/abcOrder.cCompiling: /src/base/abci/abcPart.cCompiling: /src/base/abci/abcPrint.cCompiling: /src/base/abci/abcProve.cCompiling: /src/base/abci/abcQbf.cCompiling: /src/base/abci/abcQuant.cCompiling: /src/base/abci/abcRec3.cCompiling: /src/base/abci/abcReconv.cCompiling: /src/base/abci/abcReach.cCompiling: /src/base/abci/abcRefactor.cCompiling: /src/base/abci/abcRenode.c In file included from ./src/map/if/if.h:39, from src/base/abci/abcPrint.c:27: ./src/misc/util/utilTruth.h: In function 'Abc_TtCheckCondDep': ./src/misc/util/utilTruth.h:1618:9: warning: unused variable 'nVarsMax' [-Wunused-variable] 1618 | int nVarsMax = 13; | ^~~~~~~~ In file included from ./src/map/if/if.h:39, from src/base/abci/abcRec3.c:22: ./src/misc/util/utilTruth.h: In function 'Abc_TtCheckCondDep': ./src/misc/util/utilTruth.h:1618:9: warning: unused variable 'nVarsMax' [-Wunused-variable] 1618 | int nVarsMax = 13; | ^~~~~~~~Compiling: /src/base/abci/abcReorder.cCompiling: /src/base/abci/abcRestruct.c In file included from ./src/map/if/if.h:39, from src/base/abci/abcRenode.c:22: ./src/misc/util/utilTruth.h: In function 'Abc_TtCheckCondDep': ./src/misc/util/utilTruth.h:1618:9: warning: unused variable 'nVarsMax' [-Wunused-variable] 1618 | int nVarsMax = 13; | ^~~~~~~~Compiling: /src/base/abci/abcResub.cCompiling: /src/base/abci/abcRewrite.cCompiling: /src/base/abci/abcRpo.cCompiling: /src/base/abci/abcRr.cCompiling: /src/base/abci/abcRunGen.cCompiling: /src/base/abci/abcSat.cCompiling: /src/base/abci/abcSaucy.cCompiling: /src/base/abci/abcScorr.cCompiling: /src/base/abci/abcSense.cCompiling: /src/base/abci/abcSpeedup.c In file included from ./src/sat/bsat/satSolver.h:33, from src/base/abci/abcSat.c:24: ./src/misc/util/utilDouble.h: In function 'Xdbl_Test': ./src/misc/util/utilDouble.h:183:10: warning: unused variable 'ten100' [-Wunused-variable] 183 | xdbl ten100 = ABC_CONST(0x014c924d692ca61b); | ^~~~~~~ ./src/misc/util/utilDouble.h:182:10: warning: unused variable 'ten100' [-Wunused-variable] 182 | xdbl ten100 = Xdbl_FromDouble( 1e100 ); | ^~~~~~Compiling: /src/base/abci/abcStrash.cCompiling: /src/base/abci/abcSweep.c In file included from ./src/map/if/if.h:39, from src/base/abci/abcSpeedup.c:23: ./src/misc/util/utilTruth.h: In function 'Abc_TtCheckCondDep': ./src/misc/util/utilTruth.h:1618:9: warning: unused variable 'nVarsMax' [-Wunused-variable] 1618 | int nVarsMax = 13; | ^~~~~~~~Compiling: /src/base/abci/abcSymm.cCompiling: /src/base/abci/abcTim.cCompiling: /src/base/abci/abcTiming.cCompiling: /src/base/abci/abcUnate.c In file included from src/base/abci/abcSymm.c:24: ./src/misc/util/utilTruth.h: In function 'Abc_TtCheckCondDep': ./src/misc/util/utilTruth.h:1618:9: warning: unused variable 'nVarsMax' [-Wunused-variable] 1618 | int nVarsMax = 13; | ^~~~~~~~ src/base/abci/abcResub.c: In function 'Abc_ManResubDivs12.isra.0': src/base/abci/abcResub.c:1367:20: warning: 'w' may be used uninitialized in this function [-Wmaybe-uninitialized] 1367 | if ( w == p->nWords ) | ^Compiling: /src/base/abci/abcUnreach.cCompiling: /src/base/abci/abcVerify.cCompiling: /src/base/abci/abcXsim.cCompiling: /src/base/cmd/cmd.cCompiling: /src/base/cmd/cmdAlias.cCompiling: /src/base/cmd/cmdApi.cCompiling: /src/base/cmd/cmdAuto.c In file included from ./src/map/if/if.h:39, from ./src/base/main/mainInt.h:31, from src/base/cmd/cmd.c:28: ./src/misc/util/utilTruth.h: In function 'Abc_TtCheckCondDep': ./src/misc/util/utilTruth.h:1618:9: warning: unused variable 'nVarsMax' [-Wunused-variable] 1618 | int nVarsMax = 13; | ^~~~~~~~Compiling: /src/base/cmd/cmdFlag.c In file included from ./src/map/if/if.h:39, from ./src/base/main/mainInt.h:31, from src/base/cmd/cmdInt.h:29, from src/base/cmd/cmdAlias.c:22: ./src/misc/util/utilTruth.h: In function 'Abc_TtCheckCondDep': ./src/misc/util/utilTruth.h:1618:9: warning: unused variable 'nVarsMax' [-Wunused-variable] 1618 | int nVarsMax = 13; | ^~~~~~~~ In file included from ./src/sat/bsat/satSolver.h:33, from ./src/proof/fra/fra.h:37, from ./src/base/main/mainInt.h:35, from src/base/cmd/cmd.c:28: ./src/misc/util/utilDouble.h: In function 'Xdbl_Test': ./src/misc/util/utilDouble.h:183:10: warning: unused variable 'ten100' [-Wunused-variable] 183 | xdbl ten100 = ABC_CONST(0x014c924d692ca61b); | ^~~~~~~ ./src/misc/util/utilDouble.h:182:10: warning: unused variable 'ten100' [-Wunused-variable] 182 | xdbl ten100 = Xdbl_FromDouble( 1e100 ); | ^~~~~~ In file included from ./src/map/if/if.h:39, from ./src/base/main/mainInt.h:31, from src/base/cmd/cmdApi.c:22: ./src/misc/util/utilTruth.h: In function 'Abc_TtCheckCondDep': ./src/misc/util/utilTruth.h:1618:9: warning: unused variable 'nVarsMax' [-Wunused-variable] 1618 | int nVarsMax = 13; | ^~~~~~~~Compiling: /src/base/cmd/cmdHist.c In file included from ./src/sat/bsat/satSolver.h:33, from ./src/proof/fra/fra.h:37, from ./src/base/main/mainInt.h:35, from src/base/cmd/cmdInt.h:29, from src/base/cmd/cmdAlias.c:22: ./src/misc/util/utilDouble.h: In function 'Xdbl_Test': ./src/misc/util/utilDouble.h:183:10: warning: unused variable 'ten100_' [-Wunused-variable] 183 | xdbl ten100_ = ABC_CONST(0x014c924d692ca61b); | ^~~~~~~ ./src/misc/util/utilDouble.h:182:10: warning: unused variable 'ten100' [-Wunused-variable] 182 | xdbl ten100 = Xdbl_FromDouble( 1e100 ); | ^~~~~~Compiling: /src/base/cmd/cmdLoad.c In file included from ./src/sat/bsat/satSolver.h:33, from ./src/proof/fra/fra.h:37, from ./src/base/main/mainInt.h:35, from src/base/cmd/cmdApi.c:22: ./src/misc/util/utilDouble.h: In function 'Xdbl_Test': ./src/misc/util/utilDouble.h:183:10: warning: unused variable 'ten100' [-Wunused-variable] 183 | xdbl ten100 = ABC_CONST(0x014c924d692ca61b); | ^~~~~~~ ./src/misc/util/utilDouble.h:182:10: warning: unused variable 'ten100' [-Wunused-variable] 182 | xdbl ten100 = Xdbl_FromDouble( 1e100 ); | ^~~~~~Compiling: /src/base/cmd/cmdPlugin.c In file included from ./src/map/if/if.h:39, from ./src/base/main/mainInt.h:31, from src/base/cmd/cmdFlag.c:22: ./src/misc/util/utilTruth.h: In function 'Abc_TtCheckCondDep': ./src/misc/util/utilTruth.h:1618:9: warning: unused variable 'nVarsMax' [-Wunused-variable] 1618 | int nVarsMax = 13; | ^~~~~~~~Compiling: /src/base/cmd/cmdStarter.c In file included from ./src/sat/bsat/satSolver.h:33, from ./src/proof/fra/fra.h:37, from ./src/base/main/mainInt.h:35, from src/base/cmd/cmdFlag.c:22: ./src/misc/util/utilDouble.h: In function 'Xdbl_Test': ./src/misc/util/utilDouble.h:183:10: warning: unused variable 'ten100' [-Wunused-variable] 183 | xdbl ten100 = ABC_CONST(0x014c924d692ca61b); | ^~~~~~~ ./src/misc/util/utilDouble.h:182:10: warning: unused variable 'ten100' [-Wunused-variable] 182 | xdbl ten100 = Xdbl_FromDouble( 1e100 ); | ^~~~~~ In file included from ./src/map/if/if.h:39, from ./src/base/main/mainInt.h:31, from src/base/cmd/cmdHist.c:22: ./src/misc/util/utilTruth.h: In function 'Abc_TtCheckCondDep': ./src/misc/util/utilTruth.h:1618:9: warning: unused variable 'nVarsMax' [-Wunused-variable] 1618 | int nVarsMax = 13; | ^~~~~~~~Compiling: /src/base/cmd/cmdUtils.cCompiling: /src/base/io/io.cCompiling: /src/base/io/ioJson.cCompiling: /src/base/io/ioReadAiger.c In file included from ./src/map/if/if.h:39, from ./src/base/main/mainInt.h:31, from src/base/cmd/cmdLoad.c:22: ./src/misc/util/utilTruth.h: In function 'Abc_TtCheckCondDep': ./src/misc/util/utilTruth.h:1618:9: warning: unused variable 'nVarsMax' [-Wunused-variable] 1618 | int nVarsMax = 13; | ^~~~~~~~ In file included from ./src/sat/bsat/satSolver.h:33, from ./src/proof/fra/fra.h:37, from ./src/base/main/mainInt.h:35, from src/base/cmd/cmdHist.c:22: ./src/misc/util/utilDouble.h: In function 'Xdbl_Test': ./src/misc/util/utilDouble.h:183:10: warning: unused variable 'ten100' [-Wunused-variable] 183 | xdbl ten100 = ABC_CONST(0x014c924d692ca61b); | ^~~~~~~ ./src/misc/util/utilDouble.h:182:10: warning: unused variable 'ten100' [-Wunused-variable] 182 | xdbl ten100 = Xdbl_FromDouble( 1e100 ); | ^~~~~~ In file included from ./src/map/if/if.h:39, from ./src/base/main/mainInt.h:31, from src/base/cmd/cmdPlugin.c:29: ./src/misc/util/utilTruth.h: In function 'Abc_TtCheckCondDep': ./src/misc/util/utilTruth.h:1618:9: warning: unused variable 'nVarsMax' [-Wunused-variable] 1618 | int nVarsMax = 13; | ^~~~~~~~ In file included from ./src/sat/bsat/satSolver.h:33, from ./src/proof/fra/fra.h:37, from ./src/base/main/mainInt.h:35, from src/base/cmd/cmdLoad.c:22: ./src/misc/util/utilDouble.h: In function 'Xdbl_Test': ./src/misc/util/utilDouble.h:183:10: warning: unused variable 'ten100' [-Wunused-variable] 183 | xdbl ten100 = ABC_CONST(0x014c924d692ca61b); | ^~~~~~~ ./src/misc/util/utilDouble.h:182:10: warning: unused variable 'ten100' [-Wunused-variable] 182 | xdbl ten100 = Xdbl_FromDouble( 1e100 ); | ^~~~~~Compiling: /src/base/io/ioReadBaf.cCompiling: /src/base/io/ioReadBblif.cCompiling: /src/base/io/ioReadBench.cCompiling: /src/base/io/ioReadBlif.c In file included from ./src/sat/bsat/satSolver.h:33, from ./src/proof/fra/fra.h:37, from ./src/base/main/mainInt.h:35, from src/base/cmd/cmdPlugin.c:29: ./src/misc/util/utilDouble.h: In function 'Xdbl_Test': ./src/misc/util/utilDouble.h:183:10: warning: unused variable 'ten100_' [-Wunused-variable] 183 | xdbl ten100_ = ABC_CONST(0x014c924d692ca61b); | ^~~~~~~ ./src/misc/util/utilDouble.h:182:10: warning: unused variable 'ten100' [-Wunused-variable] 182 | xdbl ten100 = Xdbl_FromDouble( 1e100 ); | ^~~~~~ In file included from ./src/map/if/if.h:39, from ./src/base/main/mainInt.h:31, from src/base/cmd/cmdUtils.c:22: ./src/misc/util/utilTruth.h: In function 'Abc_TtCheckCondDep': ./src/misc/util/utilTruth.h:1618:9: warning: unused variable 'nVarsMax' [-Wunused-variable] 1618 | int nVarsMax = 13; | ^~~~~~~~Compiling: /src/base/io/ioReadBlifAig.c In file included from ./src/map/if/if.h:39, from ./src/base/main/mainInt.h:31, from src/base/io/io.c:22: ./src/misc/util/utilTruth.h: In function 'Abc_TtCheckCondDep': ./src/misc/util/utilTruth.h:1618:9: warning: unused variable 'nVarsMax' [-Wunused-variable] 1618 | int nVarsMax = 13; | ^~~~~~~~Compiling: /src/base/io/ioReadBlifMv.c In file included from ./src/sat/bsat/satSolver.h:33, from ./src/proof/fra/fra.h:37, from ./src/base/main/mainInt.h:35, from src/base/cmd/cmdUtils.c:22: ./src/misc/util/utilDouble.h: In function 'Xdbl_Test': ./src/misc/util/utilDouble.h:183:10: warning: unused variable 'ten100_' [-Wunused-variable] 183 | xdbl ten100_ = ABC_CONST(0x014c924d692ca61b); | ^~~~~~~ ./src/misc/util/utilDouble.h:182:10: warning: unused variable 'ten100' [-Wunused-variable] 182 | xdbl ten100 = Xdbl_FromDouble( 1e100 ); | ^~~~~~ In file included from ./src/sat/bsat/satSolver.h:33, from ./src/proof/fra/fra.h:37, from ./src/base/main/mainInt.h:35, from src/base/io/io.c:22: ./src/misc/util/utilDouble.h: In function 'Xdbl_Test': ./src/misc/util/utilDouble.h:183:10: warning: unused variable 'ten100_' [-Wunused-variable] 183 | xdbl ten100_ = ABC_CONST(0x014c924d692ca61b); | ^~~~~~~ ./src/misc/util/utilDouble.h:182:10: warning: unused variable 'ten100' [-Wunused-variable] 182 | xdbl ten100 = Xdbl_FromDouble( 1e100 ); | ^~~~~~ src/base/cmd/cmdUtils.c: In function 'CmdCommandPrint': src/base/cmd/cmdUtils.c:592:60: warning: format '%s' expects argument of type 'char ', but argument 3 has type 'int' [-Wformat=] 592 | fprintf( pAbc->Out, " Welcome to ABC compiled on %s %s!", DATE, TIME ); | ~^ | | | char * | %d src/base/cmd/cmdUtils.c:592:63: warning: format '%s' expects argument of type 'char ', but argument 4 has type 'int' [-Wformat=] 592 | fprintf( pAbc->Out, " Welcome to ABC compiled on %s %s!", DATE, TIME ); | ~^ | | | char * | %dCompiling: /src/base/io/ioReadDsd.cCompiling: /src/base/io/ioReadEdif.cCompiling: /src/base/io/ioReadEqn.cCompiling: /src/base/io/ioReadPla.c src/base/cmd/cmdUtils.c:592:5: warning: '%s' directive argument is null [-Wformat-overflow=] 592 | fprintf( pAbc->Out, " Welcome to ABC compiled on %s %s!", DATE, TIME ); | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ src/base/cmd/cmdUtils.c:592:5: warning: '%s' directive argument is null [-Wformat-overflow=]Compiling: /src/base/io/ioReadPlaMo.cCompiling: /src/base/io/ioReadVerilog.cCompiling: /src/base/io/ioUtil.cCompiling: /src/base/io/ioWriteAiger.cCompiling: /src/base/io/ioWriteBaf.cCompiling: /src/base/io/ioWriteBblif.c In file included from src/base/io/ioReadPla.c:22: ./src/misc/util/utilTruth.h: In function 'Abc_TtCheckCondDep': ./src/misc/util/utilTruth.h:1618:9: warning: unused variable 'nVarsMax' [-Wunused-variable] 1618 | int nVarsMax = 13; | ^~~~~~~~Compiling: /src/base/io/ioWriteBench.c In file included from src/base/io/ioReadPlaMo.c:22: ./src/misc/util/utilTruth.h: In function 'Abc_TtCheckCondDep': ./src/misc/util/utilTruth.h:1618:9: warning: unused variable 'nVarsMax' [-Wunused-variable] 1618 | int nVarsMax = 13; | ^~~~~~~~Compiling: /src/base/io/ioWriteBlif.c src/base/io/ioUtil.c: In function 'Io_TransformSF2PLA': src/base/io/ioUtil.c:902:20: warning: unused variable 'pRes' [-Wunused-variable] 902 | char * pRes = fgets(pBuffer, Size, pFileIn); | ^~~~ src/base/io/ioReadPlaMo.c: In function 'Mop_ManReduce2': src/base/io/ioReadPlaMo.c:662:9: warning: unused variable 'Removed' [-Wunused-variable] 662 | int Removed = Mop_ManUnCreateGroups( p, vGroups ); | ^~~~~~~Compiling: /src/base/io/ioWriteBlifMv.cCompiling: /src/base/io/ioWriteBook.cCompiling: /src/base/io/ioWriteCnf.c In file included from ./src/map/if/if.h:39, from src/base/io/ioWriteBlif.c:25: ./src/misc/util/utilTruth.h: In function 'Abc_TtCheckCondDep': ./src/misc/util/utilTruth.h:1618:9: warning: unused variable 'nVarsMax' [-Wunused-variable] 1618 | int nVarsMax = 13; | ^~~~~~~~Compiling: /src/base/io/ioWriteDot.cCompiling: /src/base/io/ioWriteEqn.cCompiling: /src/base/io/ioWriteGml.c In file included from ./src/sat/bsat/satSolver.h:33, from src/base/io/ioWriteCnf.c:22: ./src/misc/util/utilDouble.h: In function 'Xdbl_Test': ./src/misc/util/utilDouble.h:183:10: warning: unused variable 'ten100_' [-Wunused-variable] 183 | xdbl ten100_ = ABC_CONST(0x014c924d692ca61b); | ^~~~~~~ ./src/misc/util/utilDouble.h:182:10: warning: unused variable 'ten100' [-Wunused-variable] 182 | xdbl ten100 = Xdbl_FromDouble( 1e100 ); | ^~~~~~ src/base/abci/abc.c: In function 'Abc_CommandAbc9Put': src/base/abci/abc.c:30575:43: warning: '%0d' directive writing between 1 and 2147483647 bytes into a region of size 97 [-Wformat-overflow=] 30575 | sprintf( pSuffix, "_li%0d", nDigits, i-Abc_NtkPoNum(pNtk) ); | ^~~~ src/base/abci/abc.c:30575:39: note: directive argument in the range [-2147483647, 2147483647] 30575 | sprintf( pSuffix, "_li%0d", nDigits, i-Abc_NtkPoNum(pNtk) ); | ^~~~~~~~~ In file included from /usr/include/stdio.h:867, from ./src/base/abc/abc.h:29, from src/base/abci/abc.c:21: /usr/include/x86_64-linux-gnu/bits/stdio2.h:36:10: note: '__builtin___sprintf_chk' output between 5 and 2147483651 bytes into a destination of size 100 36 | return __builtin___sprintf_chk (__s, __USE_FORTIFY_LEVEL - 1, | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 37 | __bos (__s), __fmt, __va_arg_pack ()); | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~Compiling: /src/base/io/ioWritePla.cCompiling: /src/base/io/ioWriteList.cCompiling: /src/base/io/ioWriteVerilog.cCompiling: /src/base/io/ioWriteSmv.c src/base/io/ioReadPla.c: In function 'Io_ReadPla': src/base/io/ioReadPla.c:451:40: warning: '%0d' directive writing between 1 and 2147483647 bytes into a region of size 99 [-Wformat-overflow=] 451 | sprintf( Buffer, "x%0d", nDigits, i ); | ^~~~ src/base/io/ioReadPla.c:451:38: note: directive argument in the range [0, 2147483646] 451 | sprintf( Buffer, "x%0d", nDigits, i ); | ^~~~~~~ In file included from /usr/include/stdio.h:867, from ./src/base/abc/abc.h:29, from src/base/io/ioAbc.h:29, from src/base/io/ioReadPla.c:21: /usr/include/x86_64-linux-gnu/bits/stdio2.h:36:10: note: '__builtin___sprintf_chk' output between 3 and 2147483649 bytes into a destination of size 100 36 | return __builtin___sprintf_chk (__s, __USE_FORTIFY_LEVEL - 1, | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 37 | __bos (__s), __fmt, va_arg_pack ()); | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ src/base/io/ioReadPla.c:468:40: warning: '%0d' directive writing between 1 and 2147483647 bytes into a region of size 99 [-Wformat-overflow=] 468 | sprintf( Buffer, "z%0d", nDigits, i ); | ^~~~ src/base/io/ioReadPla.c:468:38: note: directive argument in the range [0, 2147483646] 468 | sprintf( Buffer, "z%0d", nDigits, i ); | ^~~~~~~ In file included from /usr/include/stdio.h:867, from ./src/base/abc/abc.h:29, from src/base/io/ioAbc.h:29, from src/base/io/ioReadPla.c:21: /usr/include/x86_64-linux-gnu/bits/stdio2.h:36:10: note: '__builtin___sprintf_chk' output between 3 and 2147483649 bytes into a destination of size 100 36 | return __builtin___sprintf_chk (__s, __USE_FORTIFY_LEVEL - 1, | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 37 | __bos (__s), fmt, va_arg_pack ()); | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~Compiling: /src/base/main/main.cCompiling: /src/base/main/mainFrame.cCompiling: /src/base/main/mainInit.cCompiling: /src/base/main/mainLib.cCompiling: /src/base/main/mainReal.cCompiling: /src/base/main/libSupport.cCompiling: /src/base/main/mainUtils.c In file included from ./src/map/if/if.h:39, from src/base/main/mainInt.h:31, from src/base/main/mainFrame.c:22: ./src/misc/util/utilTruth.h: In function 'Abc_TtCheckCondDep': ./src/misc/util/utilTruth.h:1618:9: warning: unused variable 'nVarsMax' [-Wunused-variable] 1618 | int nVarsMax = 13; | ^~~~~~~~Compiling: /src/base/exor/exor.c In file included from ./src/map/if/if.h:39, from src/base/main/mainInt.h:31, from src/base/main/mainInit.c:22: ./src/misc/util/utilTruth.h: In function 'Abc_TtCheckCondDep': ./src/misc/util/utilTruth.h:1618:9: warning: unused variable 'nVarsMax' [-Wunused-variable] 1618 | int nVarsMax = 13; | ^~~~~~~~Compiling: /src/base/exor/exorBits.cCompiling: /src/base/exor/exorCubes.c In file included from ./src/sat/bsat/satSolver.h:33, from ./src/proof/fra/fra.h:37, from src/base/main/mainInt.h:35, from src/base/main/mainFrame.c:22: ./src/misc/util/utilDouble.h: In function 'Xdbl_Test': ./src/misc/util/utilDouble.h:183:10: warning: unused variable 'ten100' [-Wunused-variable] 183 | xdbl ten100 = ABC_CONST(0x014c924d692ca61b); | ^~~~~~~ ./src/misc/util/utilDouble.h:182:10: warning: unused variable 'ten100' [-Wunused-variable] 182 | xdbl ten100 = Xdbl_FromDouble( 1e100 ); | ^~~~~~ In file included from ./src/map/if/if.h:39, from src/base/main/mainInt.h:31, from src/base/main/mainLib.c:22: ./src/misc/util/utilTruth.h: In function 'Abc_TtCheckCondDep': ./src/misc/util/utilTruth.h:1618:9: warning: unused variable 'nVarsMax' [-Wunused-variable] 1618 | int nVarsMax = 13; | ^~~~~~~~ In file included from ./src/map/if/if.h:39, from src/base/main/mainInt.h:31, from src/base/main/libSupport.c:25: ./src/misc/util/utilTruth.h: In function 'Abc_TtCheckCondDep': ./src/misc/util/utilTruth.h:1618:9: warning: unused variable 'nVarsMax' [-Wunused-variable] 1618 | int nVarsMax = 13; | ^~~~~~~~ In file included from ./src/map/if/if.h:39, from src/base/main/mainInt.h:31, from src/base/main/mainReal.c:57: ./src/misc/util/utilTruth.h: In function 'Abc_TtCheckCondDep': ./src/misc/util/utilTruth.h:1618:9: warning: unused variable 'nVarsMax' [-Wunused-variable] 1618 | int nVarsMax = 13; | ^~~~~~~~ In file included from ./src/sat/bsat/satSolver.h:33, from ./src/proof/fra/fra.h:37, from src/base/main/mainInt.h:35, from src/base/main/mainInit.c:22: ./src/misc/util/utilDouble.h: In function 'Xdbl_Test': ./src/misc/util/utilDouble.h:183:10: warning: unused variable 'ten100' [-Wunused-variable] 183 | xdbl ten100 = ABC_CONST(0x014c924d692ca61b); | ^~~~~~~ ./src/misc/util/utilDouble.h:182:10: warning: unused variable 'ten100' [-Wunused-variable] 182 | xdbl ten100 = Xdbl_FromDouble( 1e100 ); | ^~~~~~ In file included from ./src/map/if/if.h:39, from src/base/main/mainInt.h:31, from src/base/main/mainUtils.c:22: ./src/misc/util/utilTruth.h: In function 'Abc_TtCheckCondDep': ./src/misc/util/utilTruth.h:1618:9: warning: unused variable 'nVarsMax' [-Wunused-variable] 1618 | int nVarsMax = 13; | ^~~~~~~~Compiling: /src/base/exor/exorLink.c In file included from ./src/sat/bsat/satSolver.h:33, from ./src/proof/fra/fra.h:37, from src/base/main/mainInt.h:35, from src/base/main/mainLib.c:22: ./src/misc/util/utilDouble.h: In function 'Xdbl_Test': ./src/misc/util/utilDouble.h:183:10: warning: unused variable 'ten100_' [-Wunused-variable] 183 | xdbl ten100_ = ABC_CONST(0x014c924d692ca61b); | ^~~~~~~ ./src/misc/util/utilDouble.h:182:10: warning: unused variable 'ten100' [-Wunused-variable] 182 | xdbl ten100 = Xdbl_FromDouble( 1e100 ); | ^~~~~~ In file included from ./src/sat/bsat/satSolver.h:33, from ./src/proof/fra/fra.h:37, from src/base/main/mainInt.h:35, from src/base/main/libSupport.c:25: ./src/misc/util/utilDouble.h: In function 'Xdbl_Test': ./src/misc/util/utilDouble.h:183:10: warning: unused variable 'ten100_' [-Wunused-variable] 183 | xdbl ten100_ = ABC_CONST(0x014c924d692ca61b); | ^~~~~~~ ./src/misc/util/utilDouble.h:182:10: warning: unused variable 'ten100' [-Wunused-variable] 182 | xdbl ten100 = Xdbl_FromDouble( 1e100 ); | ^~~~~~ In file included from ./src/sat/bsat/satSolver.h:33, from ./src/proof/fra/fra.h:37, from src/base/main/mainInt.h:35, from src/base/main/mainReal.c:57: ./src/misc/util/utilDouble.h: In function 'Xdbl_Test': ./src/misc/util/utilDouble.h:183:10: warning: unused variable 'ten100_' [-Wunused-variable] 183 | xdbl ten100_ = ABC_CONST(0x014c924d692ca61b); | ^~~~~~~ ./src/misc/util/utilDouble.h:182:10: warning: unused variable 'ten100' [-Wunused-variable] 182 | xdbl ten100 = Xdbl_FromDouble( 1e100 ); | ^~~~~~ In file included from ./src/sat/bsat/satSolver.h:33, from ./src/proof/fra/fra.h:37, from src/base/main/mainInt.h:35, from src/base/main/mainUtils.c:22: ./src/misc/util/utilDouble.h: In function 'Xdbl_Test': ./src/misc/util/utilDouble.h:183:10: warning: unused variable 'ten100_' [-Wunused-variable] 183 | xdbl ten100_ = ABC_CONST(0x014c924d692ca61b); | ^~~~~~~ ./src/misc/util/utilDouble.h:182:10: warning: unused variable 'ten100' [-Wunused-variable] 182 | xdbl ten100 = Xdbl_FromDouble( 1e100 ); | ^~~~~~Compiling: /src/base/exor/exorList.cCompiling: /src/base/exor/exorUtil.c src/base/main/mainUtils.c: At top level: src/base/main/mainUtils.c:25:10: fatal error: readline/readline.h: No such file or directory 25 | #include <readline/readline.h> | ^~~~~~~~~~~~~~~~~~~~~ compilation terminated. make: *** [Makefile:176: src/base/main/mainUtils.o] Error 1 make: *** Waiting for unfinished jobs....Compiling: /src/base/ver/verCore.c src/base/exor/exorUtil.c: In function 'WriteResultIntoFile': src/base/exor/exorUtil.c:192:9: warning: argument 4 null where non-null expected [-Wnonnull] 192 | fprintf( pFile, "\n\nCannot open the output file\n" ); | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ src/base/exor/exorUtil.c:192:9: note: in a call to built-in function '__builtin_fwrite' src/base/abci/abc.c: In function 'Abc_CommandAbc9Cone': src/base/abci/abc.c:43683:34: warning: '%0d' directive writing between 1 and 2147483647 bytes into a region of size 999 [-Wformat-overflow=] 43683 | sprintf( Buffer, "%s%0*d.aig", Extra_FileNameGeneric(pAbc->pGia->pSpec), nDigits, i ); | ^~~~ src/base/abci/abc.c:43683:30: note: directive argument in the range [0, 2147483647] 43683 | sprintf( Buffer, "%s%0*d.aig", Extra_FileNameGeneric(pAbc->pGia->pSpec), nDigits, i ); | ^~~~~~~~~~~~~ In file included from /usr/include/stdio.h:867, from ./src/base/abc/abc.h:29, from src/base/abci/abc.c:21: /usr/include/x86_64-linux-gnu/bits/stdio2.h:36:10: note: '__builtin___sprintf_chk' output 7 or more bytes (assuming 2147483653) into a destination of size 1000 36 | return __builtin___sprintf_chk (__s, __USE_FORTIFY_LEVEL - 1, | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 37 | __bos (__s), __fmt, __va_arg_pack ()); | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ make: Leaving directory '/root/.cache/bazel/_bazel_root/a8c779df993a2004d73830004cc7dd84/sandbox/linux-sandbox/4506/execroot/com_google_fully_homomorphic_encryption/bazel-out/k8-opt-exec-2B5CBBC6/bin/external/abc/abc.build_tmpdir' _____ END BUILD LOGS _____ rules_foreign_cc: Build wrapper script location: bazel-out/k8-opt-exec-2B5CBBC6/bin/external/abc/abc_foreign_cc/wrapper_build_script.sh rules_foreign_cc: Build script location: bazel-out/k8-opt-exec-2B5CBBC6/bin/external/abc/abc_foreign_cc/build_script.sh rules_foreign_cc: Build log location: bazel-out/k8-opt-exec-2B5CBBC6/bin/external/abc/abc_foreign_cc/Make.log
Target //transpiler/examples/fibonacci:fibonacci_rs_main failed to build INFO: Elapsed time: 7804.087s, Critical Path: 354.75s INFO: 2322 processes: 117 internal, 2205 linux-sandbox. FAILED: Build did NOT complete successfully FAILED: Build did NOT complete successfully ubuntu@ip-172-31-6-221:~/fully-homomorphic-encryption$
In the last comment, the abc package failed to build because it was missing readline
src/base/main/mainUtils.c:25:10: fatal error: readline/readline.h: No such file or directory 25 | #include <readline/readline.h>
https://tiswww.case.edu/php/chet/readline/rltop.html
I will take a look at fixing this later this week, but if you're interested in using the transpiler, I'd recommend you try https://github.com/google/heir instead. The transpiler was a research prototype, and HEIR is our long-term plan for a production-ready compiler. If you provide some info in that repository about what you're trying to do with FHE, that can help us prioritize feature work there and/or guide you to how to use HEIR to achieve your goal.
I'm having the same problem, but without Docker.
$ bazel run //transpiler/examples/hangman:hangman_client
INFO: Repository com_grail_bazel_toolchain instantiated at:
/mnt/c/Users/me/Desktop/code/google-fhe-transpiler/WORKSPACE:94:13: in <toplevel>
Repository rule http_archive defined at:
/home/me/.cache/bazel/_bazel_me/069679ab93b285930585026b6970a05d/external/bazel_tools/tools/build_defs/repo/http.bzl:355:31: in <toplevel>
WARNING: Download from https://github.com/grailbio/bazel-toolchain/archive/refs/tags/0.8.zip failed: class com.google.devtools.build.lib.bazel.repository.downloader.UnrecoverableHttpException Checksum was 2dc9de41b115b43feed18a585061522e2ab828eac5a55213f6cb394dbb7e58f8 but wanted 06e1421091f153029c070f1ae364f8cb5a61dab20ede97a844a0f7bfcec632a4
ERROR: An error occurred during the fetch of repository 'com_grail_bazel_toolchain':
Traceback (most recent call last):
File "/home/me/.cache/bazel/_bazel_me/069679ab93b285930585026b6970a05d/external/bazel_tools/tools/build_defs/repo/http.bzl", line 125, column 45, in _http_archive_impl
download_info = ctx.download_and_extract(
Error in download_and_extract: java.io.IOException: Error downloading [https://github.com/grailbio/bazel-toolchain/archive/refs/tags/0.8.zip] to /home/me/.cache/bazel/_bazel_me/069679ab93b285930585026b6970a05d/external/com_grail_bazel_toolchain/temp7185931435083786301/0.8.zip: Checksum was 2dc9de41b115b43feed18a585061522e2ab828eac5a55213f6cb394dbb7e58f8 but wanted 06e1421091f153029c070f1ae364f8cb5a61dab20ede97a844a0f7bfcec632a4
ERROR: /mnt/c/Users/me/Desktop/code/google-fhe-transpiler/WORKSPACE:94:13: fetching http_archive rule //external:com_grail_bazel_toolchain: Traceback (most recent call last):
File "/home/me/.cache/bazel/_bazel_me/069679ab93b285930585026b6970a05d/external/bazel_tools/tools/build_defs/repo/http.bzl", line 125, column 45, in _http_archive_impl
download_info = ctx.download_and_extract(
Error in download_and_extract: java.io.IOException: Error downloading [https://github.com/grailbio/bazel-toolchain/archive/refs/tags/0.8.zip] to /home/me/.cache/bazel/_bazel_me/069679ab93b285930585026b6970a05d/external/com_grail_bazel_toolchain/temp7185931435083786301/0.8.zip: Checksum was 2dc9de41b115b43feed18a585061522e2ab828eac5a55213f6cb394dbb7e58f8 but wanted 06e1421091f153029c070f1ae364f8cb5a61dab20ede97a844a0f7bfcec632a4
ERROR: no such package '@com_grail_bazel_toolchain//toolchain': java.io.IOException: Error downloading [https://github.com/grailbio/bazel-toolchain/archive/refs/tags/0.8.zip] to /home/me/.cache/bazel/_bazel_me/069679ab93b285930585026b6970a05d/external/com_grail_bazel_toolchain/temp7185931435083786301/0.8.zip: Checksum was 2dc9de41b115b43feed18a585061522e2ab828eac5a55213f6cb394dbb7e58f8 but wanted 06e1421091f153029c070f1ae364f8cb5a61dab20ede97a844a0f7bfcec632a4
INFO: Elapsed time: 1.308s
INFO: 0 processes.
FAILED: Build did NOT complete successfully (0 packages loaded)
FAILED: Build did NOT complete successfully (0 packages loaded)
I was able to get the example to run with the following change
diff --git a/WORKSPACE b/WORKSPACE
index 40b254a..a96e5a3 100644
--- a/WORKSPACE
+++ b/WORKSPACE
@@ -93,8 +93,8 @@ http_archive(
# Toolchain to install LLVM, a requirements for XLS
http_archive(
name = "com_grail_bazel_toolchain",
- sha256 = "06e1421091f153029c070f1ae364f8cb5a61dab20ede97a844a0f7bfcec632a4",
- strip_prefix = "bazel-toolchain-0.8",
+ sha256 = "2dc9de41b115b43feed18a585061522e2ab828eac5a55213f6cb394dbb7e58f8",
+ strip_prefix = "toolchains_llvm-0.8",
urls = [
"https://github.com/grailbio/bazel-toolchain/archive/refs/tags/0.8.zip",
],