Fuzz test external tool commands; examples

[lee30sonia]

• Fuzz tester supports testing external tools by calling system commands
• Example code of fuzz testing, test case minimization, and simple visualization of AIGs
• Disable on Windows the alternative ways of calling fuzz tester and testcase minimizer with a system command -- This could in principle be supported, but needs some investigation on how to get the return code on Windows...

[codecov-commenter]

Codecov Report

Merging #544 (4cd0b7d) into master (80dfa23) will not change coverage. The diff coverage is n/a.

@@           Coverage Diff           @@
##           master     #544   +/-   ##
=======================================
  Coverage   82.82%   82.82%           
=======================================
  Files         148      148           
  Lines       18556    18556           
=======================================
  Hits        15369    15369           
  Misses       3187     3187           

---

Continue to review full report at Codecov.

Legend - Click here to learn more Δ = absolute <relative> (impact), ø = not affected, ? = missing data Powered by Codecov. Last update 80dfa23...4cd0b7d. Read the comment docs.