// SPDX-License-Identifier: GPL-2.0
#include "test_progs.h"
#include "core_kern_overflow.lskel.h"
void test_core_kern_overflow_lskel(void)
{
struct core_kern_overflow_lskel *skel;
skel = core_kern_overflow_lskel__open_and_load();
if (!ASSERT_NULL(skel, "open_and_load"))
core_kern_overflow_lskel__destroy(skel);
}