search

model-checking / kani

Kani Rust Verifier
https://model-checking.github.io/kani
Apache License 2.0
2.19k stars 87 forks source link

Confirm accuracy of source locations in firecracker demo #126

Closed adpaco-aws closed 1 year ago

adpaco-aws commented 1 year ago

Closing this issue as it's referring to a past event. We already have #127 to track on-demand source locations to be added.