Next: , Previous: Decide string, Up: Analyzing


5.4 Checking the Owl Code

You can similarly debug the Owl code using the option --decide-dragon. Usage is entirely similar to --decide-string, and it can be used similarly to produce variation trees. These should be typically much smaller than the variation trees produced by --decide-string.