test_state/test_state.c


1
2
3
4
5
6
7
8
9

#include "Clean.h"
#include "test_state.h"
#include <stdio.h>

int store(int* p, int offset, int value) {
    printf("Storing %d at %p + %d\n", value, p, offset);
    return 0;
}