]> ocean-lang.org Git - ocean/commit
scanner: add options to allow more complete testing.
authorNeilBrown <neil@brown.name>
Sun, 26 May 2019 22:48:35 +0000 (08:48 +1000)
committerNeilBrown <neil@brown.name>
Sun, 26 May 2019 22:48:35 +0000 (08:48 +1000)
commit30d54e829e0fa98589a25ef481bbec07e20e538d
treec7a6871b71166a96befd86e0f852f078e21b971b
parent97b1522ec76e072e927ef3e5f1f917f2a92236db
scanner: add options to allow more complete testing.

Allow all facets of scanner to be controlled by command line
options.  This will make it easier to do exhaustive testing.

Also make sure to free things that are allocated.

Signed-off-by: NeilBrown <neil@brown.name>
csrc/scanner.mdc