3 Commits

Author	SHA1	Message	Date
Peter Goodman	1aa468dabc	Minor formatting changes.	2018-02-06 12:18:06 +08:00
Peter Goodman	2eaeb7480c	Adding Google Flags-like command-line option parsing, though implemented in C, to the main executable. The code is ported from Granary2.	2018-01-07 16:25:31 -05:00
Artem Dinaburg	2157f67dac	Add an example that modifies an existing C program for symbolic testing	2017-11-02 00:33:35 -04:00