deltadmc.test	deltadmc.test
deltadmca.test	deltadmca.test
deltarhodcca.test	deltarhodcca.test
dfa.test	dfa.test
dmc.test	dmc.test
dmca.test	dmca.test
rhodcca.test	rhodcca.test
