=> Bootstrap dependency digest>=20211023: found digest-20220214
===> 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.1nb5
[  2%] Generating timestamp
[  6%] Building C object CMakeFiles/deepstate.dir/src/lib/DeepState.c.o
[  6%] Building C object CMakeFiles/deepstate32.dir/src/lib/DeepState.c.o
[  8%] Building C object CMakeFiles/deepstate32.dir/src/lib/Log.c.o
[ 10%] Building C object CMakeFiles/deepstate32.dir/src/lib/Option.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%] Building C object CMakeFiles/deepstate32.dir/src/lib/Stream.c.o
[ 12%] Built target target
[ 17%] Building C object CMakeFiles/deepstate.dir/src/lib/Log.c.o
[ 17%] Building C object CMakeFiles/deepstate.dir/src/lib/Option.c.o
[ 19%] Building C object CMakeFiles/deepstate.dir/src/lib/Stream.c.o
[ 21%] Linking C static library libdeepstate32.a
[ 21%] Built target deepstate32
[ 23%] Linking C static library libdeepstate.a
[ 23%] Built target deepstate
[ 25%] Building CXX object examples/CMakeFiles/BoringDisabled.dir/BoringDisabled.cpp.o
[ 27%] Building CXX object examples/CMakeFiles/Euler.dir/Euler.cpp.o
[ 29%] Building CXX object examples/CMakeFiles/EnsembledCrash.dir/EnsembledCrash.cpp.o
[ 31%] Building CXX object examples/CMakeFiles/Crash.dir/Crash.cpp.o
[ 34%] Linking CXX executable Crash
[ 36%] Linking CXX executable BoringDisabled
[ 38%] Linking CXX executable EnsembledCrash
[ 40%] Linking CXX executable Euler
[ 40%] Built target BoringDisabled
[ 40%] Built target EnsembledCrash
[ 40%] Built target Crash
[ 40%] Built target Euler
[ 42%] Building CXX object examples/CMakeFiles/Fixture.dir/Fixture.cpp.o
[ 44%] Building CXX object examples/CMakeFiles/FromEclipser.dir/FromEclipser.cpp.o
[ 46%] Building CXX object examples/CMakeFiles/InputPath.dir/InputPath.cpp.o
[ 48%] Building CXX object examples/CMakeFiles/IntegerArithmetic.dir/IntegerArithmetic.cpp.o
[ 51%] Linking CXX executable FromEclipser
[ 53%] Linking CXX executable Fixture
[ 55%] Linking CXX executable IntegerArithmetic
[ 55%] Built target FromEclipser
[ 55%] Built target Fixture
[ 57%] Building CXX object examples/CMakeFiles/IntegerOverflow.dir/IntegerOverflow.cpp.o
[ 59%] Building CXX object examples/CMakeFiles/Lists.dir/Lists.cpp.o
[ 59%] Built target IntegerArithmetic
[ 61%] Building CXX object examples/CMakeFiles/OneOf.dir/OneOf.cpp.o
[ 63%] Linking CXX executable InputPath
[ 65%] Linking CXX executable IntegerOverflow
[ 65%] Built target InputPath
[ 68%] Building CXX object examples/CMakeFiles/Primes.dir/Primes.cpp.o
[ 68%] Built target IntegerOverflow
[ 70%] Building CXX object examples/CMakeFiles/Runlen.dir/Runlen.cpp.o
[ 72%] Linking CXX executable Lists
[ 74%] Linking CXX executable OneOf
[ 74%] Built target Lists
[ 74%] Built target OneOf
[ 76%] Building CXX object examples/CMakeFiles/StreamingAndFormatting.dir/StreamingAndFormatting.cpp.o
[ 78%] Building CXX object examples/CMakeFiles/SimpleCrash.dir/SimpleCrash.cpp.o
[ 80%] Linking CXX executable Primes
[ 82%] Linking CXX executable Runlen
[ 82%] Built target Primes
[ 85%] Building C object examples/CMakeFiles/Squares.dir/Squares.c.o
[ 87%] Linking CXX executable SimpleCrash
[ 87%] Built target Runlen
/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
[ 89%] Linking CXX executable StreamingAndFormatting
[ 91%] Building CXX object examples/CMakeFiles/TakeOver.dir/TakeOver.cpp.o
[ 91%] Built target SimpleCrash
[ 91%] Built target StreamingAndFormatting
[ 93%] Building C object examples/CMakeFiles/Klee.dir/Klee.c.o
[ 95%] Linking C executable Squares
[ 97%] Linking C executable Klee
[ 97%] Built target Squares
[ 97%] Built target Klee
[100%] Linking CXX executable TakeOver
[100%] Built target TakeOver