Commit 06725f7b authored by Philip Makedonski's avatar Philip Makedonski
Browse files

+ updated tests

parent 41ec938e
Loading
Loading
Loading
Loading
Loading
+2 −1
Original line number Diff line number Diff line
@@ -26,9 +26,10 @@ Package: TDL
  AnnotationType: Initial conditions
  AnnotationType: Expected behaviour
  AnnotationType: Final conditions
  AnnotationType: Test Purpose Description
  AnnotationType: Test Purpose
  AnnotationType: when
  AnnotationType: then
  AnnotationType: Variant
  PredefinedFunction: ==
  PredefinedFunction: !=
  PredefinedFunction: and
+3 −2
Original line number Diff line number Diff line
@Version: "1.8.1"
@Version: "1.8.2"
Package TDL {
	Constraint length
	Constraint minLength
@@ -33,9 +33,10 @@ Package TDL {
    Annotation Initial conditions
    Annotation Expected behaviour
    Annotation Final conditions
    Annotation Test Purpose Description
    Annotation Test Purpose
    Annotation when
    Annotation then
    Annotation Variant
	
	Predefined == returns Boolean
	Predefined != returns Boolean