witness → equation Relation

File in src/goto-symex/witness	Includes file in src/goto-symex/equation
witnesses.cpp	slice.h
witnesses.h	symex_target_equation.h