1 /* 2 * Copyright (C) 2023 Bastian Koppelmann <kbastian@mail.uni-paderborn.de> 3 * 4 * This code is licensed under the GPL version 2 or later. See the 5 * COPYING file in the top-level directory. 6 */ 7 8 #include "testdev_assert.h" 9 int main(int argc, char **argv) 10 { 11 testdev_assert(1); 12 return 0; 13 } 14