def check_rust_tests(): cr.cargo("test")
def audit_conjecture_rust(): cr.cargo("install", "cargo-audit") cr.cargo("audit")
def check_rust_tests(): cr.cargo('test')
def lint_conjecture_rust(): cr.cargo("clippy")
def check_conjecture_rust_format(): cr.cargo("fmt", "--", "--check")
def format_conjecture_rust_code(): cr.cargo("fmt")