32 lines
609 B
C
32 lines
609 B
C
#include <config.h>
|
|
#include <stasis/common.h>
|
|
#include <stdio.h>
|
|
#include <stdlib.h>
|
|
#include <string.h>
|
|
#include <assert.h>
|
|
#include <stasis/flags.h>
|
|
#include <stasis/logger/filePool.h>
|
|
|
|
#include "check_impl.h"
|
|
|
|
uint64_t myrandom(uint64_t x) {
|
|
double xx = x;
|
|
double r = random();
|
|
double max = ((uint64_t)RAND_MAX)+1;
|
|
max /= xx;
|
|
return (uint64_t)((r/max));
|
|
}
|
|
|
|
|
|
void setup (void) {
|
|
remove("logfile.txt");
|
|
remove("storefile.txt");
|
|
system("rm -rf stasis_log");
|
|
}
|
|
|
|
void teardown(void) {
|
|
#ifdef LONG_TEST
|
|
system("echo *.txt | grep -v '*' | xargs -n1 -r ls -lh --full-time");
|
|
#endif
|
|
setup();
|
|
}
|