Module spurious_path_checker
taco_
acs_
model_
checker
0.1.0-alpha.1
Module spurious_
path_
checker
Module Items
Structs
Type Aliases
In taco_
acs_
model_
checker::
error_
graph
taco_acs_model_checker
::
error_graph
Module
spurious_
path_
checker
Copy item path
Source
Expand description
Check an error graph for non spurious paths
Structs
§
Spurious
Graph
Checker
Type Aliases
§
StepCtx
🔒
Compact type alias for step contexts in this module