search

fefrei / prog2tests

Automatically exported from code.google.com/p/prog2tests
0 stars 0 forks source link

CnfContentBewied wrong display for update count #35

Closed GoogleCodeExporter closed 9 years ago

GoogleCodeExporter commented 9 years ago 
This is a stacktrace displaying the bug: 
https://forum.st.cs.uni-saarland.de/boards/viewthread?thread=1509#8553

Thanks for reporting :)

Original issue reported on code.google.com by Nichmen...@gmail.com on 9 Jul 2012 at 7:21

GoogleCodeExporter commented 9 years ago 
Fixed, now displays the correct failure message.

Original comment by Nichmen...@gmail.com on 9 Jul 2012 at 8:36