mirror of
https://github.com/infiniteCable2/panda.git
synced 2026-02-18 17:23:52 +08:00
39 lines
1.1 KiB
Python
39 lines
1.1 KiB
Python
|
#!/usr/bin/env python3
|
||
|
|
import os
|
||
|
|
import pytest
|
||
|
|
import subprocess
|
||
|
|
|
||
|
|
HERE = os.path.abspath(os.path.dirname(__file__))
|
||
|
|
ROOT = os.path.join(HERE, "../../")
|
||
|
|
|
||
|
|
# TODO: test more cases (e.g. one violation in each safety*.h) and all rules
|
||
|
|
mutations = [
|
||
|
|
# F4 only
|
||
|
|
("board/stm32fx/llbxcan.h", "s/1U/1/g"),
|
||
|
|
# H7 only
|
||
|
|
("board/stm32h7/llfdcan.h", "s/return ret;/if (true) { return ret; } else { return false; }/g"),
|
||
|
|
# general safety
|
||
|
|
("board/safety/safety_toyota.h", "s/is_lkas_msg =.*;/is_lkas_msg = addr == 1 || addr == 2;/g"),
|
||
|
|
]
|
||
|
|
|
||
|
|
def patch(fn, pt=None):
|
||
|
|
sed = "" if fn is None else f"&& sed -i '{pt}' {fn}"
|
||
|
|
r = os.system(f"cd {ROOT} && git checkout board/ {sed}")
|
||
|
|
assert r == 0
|
||
|
|
|
||
|
|
def run_misra():
|
||
|
|
r = subprocess.run("./test_misra.sh", cwd=HERE, shell=True, stdout=subprocess.DEVNULL, stderr=subprocess.DEVNULL)
|
||
|
|
return r.returncode == 0
|
||
|
|
|
||
|
|
def test_misra_mutation():
|
||
|
|
patch(None)
|
||
|
|
assert run_misra()
|
||
|
|
for fn, pt in mutations:
|
||
|
|
print(f"file: {fn}, patch: {pt}")
|
||
|
|
patch(fn, pt)
|
||
|
|
assert not run_misra()
|
||
|
|
patch(None)
|
||
|
|
|
||
|
|
if __name__ == "__main__":
|
||
|
|
pytest.main()
|