示例#1
0
def check_rust_tests():
    cr.cargo("test")
示例#2
0
def audit_conjecture_rust():
    cr.cargo("install", "cargo-audit")
    cr.cargo("audit")
示例#3
0
def check_rust_tests():
    cr.cargo('test')
示例#4
0
def lint_conjecture_rust():
    cr.cargo("clippy")
示例#5
0
def check_conjecture_rust_format():
    cr.cargo("fmt", "--", "--check")
示例#6
0
def format_conjecture_rust_code():
    cr.cargo("fmt")
示例#7
0
def check_rust_tests():
    cr.cargo('test')
示例#8
0
def check_rust_tests():
    cr.cargo("test")