search

zmughal / treaty

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

missing contracts in exported CSV spreadsheets #12

Closed GoogleCodeExporter closed 9 years ago

GoogleCodeExporter commented 9 years ago 
Exporting the verification results into CSV spreadsheet only exports
successful verifications but not the failed ones.

(occured when verifying org.eclipse.ui.themes contract)

Original issue reported on code.google.com by lluu...@hotmail.com on 27 Jan 2009 at 12:19

GoogleCodeExporter commented 9 years ago 
solved

Original comment by jens.dietrich on 27 Jan 2009 at 2:47