Util Directory Reference

Directory dependency graph for Util:

Files
	ForbiddenPreconditionInfluence.h
	This file contains an analysis and utilities for determining if a verif precondition is dependent, via control-flow or data-flow, on forbidden sources (i.e., struct members or function return values).