verifiablesoftware / vsw

Core project of VerifiableSoftware
Apache License 2.0
1 stars 0 forks source link

toggle INFO printing #100

Closed wenjing closed 3 years ago

wenjing commented 3 years ago

The vsw currently prints INFO for debug purposes. Add a toggle flag to display or not display. For example: % vsw -i ... /show INFO/ %vsw ... /default to not show INFO/ Other printings that are essential to the functioning of the commands should remain of course. This applies to only INFO's that are not essential.

wenjing commented 3 years ago

verified in 0.0.20