File tree 1 file changed +2
-2
lines changed
1 file changed +2
-2
lines changed Original file line number Diff line number Diff line change 27
27
<option warning =" warning" manifest_array_type =" mismatch_warning" >
28
28
<assertions precondition =" true" postcondition =" true" check =" true" invariant =" true" loop =" true" supplier_precondition =" true" />
29
29
</option >
30
- <library name =" testing" location =" $ISE_LIBRARY\library\testing\testing-safe .ecf" />
30
+ <library name =" testing" location =" $ISE_LIBRARY\library\testing\testing.ecf" />
31
31
<cluster name =" test" location =" .\" recursive =" true" />
32
32
</target >
33
33
<target name =" sheets_i" extends =" tests" >
34
34
<root class =" TEST_SHEETS_I" feature =" make" />
35
35
<option warning =" warning" manifest_array_type =" mismatch_warning" >
36
36
<assertions precondition =" true" postcondition =" true" check =" true" invariant =" true" loop =" true" supplier_precondition =" true" />
37
37
</option >
38
- <library name =" testing" location =" $ISE_LIBRARY\library\testing\testing-safe .ecf" />
38
+ <library name =" testing" location =" $ISE_LIBRARY\library\testing\testing.ecf" />
39
39
<cluster name =" test" location =" .\" recursive =" true" />
40
40
</target >
41
41
</system >
You can’t perform that action at this time.
0 commit comments