github/Picus
1
1
Fork 0
mirror of https://github.com/Veridise/Picus.git synced 2026-01-12 06:58:34 -05:00
Code Issues Packages Projects Releases Wiki Activity
Files
main
Picus/tests/data
History
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
..
first-witness.wtns.expect
feat: support wtns generation
2023-10-06 22:56:02 +07:00
second-witness.wtns.expect
feat: support wtns generation
2023-10-06 22:56:02 +07:00