summaryrefslogtreecommitdiff
path: root/test_state/test_state.c
blob: a88a5348f4589875e5f406327e7a1dd45e61690b (plain) (blame)
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;
}