Better proofs
authorMaximilian Szengel <gnunet@maxsz.de>
Wed, 6 Jun 2012 10:54:07 +0000 (10:54 +0000)
committerMaximilian Szengel <gnunet@maxsz.de>
Wed, 6 Jun 2012 10:54:07 +0000 (10:54 +0000)
commit40c65ed83cc3ab82c87e65e3291b95fcd214fd02
tree906fe8ce2862689d7a55740251e719e39213d539
parent1cb9d12b2d5e27fd4d7401eb7087ffb65fd45dc2
Better proofs
src/regex/regex.c
src/regex/test_regex_iterate_api.c