Ejemplo n.º 1
0
 [AssemblyCleanup] // Automatically called at the end of ClousotCacheTests
 public static void AssemblyCleanup()
 {
     TestDriver.Cleanup();
 }