Name	Name	Last commit message	Last commit date
parent directory ..
README.md	README.md
gps_failure.sd	gps_failure.sd

Name

Last commit message

Last commit date

Diagnostics examples

Fault diagnosis and root-cause analysis with spanda diagnose.

Files

File	Focus
`gps_failure.sd`	GPS loss scenario for diagnosis reports

spanda check examples/diagnostics/gps_failure.sd
spanda diagnose examples/diagnostics/gps_failure.sd --json

Guide: docs/diagnostics.md · Package: spanda-diagnosis (assurance.diagnosis)