X-Git-Url: http://plrg.eecs.uci.edu/git/?p=c11tester.git;a=blobdiff_plain;f=snapshot.h;h=cbbe0070fb92328f6690ba604cebbb19f8466fce;hp=3b33a7ef5aeaa774af2501f8b32fe7d005b5886b;hb=764e70356b8d387397f489f36e277470347b3e64;hpb=4568d21526e5c3c79cb99eea8277a5fef9127283 diff --git a/snapshot.h b/snapshot.h index 3b33a7ef..cbbe0070 100644 --- a/snapshot.h +++ b/snapshot.h @@ -1,3 +1,7 @@ +/** @file snapshot.h + * @brief Snapshotting interface header file. + */ + #ifndef _SNAPSHOT_H #define _SNAPSHOT_H @@ -10,7 +14,7 @@ #define USE_MPROTECT_SNAPSHOT 1 /* Size of signal stack */ -#define SIGSTACKSIZE 16384 +#define SIGSTACKSIZE 32768 void addMemoryRegionToSnapShot( void * ptr, unsigned int numPages ); @@ -18,11 +22,6 @@ snapshot_id takeSnapshot( ); void rollBack( snapshot_id theSnapShot ); -#ifdef __cplusplus -extern "C" { -#endif void createSharedLibrary(); -#ifdef __cplusplus -}; /* end of extern "C" */ -#endif + #endif