# 172 - Code Contracts: Validating state with Assert, Assume, ForAll, Exists

Date: 4/29/2010

Level: Beginner

Author: Derik Whittaker

Tags: Dot Net Refactoring

Views: (425) Watched: (2805)

In this episode we are going to take a look at how to utilize some additional features in the Code Contracts library to validate the state of our application.

We are going to focus our efforts here to learn how to use Assert and Assume to validate a given value in our code. We will also learn how to use ForAll and Exists, which can be used to validate content inside of an array or a collection.
Click here to Watch this Episode