/* * Copyright (C) 2023 Bastian Koppelmann <kbastian@mail.uni-paderborn.de> * * This code is licensed under the GPL version 2 or later. See the * COPYING file in the top-level directory. */#include"testdev_assert.h"intmain(intargc,char**argv){testdev_assert(1);return0;}