Merge branch 'fix/test/no-wp-in-main-suite' into 'stable/titanium'
[wp] Moves a test from kernel to WP See merge request frama-c/frama-c!2949
Showing
Please register or sign in to comment
[wp] Moves a test from kernel to WP See merge request frama-c/frama-c!2949