3 commits

Author	SHA1	Message	Date
Alfredo Deza	a983b6b670	fix broken/commented tests ... Signed-off-by: Alfredo Deza <alfredo@deza.pe>	2014-12-12 13:53:43 -05:00
Alfredo Deza	8ee55a32f5	new tests for the new pseudo-random content files ... Signed-off-by: Alfredo Deza <alfredo@deza.pe>	2014-12-12 11:09:27 -05:00
Alfredo Deza	fc92b4925d	adding a proof for the realistic bugs ... Signed-off-by: Alfredo Deza <alfredo@deza.pe>	2014-12-10 16:55:54 -05:00