parseTestInvalidTyping.spec 138 Bytes
Newer Older
Christian Müller's avatar
Christian Müller committed
1 2 3 4 5 6 7 8 9 10 11
Signature
    EmptyPredicates
        R(a:R,b:S)
    Constants 
        ca:T

Transition System
    R(a,b) := R(ca,b)

Invariant
    True