blob: 0f05d409da7a256c503344db3687516cd1c9b958 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
|
#include <omega/pres_gen.h>
namespace omega {
int skip_finalization_check=0;
// int skip_set_checks=0;
int pres_debug=0 ;
FILE *DebugFile=stderr; // This is the default; it's best to set it yourself.
negation_control pres_legal_negations = any_negation;
//
// I/O utility functions.
//
// void PresErrAssert(const char *t) {
// fprintf(stdout, "\nERROR: %s\n", t);
// if(pres_debug) {
// fprintf(DebugFile, "\nERROR: %s\n", t);
// }
// exit(1);
// }
//
// Needed for gprof
//
#if defined PROFILE_MALLOCS
void* operator new(size_t n) {
void *result = malloc (n < 1 ? 1 : n);
if (result)
return result;
else {
write(2,"Virtual memory exceeded in new\n",32);
return 0;
}
}
void operator delete (void* f) {
if (f) free(f);
}
#endif
} // namespace
|
