interim

wintered · Oct 18, 2024 · aecde10 · aecde10
1 parent 15dddf3
commit aecde10
Showing 1 changed file with 11 additions and 0 deletions.
diff --git a/STRUCTURE.md b/STRUCTURE.md
@@ -0,0 +1,11 @@
+## Structure 
+```
+bin/
+├── gen_tester          - given <grammar>, generate exhaustive tester bin/feat-<grammar>    
+├── feat-<grammar>      - given <num_tests> <folder> generate tests    
+├── oracle              - script for differential testing SMT solvers   
+└── run_tester          - generate and run tests
+grammars/               - smtlib grammars
+etc/                    - helper scripts, antlr  (for validating grammars)
+solvers.cfg             - solver configurations
+```