Prusto is used at run time in 1 crate (of which 1 optionally).

Depender (with downloads and own rev deps) Prusto version
280 1 connectorx optional ^0.5.1