eqv3_options.c

   1 #include "eqv3_options.h"
   2
   3 static struct isl_arg_choice reach[] = {
   4         {"tc",          REACH_TC},
   5         {"fast",        REACH_FAST},
   6         {"lever",       REACH_LEVER},
   7         {"aspic",       REACH_ASPIC},
   8         {0}
   9 };
  10
  11 ISL_ARGS_START(struct options, options_args)
  12 ISL_ARG_CHILD(struct options, isl, NULL, &isl_options_args, "isl options")
  13 ISL_ARG_STR(struct options, context, 0, "context", "set", NULL, NULL)
  14 ISL_ARG_ARG(struct options, program[0], "program1", NULL)
  15 ISL_ARG_ARG(struct options, program[1], "program2", NULL)
  16 ISL_ARG_CHOICE(struct options, reachability, 0, "reachability", reach, REACH_TC,
  17         "type of reachability analysis to perform")
  18 ISL_ARGS_END
  19
  20 ISL_ARG_DEF(options, struct options, options_args)