CC-delcont-alt-0.1.1.1: DocTest.hs
import Test.DocTest (doctest) main = doctest ["CC_Test1.hs", "CC_Test2.hs", "Generator1.hs", "Generator2.hs", "ProtocolRecovery.hs"]
import Test.DocTest (doctest) main = doctest ["CC_Test1.hs", "CC_Test2.hs", "Generator1.hs", "Generator2.hs", "ProtocolRecovery.hs"]