Skip to content

RegressionTests/InsertHighPriority.tl

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
#!!! TethysL file automatically generated from RegressionTests/InsertHighPriority.xml.

aggregate TestSafety {
  run in parallel

  behavior Guidance:AltitudeEnvelope {
    run in parallel

    set minAltitude = 5 meter
  }

  behavior Guidance:DepthEnvelope {
    run in parallel

    set maxDepth = 300 meter
  }

  behavior Guidance:OffshoreEnvelope {
    run in parallel

    set minOffshore = 1.0 kilometer
  }
}