~ljy/RK3588_XEN.git - NODKA

dashboard
repositories
activity
search

ljy / RK3588_XEN

forked from ~ljy/RK3588_XEN

summary
commits
tree
docs
forks
compare

blame | history | raw

hc

2024-08-14 93e8ba98c407598d13d8ade71bc7802acfb19c58

[~ljy/RK3588_XEN.git] /
kernel /
tools /
testing /
selftests /
rcutorture /
formal /
srcu-cbmc /
tests /
store_buffering /
force2.fail

1
test_cbmc_options="-DFORCE_FAILURE_2"