testgen → solvers Relation

File in src/goto-symex/testgen	Includes file in src/solvers
ctest.cpp	smt / smt_conv.h
pytest.cpp	smt / smt_conv.h