search

VerifAPS / stvs

StructuredText Verification Studio
http://formal.iti.kit.edu/stvs
GNU General Public License v3.0
9 stars 0 forks source link

Error in writing free constraints #17

Open wadoon opened 7 years ago

wadoon commented 7 years ago

The constraint >=-10,<=-5 is translated to <constraint constraint="var_&gt;=-10, &lt;=-5" data-type="INT" name="var_x1"/>

csicar commented 7 years ago

should be <constraint constraint="&gt;=-10, &lt;=-5" data-type="INT" name="var_x1"/>

wadoon commented 7 years ago

relevant for the INDIN paper

csicar commented 7 years ago

Probably related: Failed Test https://circleci.com/gh/VerifAPS/stvs/50 edu.kit.iti.formal.stvs.logic.io.xml.verification.GeTeTaExporterTest.testExport()

The problem is likely that the wildcard-constraint for the free variable - gets escaped to var_-