2 commits

Author	SHA1	Message	Date
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