1 2 3 4 5 6 7 8
z3_add_component(fuzzing NOT_LIBZ3_COMPONENT # Don't put this component inside libz3 SOURCES expr_delta.cpp expr_rand.cpp COMPONENT_DEPENDENCIES ast )