In this video I cover some of the more advanced testing features of Dapptools. Specifically I go over symbolic testing.