Commit 61f96ce8 authored by Philip Makedonski's avatar Philip Makedonski
Browse files

+ updated TDL library

parent 7ba9bedf
Loading
Loading
Loading
Loading
+4 −3
Original line number Diff line number Diff line
@Version: "1.8.1"
@Version: "1.8.2"
Package TDL {

	Constraint length
@@ -33,13 +33,14 @@ Package TDL {
	Annotation PICS
	Annotation PIXIT

    //standard annotations for STO
    //standard annotations for STO / TPD / TVD
    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