assert_end.fail « store_buffering « tests « srcu-cbmc « formal « rcutorture « selftests « testing « tools - wireguard-linux - WireGuard for the Linux kernel

about summary refs log tree commit diff stats homepage

path: root/tools/testing/selftests/rcutorture/formal/srcu-cbmc/tests/store_buffering/assert_end.fail

blob: 40c8075919d11e8e5fdf179539df4ee698824632 (plain) (blame)

1	`test_cbmc_options="-DASSERT_END"`