cprover

goto-checker → goto-symex Relation

File in goto-checkerIncludes file in goto-symex
solver_factory.hsymex_target_equation.h