=> Bootstrap dependency digest>=20211023: found digest-20220214 ===> Building for deepstate-0.1nb5 [ 2%] Building C object CMakeFiles/deepstate.dir/src/lib/DeepState.c.o [ 6%] Building C object CMakeFiles/deepstate32.dir/src/lib/DeepState.c.o [ 4%] Generating timestamp running build running build_py creating build creating build/lib creating build/lib/deepstate copying /Users/pbulk/build/devel/deepstate/work/deepstate-61ae1ed422194bd879e50ee5b2bce93537310473/bin/deepstate/__init__.py -> build/lib/deepstate [ 8%] Building C object CMakeFiles/deepstate.dir/src/lib/Log.c.o creating build/lib/deepstate/core copying /Users/pbulk/build/devel/deepstate/work/deepstate-61ae1ed422194bd879e50ee5b2bce93537310473/bin/deepstate/core/__init__.py -> build/lib/deepstate/core copying /Users/pbulk/build/devel/deepstate/work/deepstate-61ae1ed422194bd879e50ee5b2bce93537310473/bin/deepstate/core/base.py -> build/lib/deepstate/core copying /Users/pbulk/build/devel/deepstate/work/deepstate-61ae1ed422194bd879e50ee5b2bce93537310473/bin/deepstate/core/fuzz.py -> build/lib/deepstate/core copying /Users/pbulk/build/devel/deepstate/work/deepstate-61ae1ed422194bd879e50ee5b2bce93537310473/bin/deepstate/core/symex.py -> build/lib/deepstate/core creating build/lib/deepstate/executors copying /Users/pbulk/build/devel/deepstate/work/deepstate-61ae1ed422194bd879e50ee5b2bce93537310473/bin/deepstate/executors/__init__.py -> build/lib/deepstate/executors creating build/lib/deepstate/executors/fuzz copying /Users/pbulk/build/devel/deepstate/work/deepstate-61ae1ed422194bd879e50ee5b2bce93537310473/bin/deepstate/executors/fuzz/__init__.py -> build/lib/deepstate/executors/fuzz copying /Users/pbulk/build/devel/deepstate/work/deepstate-61ae1ed422194bd879e50ee5b2bce93537310473/bin/deepstate/executors/fuzz/afl.py -> build/lib/deepstate/executors/fuzz copying /Users/pbulk/build/devel/deepstate/work/deepstate-61ae1ed422194bd879e50ee5b2bce93537310473/bin/deepstate/executors/fuzz/angora.py -> build/lib/deepstate/executors/fuzz copying /Users/pbulk/build/devel/deepstate/work/deepstate-61ae1ed422194bd879e50ee5b2bce93537310473/bin/deepstate/executors/fuzz/eclipser.py -> build/lib/deepstate/executors/fuzz copying /Users/pbulk/build/devel/deepstate/work/deepstate-61ae1ed422194bd879e50ee5b2bce93537310473/bin/deepstate/executors/fuzz/honggfuzz.py -> build/lib/deepstate/executors/fuzz copying /Users/pbulk/build/devel/deepstate/work/deepstate-61ae1ed422194bd879e50ee5b2bce93537310473/bin/deepstate/executors/fuzz/libfuzzer.py -> build/lib/deepstate/executors/fuzz creating build/lib/deepstate/executors/symex copying /Users/pbulk/build/devel/deepstate/work/deepstate-61ae1ed422194bd879e50ee5b2bce93537310473/bin/deepstate/executors/symex/__init__.py -> build/lib/deepstate/executors/symex copying /Users/pbulk/build/devel/deepstate/work/deepstate-61ae1ed422194bd879e50ee5b2bce93537310473/bin/deepstate/executors/symex/angr.py -> build/lib/deepstate/executors/symex copying /Users/pbulk/build/devel/deepstate/work/deepstate-61ae1ed422194bd879e50ee5b2bce93537310473/bin/deepstate/executors/symex/manticore.py -> build/lib/deepstate/executors/symex creating build/lib/deepstate/executors/auxiliary copying /Users/pbulk/build/devel/deepstate/work/deepstate-61ae1ed422194bd879e50ee5b2bce93537310473/bin/deepstate/executors/auxiliary/__init__.py -> build/lib/deepstate/executors/auxiliary copying /Users/pbulk/build/devel/deepstate/work/deepstate-61ae1ed422194bd879e50ee5b2bce93537310473/bin/deepstate/executors/auxiliary/ensembler.py -> build/lib/deepstate/executors/auxiliary copying /Users/pbulk/build/devel/deepstate/work/deepstate-61ae1ed422194bd879e50ee5b2bce93537310473/bin/deepstate/executors/auxiliary/reducer.py -> build/lib/deepstate/executors/auxiliary [ 11%] Building C object CMakeFiles/deepstate32.dir/src/lib/Log.c.o [ 11%] Built target target [ 15%] Building C object CMakeFiles/deepstate.dir/src/lib/Option.c.o [ 15%] Building C object CMakeFiles/deepstate.dir/src/lib/Stream.c.o [ 17%] Building C object CMakeFiles/deepstate32.dir/src/lib/Option.c.o [ 20%] Linking C static library libdeepstate.a [ 22%] Building C object CMakeFiles/deepstate32.dir/src/lib/Stream.c.o [ 22%] Built target deepstate [ 24%] Linking C static library libdeepstate32.a [ 26%] Building CXX object examples/CMakeFiles/BoringDisabled.dir/BoringDisabled.cpp.o [ 28%] Building CXX object examples/CMakeFiles/Crash.dir/Crash.cpp.o [ 28%] Built target deepstate32 [ 31%] Building CXX object examples/CMakeFiles/EnsembledCrash.dir/EnsembledCrash.cpp.o /Users/pbulk/build/devel/deepstate/work/deepstate-61ae1ed422194bd879e50ee5b2bce93537310473/examples/BoringDisabled.cpp:30:3: warning: 'register' storage class specifier is deprecated and incompatible with C++17 [-Wdeprecated-register] register uint8_t ch0 = (uint8_t) pass[2]; ^~~~~~~~~ /Users/pbulk/build/devel/deepstate/work/deepstate-61ae1ed422194bd879e50ee5b2bce93537310473/examples/BoringDisabled.cpp:35:3: warning: 'register' storage class specifier is deprecated and incompatible with C++17 [-Wdeprecated-register] register uint8_t ch1 = (uint8_t) pass[8]; ^~~~~~~~~ 2 warnings generated. [ 35%] Linking CXX executable Crash [ 35%] Linking CXX executable BoringDisabled [ 35%] Built target Crash [ 35%] Built target BoringDisabled [ 37%] Linking CXX executable EnsembledCrash [ 40%] Building CXX object examples/CMakeFiles/Fixture.dir/Fixture.cpp.o [ 42%] Building CXX object examples/CMakeFiles/Euler.dir/Euler.cpp.o [ 42%] Built target EnsembledCrash [ 44%] Building CXX object examples/CMakeFiles/FromEclipser.dir/FromEclipser.cpp.o [ 46%] Linking CXX executable Fixture [ 48%] Linking CXX executable Euler [ 48%] Built target Fixture [ 48%] Built target Euler [ 51%] Linking CXX executable FromEclipser [ 53%] Building CXX object examples/CMakeFiles/InputPath.dir/InputPath.cpp.o [ 53%] Built target FromEclipser [ 55%] Building CXX object examples/CMakeFiles/IntegerArithmetic.dir/IntegerArithmetic.cpp.o [ 57%] Building CXX object examples/CMakeFiles/IntegerOverflow.dir/IntegerOverflow.cpp.o /Users/pbulk/build/devel/deepstate/work/deepstate-61ae1ed422194bd879e50ee5b2bce93537310473/examples/InputPath.cpp:78:21: warning: result of comparison against a string literal is unspecified (use an explicit string comparison function instead) [-Wstring-compare] ASSERT(store.data != "Admin") << "cannot have admin username"; ^ ~~~~~~~ /Users/pbulk/build/devel/deepstate/work/deepstate-61ae1ed422194bd879e50ee5b2bce93537310473/src/include/deepstate/DeepState.hpp:773:31: note: expanded from macro 'ASSERT' DeepState_LogFatal, !(expr), __FILE__, __LINE__) ^~~~ [ 60%] Linking CXX executable IntegerArithmetic 1 warning generated. [ 62%] Linking CXX executable InputPath [ 64%] Linking CXX executable IntegerOverflow [ 64%] Built target IntegerArithmetic [ 64%] Built target InputPath [ 64%] Built target IntegerOverflow [ 66%] Building CXX object examples/CMakeFiles/Lists.dir/Lists.cpp.o [ 68%] Building CXX object examples/CMakeFiles/OneOf.dir/OneOf.cpp.o [ 71%] Building CXX object examples/CMakeFiles/Primes.dir/Primes.cpp.o [ 73%] Linking CXX executable Lists [ 75%] Linking CXX executable Primes [ 75%] Built target Lists [ 75%] Built target Primes [ 77%] Linking CXX executable OneOf [ 80%] Building CXX object examples/CMakeFiles/Runlen.dir/Runlen.cpp.o [ 80%] Built target OneOf [ 82%] Building CXX object examples/CMakeFiles/SimpleCrash.dir/SimpleCrash.cpp.o [ 84%] Building CXX object examples/CMakeFiles/StreamingAndFormatting.dir/StreamingAndFormatting.cpp.o [ 88%] Linking CXX executable Runlen [ 88%] Linking CXX executable SimpleCrash [ 88%] Built target Runlen [ 88%] Built target SimpleCrash [ 91%] Linking CXX executable StreamingAndFormatting [ 93%] Building CXX object examples/CMakeFiles/TakeOver.dir/TakeOver.cpp.o [ 93%] Built target StreamingAndFormatting [ 95%] Building C object examples/CMakeFiles/Klee.dir/Klee.c.o [ 97%] Linking C executable Klee [100%] Linking CXX executable TakeOver [100%] Built target Klee [100%] Built target TakeOver