Skip to content

Commit 73794f2

Browse files
committed
[vigir_ltl_synthesizer] Update synthesis_byproducts README
1 parent 775520e commit 73794f2

File tree

1 file changed

+7
-0
lines changed
  • vigir_ltl_synthesizer/synthesis_byproducts

1 file changed

+7
-0
lines changed
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,7 @@
1+
# Synthesis Byroducts
2+
3+
The `slugs` synthesizer needs to generate a few files each time it synthesizes.
4+
File formats include `.json`, `.slugsin`, and `.structuredslugs`.
5+
These are saved in a folder named after the specification and can be useful for debugging the LTL specifications and resulting automata.
6+
7+
The repository's `.gitignore` is set up to ignore everything in the `synthesis_byproducts` folder except for this `README` file.

0 commit comments

Comments
 (0)