| General | |
| Lines of code | 949 |
| Stratego | |
| Module number | 6 (66% documented) |
| Constructor number | 2 (0% documented) |
| Overlay number | 0 |
| Strategy number | 136 (39% documented) |
| Rule number | 6 (33% documented) |
| DynamicRule number | 0 |
Modules |
||
| common | Get and set values in the configuration table | common.str |
| keep | n/a | keep.str |
| options | This module contains strategies for handling command line options and simple serialization/unserialization of ATerms | options.str |
| parse-options | Strategies for handling command-line options | parse-options.str |
| stats | n/a | stats.str |
| verbose | Verbosity management | verbose.str |