testsuite Generic Testsuite
topsort Document

test BAMS example
file generics/BAMS.vdm succeeds

test ADT
file generics/adt.vdm succeeds

test Cases Expression Test
file generics/cases.vdm succeeds

test CROSSWORDS example
file generics/crosswords.vdm succeeds

test MFP1 Exercicio 1
file generics/exerc01.vdm succeeds

test MFP1 Exercicio 2
file generics/exerc02.vdm succeeds

test MFP1 Exercicio 3
file generics/exerc03.vdm succeeds

test MFP1 Exercicio 4
file generics/exerc04.vdm succeeds

test MFP1 Exercicio 5
file generics/exerc05.vdm succeeds

test MFP1 Exercicio 6
file generics/exerc06.vdm succeeds

test MFP1 Exercicio 7
file generics/exerc07.vdm succeeds

test MFP1 Exercicio 8
file generics/exerc08.vdm succeeds

test MFP1 Exercicio 9
file generics/exerc09.vdm succeeds

test MFP1 Exercicio 10
file generics/exerc10.vdm succeeds

test MFP1 Exercicio 11
file generics/exerc11.vdm succeeds

test MAA example
file generics/maa.vdm succeeds

test OPERATIONS example
file generics/operations.vdm succeeds

test REALM example
file generics/realm.vdm succeeds