xaiger: update help text
authorEddie Hung <eddie@fpgeh.com>
Tue, 14 Apr 2020 15:03:58 +0000 (08:03 -0700)
committerEddie Hung <eddie@fpgeh.com>
Thu, 14 May 2020 17:33:56 +0000 (10:33 -0700)
commitf975cf39cbedbca0482109b7aa625570a3857ee6
treedb505ed50f5cb709ae80692debd6b5e4e07a03f5
parent34c77326420e4f906544e26499683869c47d09aa
xaiger: update help text
backends/aiger/xaiger.cc