NuSMV/code/nusmv/shell/cinit/cinitCmd.c File Reference

#include "nusmv/shell/cmd/cmd.h"
#include "nusmv/shell/cinit/cinitCmd.h"
#include "nusmv/core/utils/OStream.h"
#include "nusmv/core/utils/StreamMgr.h"
#include "nusmv/core/cinit/cinit.h"
#include "nusmv/core/utils/error.h"
#include "nusmv/core/enc/enc.h"
#include "nusmv/core/trace/pkg_trace.h"
#include "nusmv/core/compile/compile.h"

Functions
void	cinit_AddCmd (NuSMVEnv_ptr env)
	Module header for shell commands.
int	CommandCmdReset (NuSMVEnv_ptr env, int argc, char **argv)
	Interface of the cinit package with the shell.
int	CommandPrintUsage (NuSMVEnv_ptr env, int argc, char **argv)

---

Function Documentation

void cinit_AddCmd

(

NuSMVEnv_ptr

env

)

Module header for shell commands.

AutomaticEnd

int CommandCmdReset	(	NuSMVEnv_ptr	env,
		int	argc,
		char **	argv
	)

Interface of the cinit package with the shell.

Author:

Adapted to NuSMV by Marco Roveri Interface of the cinit package with the shell.

Command:

reset: Resets the whole system.

Command arguments: [-h]

Resets the whole system, in order to read in another model and to perform verification on it.

Command options:

-h

Prints the command usage.

int CommandPrintUsage	(	NuSMVEnv_ptr	env,
		int	argc,
		char **	argv
	)

Command:

print_usage: Prints processor and BDD statistics.

Command arguments: [-h]

Prints a formatted dump of processor-specific usage statistics, and BDD usage statistics. For Berkeley Unix, this includes all of the information in the getrusage() structure.

Command options:

-h

Prints the command usage.