snsfopt 1.2.13 (2018-06-04)

Tips: Check AppVeyor page for the latest build.

Changes

• Added new paranoid mode "-p" and made it as default optimization option
• Added coverage report on the final output