-/* -*- Mode: C; indent-tabs-mode: t -*- */
-
#include "libthreads.h"
#include "common.h"
#include "threads.h"
-/* -*- Mode: C; indent-tabs-mode: t -*- */
#include "mymemory.h"
#include "snapshot.h"
#include "snapshotimp.h"
-/* -*- Mode: C; indent-tabs-mode: t -*- */
-
#include "threads.h"
#include "schedule.h"
#include "common.h"
-/* -*- Mode: C; indent-tabs-mode: t -*- */
-
#ifndef __SCHEDULE_H__
#define __SCHEDULE_H__
-/* -*- Mode: C; indent-tabs-mode: t -*- */
-
#define MYBINARYNAME "model"
#define MYLIBRARYNAME "libmodel.so"
#define MYALLOCNAME "libmymemory.so"
-/* -*- Mode: C; indent-tabs-mode: t -*- */
#include <inttypes.h>
#include <sys/mman.h>
#include <unistd.h>
-/* -*- Mode: C; indent-tabs-mode: t -*- */
-
#include "libthreads.h"
#include "common.h"
#include "threads.h"