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