backup/EWF
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Assertions turn on.

Browse Source
This commit is contained in:
jvelilla
2013-10-04 12:32:37 -03:00
parent 9a10e6f2a3
commit b97073b14a
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
library/network/protocol/content_negotiation/conneg-safe.ecf
View File

@@ -9,7 +9,7 @@
<exclude>/.svn$</exclude> <exclude>/.svn$</exclude>
</file_rule> </file_rule>
<option warning="true" full_class_checking="true" is_attached_by_default="true" void_safety="all" syntax="standard"> <option warning="true" full_class_checking="true" is_attached_by_default="true" void_safety="all" syntax="standard">
<assertions precondition="true"/> <assertions precondition="true" postcondition="true" invariant="true"/>
</option> </option>
<library name="base" location="$ISE_LIBRARY\library\base\base-safe.ecf"/> <library name="base" location="$ISE_LIBRARY\library\base\base-safe.ecf"/>
<library name="http" location="..\http\http-safe.ecf" readonly="false"/> <library name="http" location="..\http\http-safe.ecf" readonly="false"/>