1// SPDX-License-Identifier: GPL-2.0-or-later
2/*
3 * Copyright (C) 2022 Cyril Hrubis <chrubis@suse.cz>
4 */
5
6#define TST_NO_DEFAULT_MAIN
7#include <stdlib.h>
8#include "tst_test.h"
9
10int main(int argc, char *argv[])
11{
12	tst_reinit();
13
14	if (argc != 1) {
15		tst_res(TFAIL, "argc is %d, expected 1", argc);
16		return 0;
17	}
18
19	if (!argv[0]) {
20		tst_res(TFAIL, "argv[0] == NULL");
21		return 0;
22	}
23
24	tst_res(TPASS, "argv[0] was filled in by kernel");
25
26	return 0;
27}
28