|
7 | 7 | <exclude>/\.git$</exclude> |
8 | 8 | <exclude>/\.svn$</exclude> |
9 | 9 | </file_rule> |
10 | | - <option debug="true" warning="warning" manifest_array_type="mismatch_warning"> |
| 10 | + <option warning="warning" manifest_array_type="mismatch_warning"> |
11 | 11 | <assertions precondition="true" postcondition="true" check="true" invariant="true" loop="true" supplier_precondition="true"/> |
12 | 12 | </option> |
13 | 13 | <setting name="console_application" value="true"/> |
14 | | - <setting name="total_order_on_reals" value="false"/> |
15 | | - <setting name="dead_code_removal" value="feature"/> |
16 | 14 | <capability> |
17 | | - <catcall_detection support="none"/> |
18 | 15 | <concurrency support="none"/> |
19 | 16 | <void_safety support="all"/> |
20 | 17 | </capability> |
|
27 | 24 | </target> |
28 | 25 | <target name="sheets_api" extends="tests"> |
29 | 26 | <root class="TEST_SHEETS_API" feature="make"/> |
30 | | - <option debug="true"> |
31 | | - <debug name="test_create_sheet" enabled="true"/> |
| 27 | + <option warning="warning" manifest_array_type="mismatch_warning"> |
| 28 | + <assertions precondition="true" postcondition="true" check="true" invariant="true" loop="true" supplier_precondition="true"/> |
32 | 29 | </option> |
33 | | - <setting name="total_order_on_reals" value="true"/> |
34 | 30 | <library name="testing" location="$ISE_LIBRARY\library\testing\testing-safe.ecf"/> |
35 | 31 | <cluster name="test" location=".\" recursive="true"/> |
36 | 32 | </target> |
37 | 33 | <target name="sheets_i" extends="tests"> |
38 | 34 | <root class="TEST_SHEETS_I" feature="make"/> |
39 | | - <option debug="true"> |
40 | | - <debug name="test_create_sheet" enabled="true"/> |
| 35 | + <option warning="warning" manifest_array_type="mismatch_warning"> |
| 36 | + <assertions precondition="true" postcondition="true" check="true" invariant="true" loop="true" supplier_precondition="true"/> |
41 | 37 | </option> |
42 | | - <setting name="total_order_on_reals" value="true"/> |
43 | 38 | <library name="testing" location="$ISE_LIBRARY\library\testing\testing-safe.ecf"/> |
44 | 39 | <cluster name="test" location=".\" recursive="true"/> |
45 | 40 | </target> |
|
0 commit comments