1 Commits

Author SHA1 Message Date
Sorawee Porncharoenwase
4ee45bc00a feat: support wtns generation
The commit adds --wtns, which indicates the output directory for the
witness files. If not given, no witness file is generated.
The witness files are called `first-witness.wtns` and
`second-witness.wtns`.
2023-10-06 22:56:02 +07:00