target.h

Go to the documentation of this file.

 
#ifndef RW_TARGET_H
#define RW_TARGET_H
 
#include <time.h> /* for clock_t */
 
#ifndef _WIN32
#  include <unistd.h> /* For _XOPEN_UNIX */
#endif
 
#ifdef _XOPEN_UNIX
#  include <sys/resource.h> /* for struct rlimit */
typedef struct rlimit rw_rlimit;
#else /* _XOPEN_UNIX */
typedef unsigned long rw_rlim_t;
struct rw_rlimit {
    rw_rlim_t rlim_cur;
    rw_rlim_t rlim_max;
};
typedef struct rw_rlimit rw_rlimit;
#endif /* _XOPEN_UNIX */
 
#ifndef RLIM_INFINITY
#  define RLIM_INFINITY -1
#endif /* RLIM_INFINITY */
 
#ifndef RLIM_SAVED_CUR
#  define RLIM_SAVED_CUR RLIM_INFINITY
#endif   /* RLIM_SAVED_CUR */
 
#ifndef RLIM_SAVED_MAX
#  define RLIM_SAVED_MAX RLIM_INFINITY
#endif   /* RLIM_SAVED_MAX */
 
struct target_opts {
    char** argv; 
    unsigned timeout; 
    const char* data_dir; 
    const char* c_warn; 
    const char* l_warn; 
    const char* infname; 
    const char* outfname; 
    int compat; 
    int verbose; 
    rw_rlimit* core;
    rw_rlimit* cpu;
    rw_rlimit* data;
    rw_rlimit* fsize;
    rw_rlimit* nofile;
    rw_rlimit* stack;
    rw_rlimit* as;
};
 
enum ProcessStatus {
    ST_OK = 0, 
    ST_COMPILE, 
    ST_LINK, 
    ST_EXIST, 
    ST_EXECUTE_FLAG, 
    ST_EXECUTE, 
    ST_NO_OUTPUT, 
    ST_NO_REF, 
    ST_BAD_REF, 
    ST_BAD_OUTPUT, 
    ST_FORMAT, 
    ST_OVERFLOW, 
    ST_SYSTEM_ERROR, 
    ST_KILLED, 
    ST_NOT_KILLED, 
    ST_LAST 
};
 
struct target_status {
    int exit; 
    int signaled; 
    enum ProcessStatus status; 
    clock_t  usr_time;  
    clock_t  sys_time;  
    clock_t  wall_time; 
    unsigned c_warn; 
    unsigned l_warn; 
    unsigned t_warn; 
    unsigned assert; 
    unsigned failed; 
};
 
#endif   /* RW_TARGET_H */