blob: 66b9d1a58a1fc9da1eaf7df9e0976725f1848b77 [file] [log] [blame]
/*
* Copyright (c) 2022 Nordic Semiconductor ASA
*
* SPDX-License-Identifier: Apache-2.0
*/
#include <zephyr/kernel.h>
/*
* Validate expected behaviour when bt_hci_le_rand() is called
*
* Expected behaviour:
* - bt_hci_le_rand() to be called once with correct parameters
*/
void expect_call_count_bt_hci_le_rand(int call_count, uint8_t args_history[]);
/*
* Validate expected behaviour when bt_hci_le_rand() isn't called
*
* Expected behaviour:
* - bt_hci_le_rand() isn't called at all
*/
void expect_not_called_bt_hci_le_rand(void);