Symbolic execution of a Tableswitch constraint creates invalid constraints

wwu-pi / muggl

A Symbolic ATCG

GNU General Public License v3.0

2 stars 1 forks source link

Closed Dagefoerde closed 8 years ago

Dagefoerde commented 9 years ago

Creates inequalities comparing IntVariables to null (instead of expected IntConstants)