2 Commits

Author	SHA1	Message	Date
Mark Mossberg	8840e31fc2	Add strlen model (#260) ... * add models * wip strcmp tests * t * Add some tests * Better asserts * More pythonic * Add effectivene null test * init strlen * pythonic range * clean * docstring * tmp * stuff * stuff * Complete test * Add another test * Doc * clean * Add symbolic arg check * Fix tests * Make arch generic * Clean comment * Add basic unconstrained test	2017-05-18 16:59:44 -04:00
Mark Mossberg	92eaf76236	Add strcmp model (#251) ... * add models * wip strcmp tests * t * Add some tests * Better asserts * More pythonic * Add effectivene null test * Handle symbolic pointer arguments	2017-05-17 11:44:10 -04:00