#include <cstdio>
#include <cstdlib>
#include <unistd.h>
#include <string>
#include "utap/utap.h"
#include "utap/prettyprinter.h"
Functions | |
int | getopt (int argc, char *const argv[], const char *optstring) |
int | main (int argc, char *argv[]) |
Test for pretty printer. | |
Variables | |
char * | optarg |
int | optind |
int | opterr |
int | optopt |
static bool | newSyntax = (getenv("UPPAAL_OLD_SYNTAX") == NULL) |
int getopt | ( | int | argc, | |
char *const | argv[], | |||
const char * | optstring | |||
) |
int main | ( | int | argc, | |
char * | argv[] | |||
) |
Test for pretty printer.
bool newSyntax = (getenv("UPPAAL_OLD_SYNTAX") == NULL) [static] |
char* optarg |
int opterr |
int optind |
int optopt |