=> 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%] Building C object CMakeFiles/deepstate32.dir/src/lib/Log.c.o [ 4%] Building C object CMakeFiles/deepstate32.dir/src/lib/DeepState.c.o [ 6%] Building C object CMakeFiles/deepstate.dir/src/lib/DeepState.c.o [ 8%] Generating timestamp [ 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 [ 14%] 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/Crash.dir/Crash.cpp.o [ 31%] Building CXX object examples/CMakeFiles/EnsembledCrash.dir/EnsembledCrash.cpp.o [ 31%] Building CXX object examples/CMakeFiles/Euler.dir/Euler.cpp.o [ 34%] Linking CXX executable BoringDisabled [ 36%] Linking CXX executable Crash [ 38%] Linking CXX executable EnsembledCrash [ 38%] Built target Crash [ 38%] Built target BoringDisabled [ 38%] Built target EnsembledCrash [ 40%] Linking CXX executable 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 [ 46%] Built target Euler [ 48%] Building CXX object examples/CMakeFiles/IntegerArithmetic.dir/IntegerArithmetic.cpp.o [ 51%] Linking CXX executable FromEclipser [ 53%] Linking CXX executable Fixture [ 53%] Built target FromEclipser [ 53%] Built target Fixture [ 55%] Building CXX object examples/CMakeFiles/IntegerOverflow.dir/IntegerOverflow.cpp.o [ 57%] Building CXX object examples/CMakeFiles/Lists.dir/Lists.cpp.o [ 59%] Linking CXX executable IntegerArithmetic [ 59%] Built target IntegerArithmetic [ 61%] Linking CXX executable InputPath [ 63%] Building CXX object examples/CMakeFiles/OneOf.dir/OneOf.cpp.o [ 63%] Built target InputPath [ 65%] Linking CXX executable IntegerOverflow [ 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 [ 72%] Built target Lists [ 74%] Linking CXX executable OneOf [ 76%] Building CXX object examples/CMakeFiles/SimpleCrash.dir/SimpleCrash.cpp.o [ 76%] Built target OneOf [ 78%] Building CXX object examples/CMakeFiles/StreamingAndFormatting.dir/StreamingAndFormatting.cpp.o [ 80%] Linking CXX executable Primes [ 80%] Built target Primes [ 82%] Building C object examples/CMakeFiles/Squares.dir/Squares.c.o [ 85%] Linking CXX executable 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 [ 87%] Linking CXX executable SimpleCrash [ 87%] Built target Runlen [ 89%] Building CXX object examples/CMakeFiles/TakeOver.dir/TakeOver.cpp.o [ 91%] Linking C executable Squares [ 91%] Built target SimpleCrash [ 93%] Building C object examples/CMakeFiles/Klee.dir/Klee.c.o [ 93%] Built target Squares [ 95%] Linking CXX executable StreamingAndFormatting [ 97%] Linking C executable Klee [ 97%] Built target StreamingAndFormatting [ 97%] Built target Klee [100%] Linking CXX executable TakeOver [100%] Built target TakeOver