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")
def check_rust_tests():
cr.cargo('test')
def check_rust_tests():
cr.cargo("test")
