|
<?xml version="1.0" encoding="UTF-8"?>
<projectDescription>
<name>DFDexampleSL</name>
<comment></comment>
<projects>
</projects>
<buildSpec>
<buildCommand>
<name>org.overture.ide.core.builder.VdmBuilder</name>
<arguments>
<dictionary>
<key>DYNAMIC_TYPE_CHECKS</key>
<value>true</value>
</dictionary>
<dictionary>
<key>INV_CHECKS</key>
<value>true</value>
</dictionary>
<dictionary>
<key>POST_CHECKS</key>
<value>true</value>
</dictionary>
<dictionary>
<key>PRE_CHECKS</key>
<value>true</value>
</dictionary>
<dictionary>
<key>SUPPRESS_WARNINGS</key>
<value>false</value>
</dictionary>
<dictionary>
<key>LANGUAGE_VERSION</key>
<value>vdm10</value>
</dictionary>
</arguments>
</buildCommand>
<buildCommand>
<name>org.overture.ide.plugins.latex.builder</name>
<arguments>
<dictionary>
<key>DOCUMENT</key>
<value>dfdexample.tex</value>
</dictionary>
</arguments>
</buildCommand>
</buildSpec>
<natures>
<nature>org.overture.ide.vdmsl.core.nature</nature>
</natures>
</projectDescription>
[ zur Elbe Produktseite wechseln0.10Quellennavigators
Analyse erneut starten
]
|
