testsuite Expressions Testsuite
topsort ExpressionList

test Family of Evaluators: Arithmetic infix operator
file expressions/arithmetic.vdm succeeds

test Family of Evaluators: Set infix operator
file expressions/sets.vdm succeeds

test Family of Evaluators: Map infix operator
file expressions/mapinfix.vdm succeeds

test Family of Evaluators: Map inverse
file expressions/mapinverse.vdm succeeds

test Family of Evaluators: Sequence infix operator
file expressions/sequenceinfix.vdm succeeds

test Family of Evaluators: Arithmetic prefix operator
file expressions/arithmeticprefix.vdm succeeds

test Family of Evaluators: Set prefix operator
file expressions/setprefix.vdm succeeds

test Family of Evaluators: Seq prefix operator
file expressions/seqprefix.vdm succeeds

test Family of Evaluators: Map prefix operator
file expressions/mapprefix.vdm succeeds

test Family of Relations: Relational infix
file expressions/relationalinfix.vdm succeeds

test Family of Relations: Set relational operator
file expressions/setrelational.vdm succeeds

test Family of Connectives
file expressions/connectives.vdm succeeds

test Family of Applicators: subsequence
file expressions/subsequence.vdm succeeds

test Family of Applicators: apply
file expressions/apply.vdm succeeds

test Family of Applicators: field select
file expressions/fieldselect.vdm succeeds

test Family of Combinators: arithmetic iterate
file expressions/iterate-arith.vdm succeeds

test Family of Combinators: map iterate
file expressions/iterate-map.vdm succeeds

test Family of Combinators: function iterate
file expressions/iterate-function.vdm succeeds

test Family of Combinators: map composition
file expressions/composition-map.vdm succeeds

test Family of Combinators: function composition
file expressions/composition-function.vdm succeeds

test Family of Constructors: forall expression
file expressions/constructors-forall.vdm succeeds

test Family of Constructors: let expression
file expressions/constructors-let.vdm succeeds

test Family of Constructors: if expression
file expressions/constructors-if.vdm succeeds

test Family of Constructors: exists expression
file expressions/constructors-exists.vdm succeeds

test Family of Constructors: iota expression
file expressions/constructors-iota.vdm succeeds

test Ambiguity between similar operators
file expressions/maporseqmod.vdm succeeds

test Parsing error because forall is not between parentisis
file expressions/and-forall.vdm succeeds

test Parsing error because expression between subsequence is not between bracketss
file expressions/subsequence2.vdm succeeds

test Parsing error because let expression is not between brackets
file expressions/and-let.vdm succeeds

test Parse error because exists expression after and is not between brackets
file expressions/and-exists.vdm succeeds