Branch data Line data Source code
1 : : /* SPDX-License-Identifier: LGPL-2.1+ */ 2 : : 3 : : #include "login-util.h" 4 : : #include "macro.h" 5 : : 6 : 4 : static void test_session_id_valid(void) { 7 [ - + ]: 4 : assert_se(session_id_valid("c1")); 8 [ - + ]: 4 : assert_se(session_id_valid("1234")); 9 : : 10 [ - + ]: 4 : assert_se(!session_id_valid("1-2")); 11 [ - + ]: 4 : assert_se(!session_id_valid("")); 12 [ - + ]: 4 : assert_se(!session_id_valid("\tid")); 13 : 4 : } 14 : : 15 : 4 : int main(int argc, char* argv[]) { 16 : 4 : log_parse_environment(); 17 : 4 : log_open(); 18 : : 19 : 4 : test_session_id_valid(); 20 : : 21 : 4 : return 0; 22 : : }