search

overturetool / overture

The Overture Tool
http://overturetool.org
GNU General Public License v3.0
48 stars 25 forks source link

"DEADLOCK detec" showing in CT #43

Closed joey-coleman closed 10 years ago

joey-coleman commented 10 years ago

The following bug was originally reported on Sourceforge by nick_battle, 2010-12-17 16:46:17:

When a CT test detects a deadlock, the result text is showing as "DEADLOCK detec" (ie. truncated). Low priority :-)

joey-coleman commented 10 years ago

Comment by augusto_silva, 2011-02-11 12:29:11:

Its showing everything. Didnt have problems, can you confirm again Nick?

joey-coleman commented 10 years ago

Comment by nick_battle, 2011-02-11 14:19:54:

Files were attached:

joey-coleman commented 10 years ago

Comment by nick_battle, 2011-02-11 14:20:06:

Are you sure you're looking in the right place? I don't mean the red console text, but the text in the CT Test Case result view. Picture attached (on XP).

joey-coleman commented 10 years ago

Comment by nick_battle, 2011-02-17 12:21:37:

I'm changing the priority and resolution of this. I've just come across another consequence of the problem, where a CT test gives a misleading error message by truncation. The test error (in the CT Test Case result view) says, "Error 4129: Exit "Certificates not unique" in APADC_Encryption at line 17". But that has been truncated... actually the error comes from line 173. This is unhelpful!

joey-coleman commented 10 years ago

Comment by lausdahl, 2011-02-18 12:10:40:

As expected there were an error in the xml printer. The error being a wrong index do to spaces when trying to remove last ; from the printed string.

Committed revision 2550.

joey-coleman commented 10 years ago

Comment by sf-robot, 2011-03-04 12:20:04:

This Tracker item was closed automatically by the system. It was previously set to a Pending status, and the original submitter did not respond within 14 days (the time period specified by the administrator of this Tracker).