| commit | e41cbeace4d18145acedbfe7371314541375e879 | [log] [tgz] |
|---|---|---|
| author | Luca Cristoforetti <cristofo@fbk.eu> | Tue May 05 16:03:15 2020 +0200 |
| committer | Luca Cristoforetti <cristofo@fbk.eu> | Tue May 05 16:03:15 2020 +0200 |
| tree | 4f09527b394e8939003834de76f81ab5d176825c | |
| parent | 6698959ce42d0233e838867c7bac8295565e8901 [diff] |
Add new constructors to StateStatus checker