陈清红
2025-04-14 0b84c9999f07bc46275f5947c4b8ebf5ce0c25cf
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
Quintiq file version 2.0
#parent: #root
Constraint HasTestInstanceInKT
{
  #keys: '2[110880.7.271728911][110880.7.271728915]'
  ConstraintCondition:
  [*
    convert_result := true;
    try
    {
      convert_result := not this.IsForBenchmarking() or this.HasMatchInTestInstanceKT();
    }
    onerror
    {
    }
    return convert_result;
  *]
  ConstraintKind: 'Soft'
  ConstraintText: '@Translations::LibOBT_Benchmarker_IsNotInKT()@'
  Description: 'indicate if this instance have test instance in kt'
}