// 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);
}