=> Bootstrap dependency digest>=20010302: found digest-20190127 ===> Skipping vulnerability checks. WARNING: No /usr/pkg/pkgdb/pkg-vulnerabilities file found. WARNING: To fix run: `/usr/sbin/pkg_admin -K /usr/pkg/pkgdb fetch-pkg-vulnerabilities'. ===> Building for deepstate-0.1nb1 [ 2%] Generating timestamp [ 6%] Building C object CMakeFiles/deepstate32.dir/src/lib/DeepState.c.o [ 6%] Building C object CMakeFiles/deepstate.dir/src/lib/DeepState.c.o [ 8%] Building C object CMakeFiles/deepstate.dir/src/lib/Log.c.o [ 10%] Building C object CMakeFiles/deepstate.dir/src/lib/Option.c.o [ 12%] 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 /tmp/devel/deepstate/work/deepstate-61ae1ed422194bd879e50ee5b2bce93537310473/bin/deepstate/__init__.py -> build/lib/deepstate creating build/lib/deepstate/core copying /tmp/devel/deepstate/work/deepstate-61ae1ed422194bd879e50ee5b2bce93537310473/bin/deepstate/core/__init__.py -> build/lib/deepstate/core copying /tmp/devel/deepstate/work/deepstate-61ae1ed422194bd879e50ee5b2bce93537310473/bin/deepstate/core/base.py -> build/lib/deepstate/core copying /tmp/devel/deepstate/work/deepstate-61ae1ed422194bd879e50ee5b2bce93537310473/bin/deepstate/core/fuzz.py -> build/lib/deepstate/core copying /tmp/devel/deepstate/work/deepstate-61ae1ed422194bd879e50ee5b2bce93537310473/bin/deepstate/core/symex.py -> build/lib/deepstate/core creating build/lib/deepstate/executors copying /tmp/devel/deepstate/work/deepstate-61ae1ed422194bd879e50ee5b2bce93537310473/bin/deepstate/executors/__init__.py -> build/lib/deepstate/executors creating build/lib/deepstate/executors/fuzz copying /tmp/devel/deepstate/work/deepstate-61ae1ed422194bd879e50ee5b2bce93537310473/bin/deepstate/executors/fuzz/__init__.py -> build/lib/deepstate/executors/fuzz copying /tmp/devel/deepstate/work/deepstate-61ae1ed422194bd879e50ee5b2bce93537310473/bin/deepstate/executors/fuzz/afl.py -> build/lib/deepstate/executors/fuzz copying /tmp/devel/deepstate/work/deepstate-61ae1ed422194bd879e50ee5b2bce93537310473/bin/deepstate/executors/fuzz/angora.py -> build/lib/deepstate/executors/fuzz copying /tmp/devel/deepstate/work/deepstate-61ae1ed422194bd879e50ee5b2bce93537310473/bin/deepstate/executors/fuzz/eclipser.py -> build/lib/deepstate/executors/fuzz copying /tmp/devel/deepstate/work/deepstate-61ae1ed422194bd879e50ee5b2bce93537310473/bin/deepstate/executors/fuzz/honggfuzz.py -> build/lib/deepstate/executors/fuzz copying /tmp/devel/deepstate/work/deepstate-61ae1ed422194bd879e50ee5b2bce93537310473/bin/deepstate/executors/fuzz/libfuzzer.py -> build/lib/deepstate/executors/fuzz creating build/lib/deepstate/executors/symex copying /tmp/devel/deepstate/work/deepstate-61ae1ed422194bd879e50ee5b2bce93537310473/bin/deepstate/executors/symex/__init__.py -> build/lib/deepstate/executors/symex copying /tmp/devel/deepstate/work/deepstate-61ae1ed422194bd879e50ee5b2bce93537310473/bin/deepstate/executors/symex/angr.py -> build/lib/deepstate/executors/symex copying /tmp/devel/deepstate/work/deepstate-61ae1ed422194bd879e50ee5b2bce93537310473/bin/deepstate/executors/symex/manticore.py -> build/lib/deepstate/executors/symex creating build/lib/deepstate/executors/auxiliary copying /tmp/devel/deepstate/work/deepstate-61ae1ed422194bd879e50ee5b2bce93537310473/bin/deepstate/executors/auxiliary/__init__.py -> build/lib/deepstate/executors/auxiliary copying /tmp/devel/deepstate/work/deepstate-61ae1ed422194bd879e50ee5b2bce93537310473/bin/deepstate/executors/auxiliary/ensembler.py -> build/lib/deepstate/executors/auxiliary copying /tmp/devel/deepstate/work/deepstate-61ae1ed422194bd879e50ee5b2bce93537310473/bin/deepstate/executors/auxiliary/reducer.py -> build/lib/deepstate/executors/auxiliary [ 12%] Built target target [ 14%] Linking C static library libdeepstate.a [ 14%] Built target deepstate [ 19%] Building C object examples/CMakeFiles/Klee.dir/Klee.c.o [ 19%] Building CXX object examples/CMakeFiles/TakeOver.dir/TakeOver.cpp.o [ 21%] Building CXX object examples/CMakeFiles/FromEclipser.dir/FromEclipser.cpp.o [ 23%] Building C object CMakeFiles/deepstate32.dir/src/lib/Log.c.o [ 25%] Linking C executable Klee [ 25%] Built target Klee [ 27%] Building C object CMakeFiles/deepstate32.dir/src/lib/Option.c.o [ 29%] Building CXX object examples/CMakeFiles/Euler.dir/Euler.cpp.o [ 31%] Linking CXX executable TakeOver [ 34%] Linking CXX executable FromEclipser [ 36%] Building C object CMakeFiles/deepstate32.dir/src/lib/Stream.c.o [ 36%] Built target FromEclipser [ 36%] Built target TakeOver [ 38%] Building CXX object examples/CMakeFiles/SimpleCrash.dir/SimpleCrash.cpp.o [ 40%] Building C object examples/CMakeFiles/Squares.dir/Squares.c.o /tmp/devel/deepstate/work/deepstate-61ae1ed422194bd879e50ee5b2bce93537310473/examples/Squares.c: In function 'DeepState_Test_test_main': /tmp/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 Squares [ 44%] Linking CXX executable Euler [ 46%] Linking C static library libdeepstate32.a [ 46%] Built target Squares [ 46%] Built target Euler [ 48%] Building CXX object examples/CMakeFiles/Fixture.dir/Fixture.cpp.o [ 48%] Built target deepstate32 [ 51%] Building CXX object examples/CMakeFiles/EnsembledCrash.dir/EnsembledCrash.cpp.o [ 53%] Building CXX object examples/CMakeFiles/IntegerOverflow.dir/IntegerOverflow.cpp.o [ 55%] Linking CXX executable SimpleCrash [ 55%] Built target SimpleCrash [ 57%] Building CXX object examples/CMakeFiles/BoringDisabled.dir/BoringDisabled.cpp.o [ 59%] Linking CXX executable Fixture [ 61%] Linking CXX executable IntegerOverflow [ 63%] Linking CXX executable EnsembledCrash [ 63%] Built target Fixture [ 65%] Building CXX object examples/CMakeFiles/Crash.dir/Crash.cpp.o [ 65%] Built target IntegerOverflow [ 65%] Built target EnsembledCrash [ 68%] Building CXX object examples/CMakeFiles/InputPath.dir/InputPath.cpp.o [ 70%] Linking CXX executable BoringDisabled [ 72%] Building CXX object examples/CMakeFiles/IntegerArithmetic.dir/IntegerArithmetic.cpp.o [ 72%] Built target BoringDisabled [ 74%] Building CXX object examples/CMakeFiles/Lists.dir/Lists.cpp.o [ 76%] Linking CXX executable Crash [ 76%] Built target Crash [ 78%] Linking CXX executable IntegerArithmetic [ 80%] Building CXX object examples/CMakeFiles/Primes.dir/Primes.cpp.o [ 80%] Built target IntegerArithmetic [ 82%] Building CXX object examples/CMakeFiles/OneOf.dir/OneOf.cpp.o [ 85%] Linking CXX executable InputPath [ 87%] Linking CXX executable Lists [ 87%] Built target Lists [ 87%] Built target InputPath [ 89%] Building CXX object examples/CMakeFiles/Runlen.dir/Runlen.cpp.o [ 91%] Building CXX object examples/CMakeFiles/StreamingAndFormatting.dir/StreamingAndFormatting.cpp.o [ 93%] Linking CXX executable Primes [ 93%] Built target Primes [ 95%] Linking CXX executable OneOf [ 95%] Built target OneOf [ 97%] Linking CXX executable StreamingAndFormatting [100%] Linking CXX executable Runlen [100%] Built target StreamingAndFormatting [100%] Built target Runlen