CBMC
as86_cmdline.cpp File Reference

A special command line object for as86 (of Bruce's C Compiler) More...

#include "as86_cmdline.h"
#include <util/invariant.h>
#include <util/prefix.h>
#include <iostream>
+ Include dependency graph for as86_cmdline.cpp:

Go to the source code of this file.

Variables

const char * goto_as86_options_with_argument []
 
const char * as86_options_without_argument []
 
const char * as86_options_with_argument []
 

Detailed Description

A special command line object for as86 (of Bruce's C Compiler)

Definition in file as86_cmdline.cpp.

Variable Documentation

◆ as86_options_with_argument

const char* as86_options_with_argument[]
Initial value:
=
{
"-lm",
"-l",
"-n",
"-o",
"-b",
"-s",
"-t",
nullptr
}

Definition at line 46 of file as86_cmdline.cpp.

◆ as86_options_without_argument

const char* as86_options_without_argument[]
Initial value:
=
{
"-0",
"-1",
"-2",
"-3",
"-a",
"-g",
"-j",
"-O",
"-u",
"-u-",
"-v",
"-w-",
nullptr
}

Definition at line 29 of file as86_cmdline.cpp.

◆ goto_as86_options_with_argument

const char* goto_as86_options_with_argument[]
Initial value:
=
{
"--verbosity",
"--function",
"--native-assembler",
"--print-rejected-preprocessed-source",
nullptr
}

Definition at line 20 of file as86_cmdline.cpp.