=> Bootstrap dependency digest>=20010302: found digest-20190127 ===> Skipping vulnerability checks. WARNING: No /usr/pkg/pkgdb/pkg-vulnerabilities file found. WARNING: To fix run: `/usr/pkg/sbin/pkg_admin -K /usr/pkg/pkgdb fetch-pkg-vulnerabilities'. ===> Building for deepstate-0.1nb1 [ 2%] Building C object CMakeFiles/deepstate32.dir/src/lib/Stream.c.o [ 6%] Building C object CMakeFiles/deepstate32.dir/src/lib/Log.c.o [ 6%] Building C object CMakeFiles/deepstate32.dir/src/lib/DeepState.c.o [ 8%] Building C object CMakeFiles/deepstate32.dir/src/lib/Option.c.o [ 14%] Building C object CMakeFiles/deepstate.dir/src/lib/Log.c.o [ 14%] Building C object CMakeFiles/deepstate.dir/src/lib/DeepState.c.o [ 19%] Generating timestamp [ 19%] Building C object CMakeFiles/deepstate.dir/src/lib/Option.c.o [ 19%] Building C object CMakeFiles/deepstate.dir/src/lib/Stream.c.o running build running build_py creating build creating build/lib creating build/lib/deepstate copying /var/pkgsrc/work/devel/deepstate/work/deepstate-61ae1ed422194bd879e50ee5b2bce93537310473/bin/deepstate/__init__.py -> build/lib/deepstate creating build/lib/deepstate/core copying /var/pkgsrc/work/devel/deepstate/work/deepstate-61ae1ed422194bd879e50ee5b2bce93537310473/bin/deepstate/core/__init__.py -> build/lib/deepstate/core copying /var/pkgsrc/work/devel/deepstate/work/deepstate-61ae1ed422194bd879e50ee5b2bce93537310473/bin/deepstate/core/base.py -> build/lib/deepstate/core copying /var/pkgsrc/work/devel/deepstate/work/deepstate-61ae1ed422194bd879e50ee5b2bce93537310473/bin/deepstate/core/fuzz.py -> build/lib/deepstate/core copying /var/pkgsrc/work/devel/deepstate/work/deepstate-61ae1ed422194bd879e50ee5b2bce93537310473/bin/deepstate/core/symex.py -> build/lib/deepstate/core creating build/lib/deepstate/executors copying /var/pkgsrc/work/devel/deepstate/work/deepstate-61ae1ed422194bd879e50ee5b2bce93537310473/bin/deepstate/executors/__init__.py -> build/lib/deepstate/executors creating build/lib/deepstate/executors/fuzz copying /var/pkgsrc/work/devel/deepstate/work/deepstate-61ae1ed422194bd879e50ee5b2bce93537310473/bin/deepstate/executors/fuzz/__init__.py -> build/lib/deepstate/executors/fuzz copying /var/pkgsrc/work/devel/deepstate/work/deepstate-61ae1ed422194bd879e50ee5b2bce93537310473/bin/deepstate/executors/fuzz/afl.py -> build/lib/deepstate/executors/fuzz copying /var/pkgsrc/work/devel/deepstate/work/deepstate-61ae1ed422194bd879e50ee5b2bce93537310473/bin/deepstate/executors/fuzz/angora.py -> build/lib/deepstate/executors/fuzz copying /var/pkgsrc/work/devel/deepstate/work/deepstate-61ae1ed422194bd879e50ee5b2bce93537310473/bin/deepstate/executors/fuzz/eclipser.py -> build/lib/deepstate/executors/fuzz copying /var/pkgsrc/work/devel/deepstate/work/deepstate-61ae1ed422194bd879e50ee5b2bce93537310473/bin/deepstate/executors/fuzz/honggfuzz.py -> build/lib/deepstate/executors/fuzz copying /var/pkgsrc/work/devel/deepstate/work/deepstate-61ae1ed422194bd879e50ee5b2bce93537310473/bin/deepstate/executors/fuzz/libfuzzer.py -> build/lib/deepstate/executors/fuzz creating build/lib/deepstate/executors/symex copying /var/pkgsrc/work/devel/deepstate/work/deepstate-61ae1ed422194bd879e50ee5b2bce93537310473/bin/deepstate/executors/symex/__init__.py -> build/lib/deepstate/executors/symex copying /var/pkgsrc/work/devel/deepstate/work/deepstate-61ae1ed422194bd879e50ee5b2bce93537310473/bin/deepstate/executors/symex/angr.py -> build/lib/deepstate/executors/symex copying /var/pkgsrc/work/devel/deepstate/work/deepstate-61ae1ed422194bd879e50ee5b2bce93537310473/bin/deepstate/executors/symex/manticore.py -> build/lib/deepstate/executors/symex creating build/lib/deepstate/executors/auxiliary copying /var/pkgsrc/work/devel/deepstate/work/deepstate-61ae1ed422194bd879e50ee5b2bce93537310473/bin/deepstate/executors/auxiliary/__init__.py -> build/lib/deepstate/executors/auxiliary copying /var/pkgsrc/work/devel/deepstate/work/deepstate-61ae1ed422194bd879e50ee5b2bce93537310473/bin/deepstate/executors/auxiliary/ensembler.py -> build/lib/deepstate/executors/auxiliary copying /var/pkgsrc/work/devel/deepstate/work/deepstate-61ae1ed422194bd879e50ee5b2bce93537310473/bin/deepstate/executors/auxiliary/reducer.py -> build/lib/deepstate/executors/auxiliary [ 19%] Built target target [ 21%] Linking C static library libdeepstate.a [ 21%] Built target deepstate [ 23%] Linking C static library libdeepstate32.a [ 27%] Building CXX object examples/CMakeFiles/EnsembledCrash.dir/EnsembledCrash.cpp.o [ 27%] Building C object examples/CMakeFiles/Squares.dir/Squares.c.o [ 34%] Building CXX object examples/CMakeFiles/Fixture.dir/Fixture.cpp.o [ 34%] Building CXX object examples/CMakeFiles/Euler.dir/Euler.cpp.o [ 36%] Building C object examples/CMakeFiles/Klee.dir/Klee.c.o [ 34%] Building CXX object examples/CMakeFiles/FromEclipser.dir/FromEclipser.cpp.o [ 40%] Building CXX object examples/CMakeFiles/TakeOver.dir/TakeOver.cpp.o [ 40%] Building CXX object examples/CMakeFiles/SimpleCrash.dir/SimpleCrash.cpp.o [ 40%] Built target deepstate32 /var/pkgsrc/work/devel/deepstate/work/deepstate-61ae1ed422194bd879e50ee5b2bce93537310473/examples/Squares.c: In function 'DeepState_Test_test_main': /var/pkgsrc/work/devel/deepstate/work/deepstate-61ae1ed422194bd879e50ee5b2bce93537310473/examples/Squares.c:15:25: warning: implicit declaration of function 'old_main'; did you mean 'fd_mask'? [-Wimplicit-function-declaration] DeepState_Assert(0 == old_main(2, new_args)); ^~~~~~~~ fd_mask [ 42%] Linking C executable Klee [ 44%] Building CXX object examples/CMakeFiles/IntegerOverflow.dir/IntegerOverflow.cpp.o [ 46%] Linking C executable Squares [ 48%] Linking CXX executable TakeOver [ 53%] Linking CXX executable FromEclipser [ 53%] Linking CXX executable SimpleCrash [ 55%] Linking CXX executable EnsembledCrash [ 57%] Linking CXX executable Fixture [ 59%] Linking CXX executable IntegerOverflow [ 61%] Linking CXX executable Euler [ 61%] Built target Squares [ 61%] Built target FromEclipser [ 61%] Built target Euler [ 61%] Built target EnsembledCrash [ 61%] Built target Klee [ 61%] Built target Fixture [ 61%] Built target SimpleCrash [ 61%] Built target IntegerOverflow [ 61%] Built target TakeOver [ 63%] Building CXX object examples/CMakeFiles/BoringDisabled.dir/BoringDisabled.cpp.o [ 65%] Building CXX object examples/CMakeFiles/Crash.dir/Crash.cpp.o [ 68%] Building CXX object examples/CMakeFiles/IntegerArithmetic.dir/IntegerArithmetic.cpp.o [ 70%] Building CXX object examples/CMakeFiles/Lists.dir/Lists.cpp.o [ 72%] Building CXX object examples/CMakeFiles/InputPath.dir/InputPath.cpp.o [ 74%] Building CXX object examples/CMakeFiles/OneOf.dir/OneOf.cpp.o [ 76%] Building CXX object examples/CMakeFiles/Primes.dir/Primes.cpp.o [ 78%] Building CXX object examples/CMakeFiles/Runlen.dir/Runlen.cpp.o [ 80%] Building CXX object examples/CMakeFiles/StreamingAndFormatting.dir/StreamingAndFormatting.cpp.o [ 82%] Linking CXX executable Crash [ 85%] Linking CXX executable BoringDisabled [ 87%] Linking CXX executable StreamingAndFormatting [ 89%] Linking CXX executable IntegerArithmetic [ 89%] Built target Crash [ 91%] Linking CXX executable Primes [ 91%] Built target BoringDisabled [ 91%] Built target IntegerArithmetic [ 93%] Linking CXX executable Runlen [ 93%] Built target Primes [ 95%] Linking CXX executable OneOf [ 95%] Built target StreamingAndFormatting [ 95%] Built target Runlen [ 97%] Linking CXX executable InputPath [ 97%] Built target OneOf [100%] Linking CXX executable Lists [100%] Built target Lists [100%] Built target InputPath