Skip to content

Add rcu with memory safety

Орлова Екатерина Михайловна requested to merge rcu into master

Add rcu model and its test module to check memory safty after call_rcu() calling.

Merge request reports