Providing lables if constraints are not solved

eclipse / mita

mita

Eclipse Public License 2.0

56 stars 20 forks source link

Closed rherrmannr closed 5 years ago

rherrmannr commented 5 years ago

fix #309

Signed-off-by: Robin Herrmann Robin.Herrmann@itemis.com

mita-bot commented 5 years ago

Can one of the admins verify this patch?

tkutz commented 5 years ago

retest this please

rherrmannr commented 5 years ago

Yes, it still works. PR can be merged.