Skip to content

Instantly share code, notes, and snippets.

@ldr709
ldr709 / test_thread_adjacent_data.c
Created July 25, 2016 06:06
CBMC Test Threads Writing to Adjacent Data
#include <assert.h>
#include <pthread.h>
#include <stdlib.h>
unsigned long data[2];
void *thread0(void *arg)
{
data[0] = 1;
return NULL;
@ldr709
ldr709 / test_case.c
Created June 23, 2016 00:06
CBMC Test Case
#include <assert.h>
#include <stdbool.h>
#include <stdlib.h>
struct list_entry {
struct list_entry *next;
};
struct linked_list {
struct list_entry *head;