SVFUtil.cpp File Reference

#include "Util/Options.h"
#include "Util/SVFUtil.h"
#include "MemoryModel/PointsTo.h"
#include <sys/resource.h>

Go to the source code of this file.

Macros
#define	KNRM   "\x1B[1;0m"
	Color for output format. More...
#define	KRED   "\x1B[1;31m"
#define	KGRN   "\x1B[1;32m"
#define	KYEL   "\x1B[1;33m"
#define	KBLU   "\x1B[1;34m"
#define	KPUR   "\x1B[1;35m"
#define	KCYA   "\x1B[1;36m"
#define	KWHT   "\x1B[1;37m"

Macro Definition Documentation

KBLU

#define KBLU   "\x1B[1;34m"

Definition at line 43 of file SVFUtil.cpp.

KCYA

#define KCYA   "\x1B[1;36m"

Definition at line 45 of file SVFUtil.cpp.

KGRN

#define KGRN   "\x1B[1;32m"

Definition at line 41 of file SVFUtil.cpp.

KNRM

#define KNRM   "\x1B[1;0m"

Color for output format.

Definition at line 39 of file SVFUtil.cpp.

KPUR

#define KPUR   "\x1B[1;35m"

Definition at line 44 of file SVFUtil.cpp.

KRED

#define KRED   "\x1B[1;31m"

Definition at line 40 of file SVFUtil.cpp.

KWHT

#define KWHT   "\x1B[1;37m"

Definition at line 46 of file SVFUtil.cpp.

KYEL

#define KYEL   "\x1B[1;33m"

Definition at line 42 of file SVFUtil.cpp.