search

draperlaboratory / cbat_tools

Program analysis tools developed at Draper on the CBAT project.
MIT License
102 stars 14 forks source link

Address issue #291 by adding the formatter control #293

Closed gltrost closed 3 years ago

gltrost commented 3 years ago

The following branch creates a new flag called formatter that allows the user to speficy if the results should be printed to stderr or stdout. If the flag is not set, the results default to stderr.

This requires changes to Output.print_result and Precondition.check, which both print information. The function Precondition.exclude was also altered to take into account the changes to check since exclude calls check.

gltrost commented 3 years ago

And so on. Wouldn't that work?

@jtpaasch Yeah! That or something very close to that, should work. I'll make those changes now.