move input generation to separate binary

pluto · Aug 27, 2024 · ab1b567 · ab1b567
1 parent bfcd828
commit ab1b567
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/src/main.rs → src/bin/witness.rs b/src/main.rs → src/bin/witness.rs