4 |
<option warning="true" full_class_checking="true"> |
<option warning="true" full_class_checking="true"> |
5 |
<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"/> |
6 |
</option> |
</option> |
7 |
|
<setting name="console_application" value="true"/> |
8 |
<precompile name="precompile" location="$PRECOMPILED_BASE"/> |
<precompile name="precompile" location="$PRECOMPILED_BASE"/> |
9 |
$EWEASEL_DOTNET_SETTING |
$EWEASEL_DOTNET_SETTING |
10 |
<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"/> |