6 |
<assertions precondition="true" postcondition="true" check="true" invariant="true" loop="true" supplier_precondition="true"/> |
<assertions precondition="true" postcondition="true" check="true" invariant="true" loop="true" supplier_precondition="true"/> |
7 |
<warning name="syntax" enabled="false"/></option> |
<warning name="syntax" enabled="false"/></option> |
8 |
<setting name="console_application" value="true"/> |
<setting name="console_application" value="true"/> |
9 |
|
<setting name="total_order_on_reals" value="true"/> |
10 |
<precompile name="precompile" location="$PRECOMPILED_BASE"/> |
<precompile name="precompile" location="$PRECOMPILED_BASE"/> |
11 |
$EWEASEL_DOTNET_SETTING |
$EWEASEL_DOTNET_SETTING |
12 |
<library name="base" location="$ISE_LIBRARY\library\base\base.ecf" use_application_options="true"/> |
<library name="base" location="$ISE_LIBRARY\library\base\base.ecf" use_application_options="true"/> |