kopia lustrzana https://github.com/bristol-seds/pico-tracker
53 wiersze
1.3 KiB
C
53 wiersze
1.3 KiB
C
#ifndef __verification__
|
|
#define __verification__
|
|
#endif
|
|
|
|
/****************************//* backlog_write_read_tc *//****************************/
|
|
/**
|
|
* Write a description of your test case here
|
|
*/
|
|
#include "backlog.h"
|
|
#include "data.h"
|
|
|
|
/* Parameters in */
|
|
struct backlog_write_read_tc_params {
|
|
|
|
/* Input paramters to your test case go here */
|
|
uint8_t record_not_get;
|
|
uint32_t epoch_write;
|
|
|
|
} backlog_write_read_tc_params;
|
|
/* Results out */
|
|
struct backlog_write_read_tc_results {
|
|
|
|
/* Result values should be populated here */
|
|
uint32_t epoch_read;
|
|
uint32_t wptr, rptr;
|
|
|
|
} backlog_write_read_tc_results;
|
|
/* Function */
|
|
extern uint16_t backlog_write_index;
|
|
__verification__ void backlog_write_read_tc(void) {
|
|
|
|
struct tracker_datapoint dp;
|
|
struct tracker_datapoint* dp_ptr;
|
|
|
|
/**
|
|
* The main body of the test case goes here.
|
|
*
|
|
* Use the input parameters to run the test case. Populate the
|
|
* results structure at the end
|
|
*/
|
|
|
|
if (backlog_write_read_tc_params.record_not_get) { /* Record */
|
|
|
|
dp.time.epoch = backlog_write_read_tc_params.epoch_write;
|
|
record_backlog(&dp);
|
|
backlog_write_read_tc_results.wptr = backlog_write_index;
|
|
} else {
|
|
|
|
dp_ptr = get_backlog();
|
|
backlog_write_read_tc_results.epoch_read = dp_ptr->time.epoch;
|
|
}
|
|
}
|