gitextract_qpsgp2_q/ ├── .clang-format ├── .dockerignore ├── .gitignore ├── .idea/ │ └── codeStyleSettings.xml ├── CMakeLists.txt ├── LICENSE.txt ├── README.md ├── cmake/ │ ├── add_jfs_unit_test.cmake │ ├── c_flags_override.cmake │ ├── compiler_warnings.cmake │ ├── cxx_flags_override.cmake │ ├── git_utils.cmake │ ├── jfs_add_component.cmake │ ├── jfs_component_add_cxx_flag.cmake │ ├── jfs_external_project_utils.cmake │ └── jfs_get_llvm_components.cmake ├── docs/ │ └── tutorial/ │ ├── 0-basics-example.smt2 │ ├── 0-basics.md │ ├── 1-setting-resource-limits.md │ ├── 2-compilation-options-and-runtimes.md │ ├── 3-resumming-fuzzing.md │ ├── 4-getting-models.md │ ├── 5-jfs-smt2cxx.md │ └── 6-jfs-opt.md ├── include/ │ └── jfs/ │ ├── CXXFuzzingBackend/ │ │ ├── CXXFuzzingSolver.h │ │ ├── CXXFuzzingSolverOptions.h │ │ ├── CXXProgram.h │ │ ├── CXXProgramBuilderOptions.h │ │ ├── CXXProgramBuilderPass.h │ │ ├── ClangInvocationManager.h │ │ ├── ClangOptions.h │ │ ├── CmdLine/ │ │ │ ├── CXXProgramBuilderOptionsBuilder.h │ │ │ ├── ClangOptionsBuilder.h │ │ │ └── CommandLineCategory.h │ │ └── JFSCXXProgramStat.h │ ├── Config/ │ │ ├── config.h.in │ │ ├── depsVersion.h.in │ │ └── version.h.in │ ├── Core/ │ │ ├── IfVerbose.h │ │ ├── JFSContext.h │ │ ├── JFSTimerMacros.h │ │ ├── Model.h │ │ ├── ModelValidator.h │ │ ├── Query.h │ │ ├── RNG.h │ │ ├── SMTLIB2Parser.h │ │ ├── ScopedJFSContextErrorHandler.h │ │ ├── SimpleModel.h │ │ ├── Solver.h │ │ ├── SolverOptions.h │ │ ├── ToolErrorHandler.h │ │ ├── Z3ASTCmp.h │ │ ├── Z3ASTVisitor.h │ │ ├── Z3Node.h │ │ ├── Z3NodeMap.h │ │ ├── Z3NodeSet.h │ │ └── Z3NodeUtil.h │ ├── FuzzingCommon/ │ │ ├── BufferAssignment.h │ │ ├── BufferElement.h │ │ ├── CmdLine/ │ │ │ ├── FreeVariableToBufferAssignmentPassOptionsBuilder.h │ │ │ ├── LibFuzzerOptionsBuilder.h │ │ │ └── SeedManagerOptionsBuilder.h │ │ ├── CommandLineCategory.h │ │ ├── DummyFuzzingSolver.h │ │ ├── EqualityExtractionPass.h │ │ ├── FileSerializableModel.h │ │ ├── FreeVariableToBufferAssignmentPass.h │ │ ├── FreeVariableToBufferAssignmentPassOptions.h │ │ ├── FuzzingAnalysisInfo.h │ │ ├── FuzzingSolver.h │ │ ├── FuzzingSolverOptions.h │ │ ├── JFSRuntimeFuzzingStat.h │ │ ├── LibFuzzerInvocationManager.h │ │ ├── LibFuzzerOptions.h │ │ ├── SeedGenerator.h │ │ ├── SeedManager.h │ │ ├── SeedManagerOptions.h │ │ ├── SeedManagerStat.h │ │ ├── SortConformanceCheckPass.h │ │ ├── SpecialConstantSeedGenerator.h │ │ ├── SpecialConstantSeedGeneratorStat.h │ │ └── WorkingDirectoryManager.h │ ├── Support/ │ │ ├── CancellableProcess.h │ │ ├── ErrorMessages.h │ │ ├── FileUtils.h │ │ ├── ICancellable.h │ │ ├── JFSStat.h │ │ ├── ScopedJFSTimerStatAppender.h │ │ ├── ScopedTimer.h │ │ ├── StatisticsManager.h │ │ ├── Timer.h │ │ └── version.h │ ├── Transform/ │ │ ├── AndHoistingPass.h │ │ ├── BitBlastPass.h │ │ ├── BvBoundPropagationPass.h │ │ ├── ConstantPropagationPass.h │ │ ├── DIMACSOutputPass.h │ │ ├── DuplicateConstraintEliminationPass.h │ │ ├── FpToBvPass.h │ │ ├── Passes.h │ │ ├── QueryPass.h │ │ ├── QueryPassManager.h │ │ ├── SimpleContradictionsToFalsePass.h │ │ ├── SimplificationPass.h │ │ ├── StandardPasses.h │ │ ├── TrueConstraintEliminationPass.h │ │ └── Z3QueryPass.h │ └── Z3Backend/ │ └── Z3Solver.h ├── lib/ │ ├── CMakeLists.txt │ ├── CXXFuzzingBackend/ │ │ ├── CMakeLists.txt │ │ ├── CXXFuzzingSolver.cpp │ │ ├── CXXFuzzingSolverOptions.cpp │ │ ├── CXXProgram.cpp │ │ ├── CXXProgramBuilderOptions.cpp │ │ ├── CXXProgramBuilderPass.cpp │ │ ├── CXXProgramBuilderPassImpl.cpp │ │ ├── CXXProgramBuilderPassImpl.h │ │ ├── ClangInvocationManager.cpp │ │ ├── ClangOptions.cpp │ │ ├── CmdLine/ │ │ │ ├── CMakeLists.txt │ │ │ ├── CXXProgramBuilderOptionsBuilder.cpp │ │ │ ├── ClangOptionsBuilder.cpp │ │ │ └── CommandLineCategory.cpp │ │ └── JFSCXXProgramStat.cpp │ ├── Core/ │ │ ├── CMakeLists.txt │ │ ├── JFSContext.cpp │ │ ├── Model.cpp │ │ ├── ModelValidator.cpp │ │ ├── Query.cpp │ │ ├── RNG.cpp │ │ ├── SMTLIB2Parser.cpp │ │ ├── SimpleModel.cpp │ │ ├── Solver.cpp │ │ ├── ToolErrorHandler.cpp │ │ ├── Z3ASTVisitor.cpp │ │ ├── Z3Node.cpp │ │ └── Z3NodeUtil.cpp │ ├── FuzzingCommon/ │ │ ├── BufferAssignment.cpp │ │ ├── BufferElement.cpp │ │ ├── CMakeLists.txt │ │ ├── CmdLine/ │ │ │ ├── CMakeLists.txt │ │ │ ├── FreeVariableToBufferAssignmentPassOptionsBuilder.cpp │ │ │ ├── LibFuzzerOptionsBuilder.cpp │ │ │ └── SeedManagerOptionsBuilder.cpp │ │ ├── CommandLineCategory.cpp │ │ ├── DummyFuzzingSolver.cpp │ │ ├── EqualityExtractionPass.cpp │ │ ├── FileSerializableModel.cpp │ │ ├── FreeVariableToBufferAssignmentPass.cpp │ │ ├── FreeVariableToBufferAssignmentPassOptions.cpp │ │ ├── FuzzingAnalysisInfo.cpp │ │ ├── FuzzingSolver.cpp │ │ ├── FuzzingSolverOptions.cpp │ │ ├── JFSRuntimeFuzzingStat.cpp │ │ ├── LibFuzzerInvocationManager.cpp │ │ ├── LibFuzzerOptions.cpp │ │ ├── SMTLIBRuntimes.cpp.in │ │ ├── SMTLIBRuntimes.h.in │ │ ├── SeedGenerator.cpp │ │ ├── SeedManager.cpp │ │ ├── SeedManagerStat.cpp │ │ ├── SortConformanceCheckPass.cpp │ │ ├── SpecialConstantSeedGenerator.cpp │ │ ├── SpecialConstantSeedGeneratorStat.cpp │ │ └── WorkingDirectoryManager.cpp │ ├── Support/ │ │ ├── CMakeLists.txt │ │ ├── CancellableProcess.cpp │ │ ├── ErrorMessages.cpp │ │ ├── FileUtils.cpp │ │ ├── ICancellable.cpp │ │ ├── JFSStat.cpp │ │ ├── ScopedTimer.cpp │ │ ├── StatisticsManager.cpp │ │ ├── Timer.cpp │ │ └── version.cpp │ ├── Transform/ │ │ ├── AndHoistingPass.cpp │ │ ├── BitBlastPass.cpp │ │ ├── BvBoundPropagationPass.cpp │ │ ├── CMakeLists.txt │ │ ├── ConstantPropagationPass.cpp │ │ ├── DIMACSOutputPass.cpp │ │ ├── DuplicateConstraintEliminationPass.cpp │ │ ├── FpToBvPass.cpp │ │ ├── QueryPassManager.cpp │ │ ├── SimpleContradictionsToFalsePass.cpp │ │ ├── SimplificationPass.cpp │ │ ├── StandardPasses.cpp │ │ ├── TrueConstraintEliminationPass.cpp │ │ └── Z3QueryPass.cpp │ └── Z3Backend/ │ ├── CMakeLists.txt │ └── Z3Solver.cpp ├── runtime/ │ ├── CMakeLists.txt │ ├── LibFuzzer/ │ │ ├── CMakeLists.txt │ │ ├── Fuzzer/ │ │ │ ├── CMakeLists.txt │ │ │ ├── FuzzerClangCounters.cpp │ │ │ ├── FuzzerCommand.h │ │ │ ├── FuzzerCorpus.h │ │ │ ├── FuzzerCrossOver.cpp │ │ │ ├── FuzzerDefs.h │ │ │ ├── FuzzerDictionary.h │ │ │ ├── FuzzerDriver.cpp │ │ │ ├── FuzzerExtFunctions.def │ │ │ ├── FuzzerExtFunctions.h │ │ │ ├── FuzzerExtFunctionsDlsym.cpp │ │ │ ├── FuzzerExtFunctionsDlsymWin.cpp │ │ │ ├── FuzzerExtFunctionsWeak.cpp │ │ │ ├── FuzzerExtFunctionsWeakAlias.cpp │ │ │ ├── FuzzerExtraCounters.cpp │ │ │ ├── FuzzerFlags.def │ │ │ ├── FuzzerIO.cpp │ │ │ ├── FuzzerIO.h │ │ │ ├── FuzzerIOPosix.cpp │ │ │ ├── FuzzerIOWindows.cpp │ │ │ ├── FuzzerInterface.h │ │ │ ├── FuzzerInternal.h │ │ │ ├── FuzzerLoop.cpp │ │ │ ├── FuzzerMain.cpp │ │ │ ├── FuzzerMerge.cpp │ │ │ ├── FuzzerMerge.h │ │ │ ├── FuzzerMutate.cpp │ │ │ ├── FuzzerMutate.h │ │ │ ├── FuzzerOptions.h │ │ │ ├── FuzzerRandom.h │ │ │ ├── FuzzerSHA1.cpp │ │ │ ├── FuzzerSHA1.h │ │ │ ├── FuzzerShmem.h │ │ │ ├── FuzzerShmemFuchsia.cpp │ │ │ ├── FuzzerShmemPosix.cpp │ │ │ ├── FuzzerShmemWindows.cpp │ │ │ ├── FuzzerTracePC.cpp │ │ │ ├── FuzzerTracePC.h │ │ │ ├── FuzzerUtil.cpp │ │ │ ├── FuzzerUtil.h │ │ │ ├── FuzzerUtilDarwin.cpp │ │ │ ├── FuzzerUtilFuchsia.cpp │ │ │ ├── FuzzerUtilLinux.cpp │ │ │ ├── FuzzerUtilPosix.cpp │ │ │ ├── FuzzerUtilWindows.cpp │ │ │ ├── FuzzerValueBitMap.h │ │ │ ├── README.txt │ │ │ ├── afl/ │ │ │ │ └── afl_driver.cpp │ │ │ ├── build.sh │ │ │ ├── scripts/ │ │ │ │ └── unbalanced_allocs.py │ │ │ ├── standalone/ │ │ │ │ └── StandaloneFuzzTargetMain.c │ │ │ └── tests/ │ │ │ ├── CMakeLists.txt │ │ │ └── FuzzerUnittest.cpp │ │ └── README-JFS.md │ ├── LibPureRandomFuzzer/ │ │ ├── API.cpp │ │ ├── API.h │ │ ├── CMakeLists.txt │ │ ├── Driver.cpp │ │ ├── Driver.h │ │ ├── Log.h │ │ ├── Main.cpp │ │ ├── Options.def │ │ ├── README.md │ │ ├── Signals.cpp │ │ ├── Signals.h │ │ ├── TestInput.cpp │ │ ├── TestInput.h │ │ └── Types.h │ └── SMTLIB/ │ ├── CMakeLists.txt │ ├── SMTLIB/ │ │ ├── BitVector.h │ │ ├── BufferRef.h │ │ ├── CMakeLists.txt │ │ ├── Core.cpp │ │ ├── Core.h │ │ ├── Float.cpp │ │ ├── Float.h │ │ ├── Logger.cpp │ │ ├── Logger.h │ │ ├── Messages.cpp │ │ ├── Messages.h │ │ ├── NativeBitVector.cpp │ │ ├── NativeBitVector.h │ │ ├── NativeFloat.cpp │ │ ├── NativeFloat.h │ │ ├── jassert.h │ │ └── unittests/ │ │ ├── BitVector/ │ │ │ ├── CMakeLists.txt │ │ │ ├── Native/ │ │ │ │ ├── BvAShr.cpp │ │ │ │ ├── BvAdd.cpp │ │ │ │ ├── BvAlloc.cpp │ │ │ │ ├── BvAnd.cpp │ │ │ │ ├── BvComp.cpp │ │ │ │ ├── BvLShr.cpp │ │ │ │ ├── BvMul.cpp │ │ │ │ ├── BvNand.cpp │ │ │ │ ├── BvNeg.cpp │ │ │ │ ├── BvNor.cpp │ │ │ │ ├── BvNot.cpp │ │ │ │ ├── BvOr.cpp │ │ │ │ ├── BvSDiv.cpp │ │ │ │ ├── BvSMod.cpp │ │ │ │ ├── BvSRem.cpp │ │ │ │ ├── BvSge.cpp │ │ │ │ ├── BvSgt.cpp │ │ │ │ ├── BvShl.cpp │ │ │ │ ├── BvSle.cpp │ │ │ │ ├── BvSlt.cpp │ │ │ │ ├── BvSub.cpp │ │ │ │ ├── BvUDiv.cpp │ │ │ │ ├── BvURem.cpp │ │ │ │ ├── BvUge.cpp │ │ │ │ ├── BvUgt.cpp │ │ │ │ ├── BvUle.cpp │ │ │ │ ├── BvUlt.cpp │ │ │ │ ├── BvXNor.cpp │ │ │ │ ├── BvXor.cpp │ │ │ │ ├── Concat.cpp │ │ │ │ ├── Equal.cpp │ │ │ │ ├── Extract.cpp │ │ │ │ ├── MakeFromBuffer.cpp │ │ │ │ ├── RotateLeft.cpp │ │ │ │ ├── RotateRight.cpp │ │ │ │ ├── SignExtend.cpp │ │ │ │ ├── WriteToBuffer.cpp │ │ │ │ └── ZeroExtend.cpp │ │ │ └── NonNative/ │ │ │ ├── Concat.cpp │ │ │ ├── SignExtend.cpp │ │ │ └── ZeroExtend.cpp │ │ ├── CMakeLists.txt │ │ ├── Core/ │ │ │ ├── CMakeLists.txt │ │ │ └── MakeFromBuffer.cpp │ │ ├── Float/ │ │ │ ├── CMakeLists.txt │ │ │ └── Native/ │ │ │ ├── Abs.cpp │ │ │ ├── Add.cpp │ │ │ ├── ConvertToFloatFromFloat.cpp │ │ │ ├── ConvertToFloatFromSignedBV.cpp │ │ │ ├── ConvertToFloatFromUnsignedBV.cpp │ │ │ ├── ConvertToSignedBVFromFloat.cpp │ │ │ ├── ConvertToUnsignedBVFromFloat.cpp │ │ │ ├── Div.cpp │ │ │ ├── FMA.cpp │ │ │ ├── GreaterThan.cpp │ │ │ ├── GreaterThanOrEqual.cpp │ │ │ ├── IEEEEquals.cpp │ │ │ ├── IsInfinite.cpp │ │ │ ├── IsNaN.cpp │ │ │ ├── IsNegative.cpp │ │ │ ├── IsNormal.cpp │ │ │ ├── IsPositive.cpp │ │ │ ├── IsSubnormal.cpp │ │ │ ├── IsZero.cpp │ │ │ ├── LessThan.cpp │ │ │ ├── LessThanOrEqual.cpp │ │ │ ├── MakeFromBuffer.cpp │ │ │ ├── MakeFromIEEEBitVector.cpp │ │ │ ├── MakeFromTriple.cpp │ │ │ ├── Max.cpp │ │ │ ├── Min.cpp │ │ │ ├── Mul.cpp │ │ │ ├── Neg.cpp │ │ │ ├── Rem.cpp │ │ │ ├── RoundToIntegral.cpp │ │ │ ├── SMTLIBEquals.cpp │ │ │ ├── SpecialConstants.cpp │ │ │ ├── Sqrt.cpp │ │ │ └── Sub.cpp │ │ ├── Logger/ │ │ │ ├── CMakeLists.txt │ │ │ └── LoggerTests.cpp │ │ ├── SMTLIBRuntimeTestUtil.cpp │ │ ├── SMTLIBRuntimeTestUtil.h │ │ ├── lit-unit-tests-common.cfg │ │ └── lit-unit-tests-common.site.cfg.in │ └── gtest/ │ └── CMakeLists.txt ├── scripts/ │ ├── Dockerfiles/ │ │ ├── build.sh │ │ ├── jfs_base_ubuntu_16.04.Dockerfile │ │ └── jfs_build_ubuntu_16.04.Dockerfile │ └── dist/ │ ├── build_and_install_cmake.sh │ ├── build_and_install_ninja.sh │ ├── build_jfs.sh │ ├── build_llvm.sh │ ├── build_z3.sh │ └── test_jfs.sh ├── tests/ │ ├── CMakeLists.txt │ ├── system_tests/ │ │ ├── CMakeLists.txt │ │ ├── CNF/ │ │ │ ├── 2017-09-02-float-constant-regression.smt2 │ │ │ ├── imperial_synthetic_sqrt_klee_bug.x86_64_query.05.smt2 │ │ │ └── less_variables_than_bits.smt2 │ │ ├── CXXFuzzingBackend/ │ │ │ ├── CMakeLists.txt │ │ │ ├── CXXProgramBuilder/ │ │ │ │ ├── SingleConstantAssignment.smt2 │ │ │ │ ├── SingleUnconstraintedBool.smt2 │ │ │ │ ├── UsedConstantAssignment.smt2 │ │ │ │ ├── UsedConstantFloatingPointAssignment.smt2 │ │ │ │ ├── branch_encodings/ │ │ │ │ │ ├── fail_fast.smt2 │ │ │ │ │ ├── try_all.smt2 │ │ │ │ │ └── try_all_imncsf.smt2 │ │ │ │ ├── buffer_element_alignment/ │ │ │ │ │ ├── bv_bool_bv_bool.smt2 │ │ │ │ │ ├── bv_bool_bv_bool_float.smt2 │ │ │ │ │ └── three_bools.smt2 │ │ │ │ ├── inconsistent_equalities.smt2 │ │ │ │ ├── operations/ │ │ │ │ │ ├── bool/ │ │ │ │ │ │ ├── and.smt2 │ │ │ │ │ │ ├── distinct_bool.smt2 │ │ │ │ │ │ ├── equal_bool.smt2 │ │ │ │ │ │ ├── iff.smt2 │ │ │ │ │ │ ├── implies.smt2 │ │ │ │ │ │ ├── ite_bool.smt2 │ │ │ │ │ │ ├── not.smt2 │ │ │ │ │ │ ├── or.smt2 │ │ │ │ │ │ └── xor.smt2 │ │ │ │ │ ├── bv/ │ │ │ │ │ │ ├── bvadd.smt2 │ │ │ │ │ │ ├── bvadd_nary.smt2 │ │ │ │ │ │ ├── bvand.smt2 │ │ │ │ │ │ ├── bvand_nary.smt2 │ │ │ │ │ │ ├── bvashr.smt2 │ │ │ │ │ │ ├── bvcomp.smt2 │ │ │ │ │ │ ├── bvlshr.smt2 │ │ │ │ │ │ ├── bvmul.smt2 │ │ │ │ │ │ ├── bvmul_nary.smt2 │ │ │ │ │ │ ├── bvnand.smt2 │ │ │ │ │ │ ├── bvneg.smt2 │ │ │ │ │ │ ├── bvnor.smt2 │ │ │ │ │ │ ├── bvnot.smt2 │ │ │ │ │ │ ├── bvor.smt2 │ │ │ │ │ │ ├── bvor_nary.smt2 │ │ │ │ │ │ ├── bvsdiv.smt2 │ │ │ │ │ │ ├── bvsdiv0.smt2 │ │ │ │ │ │ ├── bvsdiv_i.smt2 │ │ │ │ │ │ ├── bvsge.smt2 │ │ │ │ │ │ ├── bvsgt.smt2 │ │ │ │ │ │ ├── bvshl.smt2 │ │ │ │ │ │ ├── bvsle.smt2 │ │ │ │ │ │ ├── bvslt.smt2 │ │ │ │ │ │ ├── bvsmod.smt2 │ │ │ │ │ │ ├── bvsmod_i.smt2 │ │ │ │ │ │ ├── bvsrem.smt2 │ │ │ │ │ │ ├── bvsrem_i.smt2 │ │ │ │ │ │ ├── bvsub.smt2 │ │ │ │ │ │ ├── bvudiv.smt2 │ │ │ │ │ │ ├── bvudiv0.smt2 │ │ │ │ │ │ ├── bvudiv_i.smt2 │ │ │ │ │ │ ├── bvuge.smt2 │ │ │ │ │ │ ├── bvugt.smt2 │ │ │ │ │ │ ├── bvule.smt2 │ │ │ │ │ │ ├── bvult.smt2 │ │ │ │ │ │ ├── bvurem.smt2 │ │ │ │ │ │ ├── bvurem_i.smt2 │ │ │ │ │ │ ├── bvxnor.smt2 │ │ │ │ │ │ ├── bvxor.smt2 │ │ │ │ │ │ ├── bvxor_nary.smt2 │ │ │ │ │ │ ├── concat.smt2 │ │ │ │ │ │ ├── concat_large.smt2 │ │ │ │ │ │ ├── distinct_bitvector.smt2 │ │ │ │ │ │ ├── equal_bitvector.smt2 │ │ │ │ │ │ ├── extract.smt2 │ │ │ │ │ │ ├── ite_bitvector.smt2 │ │ │ │ │ │ ├── rotate_left.smt2 │ │ │ │ │ │ ├── rotate_right.smt2 │ │ │ │ │ │ ├── sign_extend.smt2 │ │ │ │ │ │ └── zero_extend.smt2 │ │ │ │ │ └── fp/ │ │ │ │ │ ├── abs_float32.smt2 │ │ │ │ │ ├── abs_float64.smt2 │ │ │ │ │ ├── add_rna_float32.smt2 │ │ │ │ │ ├── add_rna_float64.smt2 │ │ │ │ │ ├── add_rne_float32.smt2 │ │ │ │ │ ├── add_rne_float64.smt2 │ │ │ │ │ ├── add_rtn_float32.smt2 │ │ │ │ │ ├── add_rtn_float64.smt2 │ │ │ │ │ ├── add_rtp_float32.smt2 │ │ │ │ │ ├── add_rtp_float64.smt2 │ │ │ │ │ ├── add_rtz_float32.smt2 │ │ │ │ │ ├── add_rtz_float64.smt2 │ │ │ │ │ ├── cast_bv32_to_float.smt2 │ │ │ │ │ ├── constant_nan_float32.smt2 │ │ │ │ │ ├── constant_nan_float64.smt2 │ │ │ │ │ ├── constant_negative_infinity_float32.smt2 │ │ │ │ │ ├── constant_negative_infinity_float64.smt2 │ │ │ │ │ ├── constant_negative_zero_float32.smt2 │ │ │ │ │ ├── constant_negative_zero_float64.smt2 │ │ │ │ │ ├── constant_plus_infinity_float32.smt2 │ │ │ │ │ ├── constant_plus_infinity_float64.smt2 │ │ │ │ │ ├── constant_plus_zero_float32.smt2 │ │ │ │ │ ├── constant_plus_zero_float64.smt2 │ │ │ │ │ ├── constants_from_triple.smt2 │ │ │ │ │ ├── convert_to_float32_from_float32_rna.smt2 │ │ │ │ │ ├── convert_to_float32_from_float32_rne.smt2 │ │ │ │ │ ├── convert_to_float32_from_float32_rtn.smt2 │ │ │ │ │ ├── convert_to_float32_from_float32_rtp.smt2 │ │ │ │ │ ├── convert_to_float32_from_float32_rtz.smt2 │ │ │ │ │ ├── convert_to_float32_from_float64_rna.smt2 │ │ │ │ │ ├── convert_to_float32_from_float64_rne.smt2 │ │ │ │ │ ├── convert_to_float32_from_float64_rtn.smt2 │ │ │ │ │ ├── convert_to_float32_from_float64_rtp.smt2 │ │ │ │ │ ├── convert_to_float32_from_float64_rtz.smt2 │ │ │ │ │ ├── convert_to_float32_from_signed_bv_rna.smt2 │ │ │ │ │ ├── convert_to_float32_from_signed_bv_rne.smt2 │ │ │ │ │ ├── convert_to_float32_from_signed_bv_rtn.smt2 │ │ │ │ │ ├── convert_to_float32_from_signed_bv_rtp.smt2 │ │ │ │ │ ├── convert_to_float32_from_signed_bv_rtz.smt2 │ │ │ │ │ ├── convert_to_float32_from_unsigned_bv_rna.smt2 │ │ │ │ │ ├── convert_to_float32_from_unsigned_bv_rne.smt2 │ │ │ │ │ ├── convert_to_float32_from_unsigned_bv_rtn.smt2 │ │ │ │ │ ├── convert_to_float32_from_unsigned_bv_rtp.smt2 │ │ │ │ │ ├── convert_to_float32_from_unsigned_bv_rtz.smt2 │ │ │ │ │ ├── convert_to_float64_from_float32_rna.smt2 │ │ │ │ │ ├── convert_to_float64_from_float32_rne.smt2 │ │ │ │ │ ├── convert_to_float64_from_float32_rtn.smt2 │ │ │ │ │ ├── convert_to_float64_from_float32_rtp.smt2 │ │ │ │ │ ├── convert_to_float64_from_float32_rtz.smt2 │ │ │ │ │ ├── convert_to_float64_from_float64_rna.smt2 │ │ │ │ │ ├── convert_to_float64_from_float64_rne.smt2 │ │ │ │ │ ├── convert_to_float64_from_float64_rtn.smt2 │ │ │ │ │ ├── convert_to_float64_from_float64_rtp.smt2 │ │ │ │ │ ├── convert_to_float64_from_float64_rtz.smt2 │ │ │ │ │ ├── convert_to_float64_from_signed_bv_rna.smt2 │ │ │ │ │ ├── convert_to_float64_from_signed_bv_rne.smt2 │ │ │ │ │ ├── convert_to_float64_from_signed_bv_rtn.smt2 │ │ │ │ │ ├── convert_to_float64_from_signed_bv_rtp.smt2 │ │ │ │ │ ├── convert_to_float64_from_signed_bv_rtz.smt2 │ │ │ │ │ ├── convert_to_float64_from_unsigned_bv_rna.smt2 │ │ │ │ │ ├── convert_to_float64_from_unsigned_bv_rne.smt2 │ │ │ │ │ ├── convert_to_float64_from_unsigned_bv_rtn.smt2 │ │ │ │ │ ├── convert_to_float64_from_unsigned_bv_rtp.smt2 │ │ │ │ │ ├── convert_to_float64_from_unsigned_bv_rtz.smt2 │ │ │ │ │ ├── convert_to_signed_bv_from_float32_rna.smt2 │ │ │ │ │ ├── convert_to_signed_bv_from_float32_rne.smt2 │ │ │ │ │ ├── convert_to_signed_bv_from_float32_rtn.smt2 │ │ │ │ │ ├── convert_to_signed_bv_from_float32_rtp.smt2 │ │ │ │ │ ├── convert_to_signed_bv_from_float32_rtz.smt2 │ │ │ │ │ ├── convert_to_signed_bv_from_float64_rna.smt2 │ │ │ │ │ ├── convert_to_signed_bv_from_float64_rne.smt2 │ │ │ │ │ ├── convert_to_signed_bv_from_float64_rtn.smt2 │ │ │ │ │ ├── convert_to_signed_bv_from_float64_rtp.smt2 │ │ │ │ │ ├── convert_to_signed_bv_from_float64_rtz.smt2 │ │ │ │ │ ├── convert_to_unsigned_bv_from_float32_rna.smt2 │ │ │ │ │ ├── convert_to_unsigned_bv_from_float32_rne.smt2 │ │ │ │ │ ├── convert_to_unsigned_bv_from_float32_rtn.smt2 │ │ │ │ │ ├── convert_to_unsigned_bv_from_float32_rtp.smt2 │ │ │ │ │ ├── convert_to_unsigned_bv_from_float32_rtz.smt2 │ │ │ │ │ ├── convert_to_unsigned_bv_from_float64_rna.smt2 │ │ │ │ │ ├── convert_to_unsigned_bv_from_float64_rne.smt2 │ │ │ │ │ ├── convert_to_unsigned_bv_from_float64_rtn.smt2 │ │ │ │ │ ├── convert_to_unsigned_bv_from_float64_rtp.smt2 │ │ │ │ │ ├── convert_to_unsigned_bv_from_float64_rtz.smt2 │ │ │ │ │ ├── div_rna_float32.smt2 │ │ │ │ │ ├── div_rna_float64.smt2 │ │ │ │ │ ├── div_rne_float32.smt2 │ │ │ │ │ ├── div_rne_float64.smt2 │ │ │ │ │ ├── div_rtn_float32.smt2 │ │ │ │ │ ├── div_rtn_float64.smt2 │ │ │ │ │ ├── div_rtp_float32.smt2 │ │ │ │ │ ├── div_rtp_float64.smt2 │ │ │ │ │ ├── div_rtz_float32.smt2 │ │ │ │ │ ├── div_rtz_float64.smt2 │ │ │ │ │ ├── fma_rna_float32.smt2 │ │ │ │ │ ├── fma_rna_float64.smt2 │ │ │ │ │ ├── fma_rne_float32.smt2 │ │ │ │ │ ├── fma_rne_float64.smt2 │ │ │ │ │ ├── fma_rtn_float32.smt2 │ │ │ │ │ ├── fma_rtn_float64.smt2 │ │ │ │ │ ├── fma_rtp_float32.smt2 │ │ │ │ │ ├── fma_rtp_float64.smt2 │ │ │ │ │ ├── fma_rtz_float32.smt2 │ │ │ │ │ ├── fma_rtz_float64.smt2 │ │ │ │ │ ├── fpgeq_float32.smt2 │ │ │ │ │ ├── fpgeq_float64.smt2 │ │ │ │ │ ├── fpgt_float32.smt2 │ │ │ │ │ ├── fpgt_float64.smt2 │ │ │ │ │ ├── fpleq_float32.smt2 │ │ │ │ │ ├── fpleq_float64.smt2 │ │ │ │ │ ├── fplt_float32.smt2 │ │ │ │ │ ├── fplt_float64.smt2 │ │ │ │ │ ├── ieee_equals_float32.smt2 │ │ │ │ │ ├── ieee_equals_float64.smt2 │ │ │ │ │ ├── is_infinite_float32.smt2 │ │ │ │ │ ├── is_infinite_float64.smt2 │ │ │ │ │ ├── is_nan_float32.smt2 │ │ │ │ │ ├── is_nan_float64.smt2 │ │ │ │ │ ├── is_negative_float32.smt2 │ │ │ │ │ ├── is_negative_float64.smt2 │ │ │ │ │ ├── is_normal_float32.smt2 │ │ │ │ │ ├── is_normal_float64.smt2 │ │ │ │ │ ├── is_positive_float32.smt2 │ │ │ │ │ ├── is_positive_float64.smt2 │ │ │ │ │ ├── is_subnormal_float32.smt2 │ │ │ │ │ ├── is_subnormal_float64.smt2 │ │ │ │ │ ├── is_zero_float32.smt2 │ │ │ │ │ ├── is_zero_float64.smt2 │ │ │ │ │ ├── max_float32.smt2 │ │ │ │ │ ├── max_float64.smt2 │ │ │ │ │ ├── min_float32.smt2 │ │ │ │ │ ├── min_float64.smt2 │ │ │ │ │ ├── mul_rna_float32.smt2 │ │ │ │ │ ├── mul_rna_float64.smt2 │ │ │ │ │ ├── mul_rne_float32.smt2 │ │ │ │ │ ├── mul_rne_float64.smt2 │ │ │ │ │ ├── mul_rtn_float32.smt2 │ │ │ │ │ ├── mul_rtn_float64.smt2 │ │ │ │ │ ├── mul_rtp_float32.smt2 │ │ │ │ │ ├── mul_rtp_float64.smt2 │ │ │ │ │ ├── mul_rtz_float32.smt2 │ │ │ │ │ ├── mul_rtz_float64.smt2 │ │ │ │ │ ├── neg_float32.smt2 │ │ │ │ │ ├── neg_float64.smt2 │ │ │ │ │ ├── print_fp_const_minus_inf_float64.smt2 │ │ │ │ │ ├── print_fp_const_minus_zero_float64.smt2 │ │ │ │ │ ├── print_fp_const_nan_float64.smt2 │ │ │ │ │ ├── print_fp_const_plus_inf_float64.smt2 │ │ │ │ │ ├── print_fp_const_plus_zero_float64.smt2 │ │ │ │ │ ├── rem_float32.smt2 │ │ │ │ │ ├── rem_float64.smt2 │ │ │ │ │ ├── round_to_integral_rna_float32.smt2 │ │ │ │ │ ├── round_to_integral_rna_float64.smt2 │ │ │ │ │ ├── round_to_integral_rne_float32.smt2 │ │ │ │ │ ├── round_to_integral_rne_float64.smt2 │ │ │ │ │ ├── round_to_integral_rtn_float32.smt2 │ │ │ │ │ ├── round_to_integral_rtn_float64.smt2 │ │ │ │ │ ├── round_to_integral_rtp_float32.smt2 │ │ │ │ │ ├── round_to_integral_rtp_float64.smt2 │ │ │ │ │ ├── round_to_integral_rtz_float32.smt2 │ │ │ │ │ ├── round_to_integral_rtz_float64.smt2 │ │ │ │ │ ├── sqrt_rna_float32.smt2 │ │ │ │ │ ├── sqrt_rna_float64.smt2 │ │ │ │ │ ├── sqrt_rne_float32.smt2 │ │ │ │ │ ├── sqrt_rne_float64.smt2 │ │ │ │ │ ├── sqrt_rtn_float32.smt2 │ │ │ │ │ ├── sqrt_rtn_float64.smt2 │ │ │ │ │ ├── sqrt_rtp_float32.smt2 │ │ │ │ │ ├── sqrt_rtp_float64.smt2 │ │ │ │ │ ├── sqrt_rtz_float32.smt2 │ │ │ │ │ ├── sqrt_rtz_float64.smt2 │ │ │ │ │ ├── sub_rna_float32.smt2 │ │ │ │ │ ├── sub_rna_float64.smt2 │ │ │ │ │ ├── sub_rne_float32.smt2 │ │ │ │ │ ├── sub_rne_float64.smt2 │ │ │ │ │ ├── sub_rtn_float32.smt2 │ │ │ │ │ ├── sub_rtn_float64.smt2 │ │ │ │ │ ├── sub_rtp_float32.smt2 │ │ │ │ │ ├── sub_rtp_float64.smt2 │ │ │ │ │ ├── sub_rtz_float32.smt2 │ │ │ │ │ └── sub_rtz_float64.smt2 │ │ │ │ ├── symbol_names/ │ │ │ │ │ ├── quoted_symbol.smt2 │ │ │ │ │ ├── simple_alphanumeric.smt2 │ │ │ │ │ ├── simple_alphanumeric_ampersand.smt2 │ │ │ │ │ ├── simple_alphanumeric_asterisk.smt2 │ │ │ │ │ ├── simple_alphanumeric_at.smt2 │ │ │ │ │ ├── simple_alphanumeric_caret.smt2 │ │ │ │ │ ├── simple_alphanumeric_dollar_sign.smt2 │ │ │ │ │ ├── simple_alphanumeric_dot.smt2 │ │ │ │ │ ├── simple_alphanumeric_equal.smt2 │ │ │ │ │ ├── simple_alphanumeric_exclaimation_mark.smt2 │ │ │ │ │ ├── simple_alphanumeric_gt.smt2 │ │ │ │ │ ├── simple_alphanumeric_lt.smt2 │ │ │ │ │ ├── simple_alphanumeric_minus.smt2 │ │ │ │ │ ├── simple_alphanumeric_minus_clash.smt2 │ │ │ │ │ ├── simple_alphanumeric_percent.smt2 │ │ │ │ │ ├── simple_alphanumeric_plus.smt2 │ │ │ │ │ ├── simple_alphanumeric_question_foward_slash.smt2 │ │ │ │ │ ├── simple_alphanumeric_question_mark.smt2 │ │ │ │ │ ├── simple_alphanumeric_tilda.smt2 │ │ │ │ │ └── stress_test.smt2 │ │ │ │ ├── track_num_constraints/ │ │ │ │ │ ├── track_max_num_solved_fail_fast.smt2 │ │ │ │ │ ├── track_max_num_solved_try_all.smt2 │ │ │ │ │ └── track_max_num_solved_try_all_imncsf.smt2 │ │ │ │ └── track_num_inputs/ │ │ │ │ ├── track_num_inputs.smt2 │ │ │ │ └── track_num_wrong_size_inputs.smt2 │ │ │ ├── Fuzz/ │ │ │ │ ├── CMakeLists.txt │ │ │ │ ├── branch_encodings/ │ │ │ │ │ └── try_all_imncsf.smt2 │ │ │ │ ├── buffer_element_alignment/ │ │ │ │ │ └── bv_bool_bv_bool_float.smt2 │ │ │ │ ├── lit.local.cfg │ │ │ │ ├── models/ │ │ │ │ │ ├── equality_extraction/ │ │ │ │ │ │ ├── all_assignments.smt2 │ │ │ │ │ │ ├── empty.smt2 │ │ │ │ │ │ ├── equalities_with_model_from_fuzzer.smt2 │ │ │ │ │ │ └── trivial_equalities.smt2 │ │ │ │ │ └── simple/ │ │ │ │ │ ├── 3_bv_const.smt2 │ │ │ │ │ ├── 3_true.smt2 │ │ │ │ │ ├── README.md │ │ │ │ │ ├── empty.smt2 │ │ │ │ │ ├── float_nan.smt2 │ │ │ │ │ ├── float_neg_inf.smt2 │ │ │ │ │ ├── float_neg_one.smt2 │ │ │ │ │ ├── float_neg_zero.smt2 │ │ │ │ │ ├── float_pos_inf.smt2 │ │ │ │ │ ├── float_pos_one.smt2 │ │ │ │ │ └── float_pos_zero.smt2 │ │ │ │ ├── runtimes/ │ │ │ │ │ └── a629test0052.smt2 │ │ │ │ ├── sat/ │ │ │ │ │ ├── 2017-09-02-float-constant-regression.smt2 │ │ │ │ │ ├── a629test0052.smt2 │ │ │ │ │ ├── max-has-solution-12341.smt2 │ │ │ │ │ ├── min-has-solution-1235.smt2 │ │ │ │ │ ├── simple_bool.smt2 │ │ │ │ │ └── simplifer_makes_consts.smt2 │ │ │ │ ├── stats/ │ │ │ │ │ ├── can_write_to_stdout.smt2 │ │ │ │ │ └── valid_yaml.smt2 │ │ │ │ ├── test_format.py │ │ │ │ ├── tracing/ │ │ │ │ │ ├── increase_in_max_num_constraints_sat.smt2 │ │ │ │ │ └── trace_wrong_sized_input.smt2 │ │ │ │ ├── track_all/ │ │ │ │ │ ├── sat_fail_fast_encoding.smt2 │ │ │ │ │ ├── sat_try_all_encodings.smt2 │ │ │ │ │ ├── unsat_fail_fast_encoding.smt2 │ │ │ │ │ └── unsat_try_all_encoding.smt2 │ │ │ │ ├── track_num_constraints/ │ │ │ │ │ ├── sat_fail_fast_encoding.smt2 │ │ │ │ │ ├── sat_try_all_encoding.smt2 │ │ │ │ │ ├── unsat_fail_fast_encoding.smt2 │ │ │ │ │ └── unsat_try_all_encoding.smt2 │ │ │ │ ├── unknown/ │ │ │ │ │ ├── bv_unsupported_size.smt2 │ │ │ │ │ └── float_unsupported_size.smt2 │ │ │ │ └── unsat/ │ │ │ │ ├── max-no-solution.smt2 │ │ │ │ └── min-no-solution.smt2 │ │ │ └── SeedGeneration/ │ │ │ ├── 3b_all_ones │ │ │ ├── 3b_all_zeros │ │ │ ├── all_zeros_and_all_ones.smt2 │ │ │ ├── bool_bv_float.smt2 │ │ │ ├── bool_bv_float_linux.smt2 │ │ │ ├── max_num_seeds_1.smt2 │ │ │ └── special_constants_stats.smt2 │ │ ├── CommandLine/ │ │ │ ├── NonExistentFile.smt2 │ │ │ └── version.smt2 │ │ ├── DummyFuzzingSolver/ │ │ │ ├── README.md │ │ │ ├── sat/ │ │ │ │ ├── trivial_equalities.smt2 │ │ │ │ └── true_elim.smt2 │ │ │ ├── unknown/ │ │ │ │ ├── trivial_equality_with_non_trivial_constraint.smt2 │ │ │ │ └── unknown_ineq.smt2 │ │ │ └── unsat/ │ │ │ ├── bound_contradiction.smt2 │ │ │ ├── bound_contradiction2.smt2 │ │ │ └── true_elim.smt2 │ │ ├── Transforms/ │ │ │ ├── AndHoisting/ │ │ │ │ ├── nested_and.smt2 │ │ │ │ ├── non_constant_and.smt2 │ │ │ │ ├── single_and.smt2 │ │ │ │ └── single_and_ternary.smt2 │ │ │ ├── BvBoundPropagation/ │ │ │ │ └── bound_contradiction.smt2 │ │ │ ├── ConstantPropagation/ │ │ │ │ ├── constant_prop.smt2 │ │ │ │ ├── constant_prop_and.smt2 │ │ │ │ ├── duplicate_constraint.smt2 │ │ │ │ ├── modulus_true-unreach-call_true-no-overflow.i_242.smt2 │ │ │ │ ├── not_preverse_multiple_false.smt2 │ │ │ │ └── preserve_false.smt2 │ │ │ ├── DuplicateConstraintElimination/ │ │ │ │ └── duplicate_equals.smt2 │ │ │ ├── SimpleContradictionsToFalse/ │ │ │ │ └── e_not_e.smt2 │ │ │ ├── Simplify/ │ │ │ │ ├── constant_fold_bvadd.smt2 │ │ │ │ ├── constant_fold_ite_identity.smt2 │ │ │ │ ├── equal.smt2 │ │ │ │ └── not_equal.smt2 │ │ │ └── TrueConstraintElimination/ │ │ │ └── true_elim.smt2 │ │ ├── Z3Backend/ │ │ │ └── QF_FPBV/ │ │ │ ├── sat/ │ │ │ │ └── imperial_synthetic_sqrt_klee_bug.x86_64_query.05.smt2 │ │ │ └── unsat/ │ │ │ └── imperial_synthetic_sqrt_klee_bug.x86_64_query.06.smt2 │ │ ├── lit.cfg │ │ └── lit.site.cfg.in │ └── unit_tests/ │ ├── CMakeLists.txt │ ├── Core/ │ │ ├── CMakeLists.txt │ │ └── FloatSpecialConstants.cpp │ ├── Dummy/ │ │ ├── CMakeLists.txt │ │ └── Dummy.cpp │ ├── FuzzingCommon/ │ │ ├── CMakeLists.txt │ │ └── EqualityExtractionPass.cpp │ ├── lit-unit-tests-common.cfg │ └── lit-unit-tests-common.site.cfg.in ├── tools/ │ ├── CMakeLists.txt │ ├── jfs/ │ │ ├── CMakeLists.txt │ │ └── main.cpp │ ├── jfs-opt/ │ │ ├── CMakeLists.txt │ │ └── main.cpp │ ├── jfs-smt2cnf/ │ │ ├── CMakeLists.txt │ │ └── main.cpp │ ├── jfs-smt2cxx/ │ │ ├── CMakeLists.txt │ │ └── main.cpp │ └── yaml-syntax-check/ │ ├── CMakeLists.txt │ └── main.cpp └── utils/ ├── CMakeLists.txt ├── FileCheck/ │ ├── CMakeLists.txt │ ├── FileCheck.cpp │ └── LICENSE.TXT ├── SMT-COMP/ │ ├── StarExec-SMTCOMP2017.Dockerfile │ ├── configs/ │ │ └── starexec_run_default │ ├── mk_starexec_binary_dist.sh │ └── starexec_description.txt ├── googletest/ │ ├── CMakeLists.txt │ ├── README.md │ └── googletest/ │ ├── .gitignore │ ├── CHANGES │ ├── CMakeLists.txt │ ├── CONTRIBUTORS │ ├── LICENSE │ ├── Makefile.am │ ├── README.md │ ├── build-aux/ │ │ └── .keep │ ├── cmake/ │ │ └── internal_utils.cmake │ ├── codegear/ │ │ ├── gtest.cbproj │ │ ├── gtest.groupproj │ │ ├── gtest_all.cc │ │ ├── gtest_link.cc │ │ ├── gtest_main.cbproj │ │ └── gtest_unittest.cbproj │ ├── configure.ac │ ├── docs/ │ │ ├── AdvancedGuide.md │ │ ├── DevGuide.md │ │ ├── Documentation.md │ │ ├── FAQ.md │ │ ├── Primer.md │ │ ├── PumpManual.md │ │ ├── Samples.md │ │ ├── V1_5_AdvancedGuide.md │ │ ├── V1_5_Documentation.md │ │ ├── V1_5_FAQ.md │ │ ├── V1_5_Primer.md │ │ ├── V1_5_PumpManual.md │ │ ├── V1_5_XcodeGuide.md │ │ ├── V1_6_AdvancedGuide.md │ │ ├── V1_6_Documentation.md │ │ ├── V1_6_FAQ.md │ │ ├── V1_6_Primer.md │ │ ├── V1_6_PumpManual.md │ │ ├── V1_6_Samples.md │ │ ├── V1_6_XcodeGuide.md │ │ ├── V1_7_AdvancedGuide.md │ │ ├── V1_7_Documentation.md │ │ ├── V1_7_FAQ.md │ │ ├── V1_7_Primer.md │ │ ├── V1_7_PumpManual.md │ │ ├── V1_7_Samples.md │ │ ├── V1_7_XcodeGuide.md │ │ └── XcodeGuide.md │ ├── include/ │ │ └── gtest/ │ │ ├── gtest-death-test.h │ │ ├── gtest-message.h │ │ ├── gtest-param-test.h │ │ ├── gtest-param-test.h.pump │ │ ├── gtest-printers.h │ │ ├── gtest-spi.h │ │ ├── gtest-test-part.h │ │ ├── gtest-typed-test.h │ │ ├── gtest.h │ │ ├── gtest_pred_impl.h │ │ ├── gtest_prod.h │ │ └── internal/ │ │ ├── custom/ │ │ │ ├── gtest-port.h │ │ │ ├── gtest-printers.h │ │ │ └── gtest.h │ │ ├── gtest-death-test-internal.h │ │ ├── gtest-filepath.h │ │ ├── gtest-internal.h │ │ ├── gtest-linked_ptr.h │ │ ├── gtest-param-util-generated.h │ │ ├── gtest-param-util-generated.h.pump │ │ ├── gtest-param-util.h │ │ ├── gtest-port-arch.h │ │ ├── gtest-port.h │ │ ├── gtest-string.h │ │ ├── gtest-tuple.h │ │ ├── gtest-tuple.h.pump │ │ ├── gtest-type-util.h │ │ └── gtest-type-util.h.pump │ ├── m4/ │ │ ├── acx_pthread.m4 │ │ └── gtest.m4 │ ├── make/ │ │ └── Makefile │ ├── msvc/ │ │ ├── gtest-md.sln │ │ ├── gtest-md.vcproj │ │ ├── gtest.sln │ │ ├── gtest.vcproj │ │ ├── gtest_main-md.vcproj │ │ ├── gtest_main.vcproj │ │ ├── gtest_prod_test-md.vcproj │ │ ├── gtest_prod_test.vcproj │ │ ├── gtest_unittest-md.vcproj │ │ └── gtest_unittest.vcproj │ ├── samples/ │ │ ├── prime_tables.h │ │ ├── sample1.cc │ │ ├── sample1.h │ │ ├── sample10_unittest.cc │ │ ├── sample1_unittest.cc │ │ ├── sample2.cc │ │ ├── sample2.h │ │ ├── sample2_unittest.cc │ │ ├── sample3-inl.h │ │ ├── sample3_unittest.cc │ │ ├── sample4.cc │ │ ├── sample4.h │ │ ├── sample4_unittest.cc │ │ ├── sample5_unittest.cc │ │ ├── sample6_unittest.cc │ │ ├── sample7_unittest.cc │ │ ├── sample8_unittest.cc │ │ └── sample9_unittest.cc │ ├── scripts/ │ │ ├── common.py │ │ ├── fuse_gtest_files.py │ │ ├── gen_gtest_pred_impl.py │ │ ├── gtest-config.in │ │ ├── pump.py │ │ ├── release_docs.py │ │ ├── test/ │ │ │ └── Makefile │ │ ├── upload.py │ │ └── upload_gtest.py │ ├── src/ │ │ ├── gtest-all.cc │ │ ├── gtest-death-test.cc │ │ ├── gtest-filepath.cc │ │ ├── gtest-internal-inl.h │ │ ├── gtest-port.cc │ │ ├── gtest-printers.cc │ │ ├── gtest-test-part.cc │ │ ├── gtest-typed-test.cc │ │ ├── gtest.cc │ │ └── gtest_main.cc │ ├── test/ │ │ ├── gtest-death-test_ex_test.cc │ │ ├── gtest-death-test_test.cc │ │ ├── gtest-filepath_test.cc │ │ ├── gtest-linked_ptr_test.cc │ │ ├── gtest-listener_test.cc │ │ ├── gtest-message_test.cc │ │ ├── gtest-options_test.cc │ │ ├── gtest-param-test2_test.cc │ │ ├── gtest-param-test_test.cc │ │ ├── gtest-param-test_test.h │ │ ├── gtest-port_test.cc │ │ ├── gtest-printers_test.cc │ │ ├── gtest-test-part_test.cc │ │ ├── gtest-tuple_test.cc │ │ ├── gtest-typed-test2_test.cc │ │ ├── gtest-typed-test_test.cc │ │ ├── gtest-typed-test_test.h │ │ ├── gtest-unittest-api_test.cc │ │ ├── gtest_all_test.cc │ │ ├── gtest_break_on_failure_unittest.py │ │ ├── gtest_break_on_failure_unittest_.cc │ │ ├── gtest_catch_exceptions_test.py │ │ ├── gtest_catch_exceptions_test_.cc │ │ ├── gtest_color_test.py │ │ ├── gtest_color_test_.cc │ │ ├── gtest_env_var_test.py │ │ ├── gtest_env_var_test_.cc │ │ ├── gtest_environment_test.cc │ │ ├── gtest_filter_unittest.py │ │ ├── gtest_filter_unittest_.cc │ │ ├── gtest_help_test.py │ │ ├── gtest_help_test_.cc │ │ ├── gtest_list_tests_unittest.py │ │ ├── gtest_list_tests_unittest_.cc │ │ ├── gtest_main_unittest.cc │ │ ├── gtest_no_test_unittest.cc │ │ ├── gtest_output_test.py │ │ ├── gtest_output_test_.cc │ │ ├── gtest_output_test_golden_lin.txt │ │ ├── gtest_pred_impl_unittest.cc │ │ ├── gtest_premature_exit_test.cc │ │ ├── gtest_prod_test.cc │ │ ├── gtest_repeat_test.cc │ │ ├── gtest_shuffle_test.py │ │ ├── gtest_shuffle_test_.cc │ │ ├── gtest_sole_header_test.cc │ │ ├── gtest_stress_test.cc │ │ ├── gtest_test_utils.py │ │ ├── gtest_throw_on_failure_ex_test.cc │ │ ├── gtest_throw_on_failure_test.py │ │ ├── gtest_throw_on_failure_test_.cc │ │ ├── gtest_uninitialized_test.py │ │ ├── gtest_uninitialized_test_.cc │ │ ├── gtest_unittest.cc │ │ ├── gtest_xml_outfile1_test_.cc │ │ ├── gtest_xml_outfile2_test_.cc │ │ ├── gtest_xml_outfiles_test.py │ │ ├── gtest_xml_output_unittest.py │ │ ├── gtest_xml_output_unittest_.cc │ │ ├── gtest_xml_test_utils.py │ │ ├── production.cc │ │ └── production.h │ └── xcode/ │ ├── Config/ │ │ ├── DebugProject.xcconfig │ │ ├── FrameworkTarget.xcconfig │ │ ├── General.xcconfig │ │ ├── ReleaseProject.xcconfig │ │ ├── StaticLibraryTarget.xcconfig │ │ └── TestTarget.xcconfig │ ├── Resources/ │ │ └── Info.plist │ ├── Samples/ │ │ └── FrameworkSample/ │ │ ├── Info.plist │ │ ├── WidgetFramework.xcodeproj/ │ │ │ └── project.pbxproj │ │ ├── runtests.sh │ │ ├── widget.cc │ │ ├── widget.h │ │ └── widget_test.cc │ ├── Scripts/ │ │ ├── runtests.sh │ │ └── versiongenerate.py │ └── gtest.xcodeproj/ │ └── project.pbxproj ├── hacks/ │ └── query-run/ │ ├── query-filter.py │ ├── query-info.py │ └── run-queries.py ├── not/ │ ├── CMakeLists.txt │ ├── LICENSE.TXT │ └── not.cpp └── suppressions/ ├── lsan/ │ ├── README.md │ └── lsan_sup.txt ├── supr_env.sh └── ubsan/ ├── README.md └── ubsan_sup.txt