docu update

This commit is contained in:
Ferrari Martino Giordano
2024-03-20 16:13:23 +01:00
parent 1bf403a339
commit f3ed8bbcdc
4 changed files with 20 additions and 0 deletions
+20
View File
@@ -35,3 +35,23 @@ options:
-d DESTINATION, --destination DESTINATION
Destination folderutodoc -
```
## Output Example
### HTML Output
Html generate page:
![HTML output example](doc/images/html_example.png)
### Simplified State Graph
From the html page:
![Simplified example](doc/images/simplified_state.png)
### Full State Graph
Full details state graph `dot` file opened using **xdot**:
![Detaield state graph](doc/images/xdot_full.png)