-
sm.h
- External header file
-
smInt.h
- Internal header file
-
smCmd.c
- Interface of the sm package with the shell.
-
smInit.c
- Initializes and ends NuSMV.
-
smMain.c
- Main NuSMV routine. Parses command line at invocation of NuSMV.
-
smMisc.c
- This file contain the main routine for the batch use of NuSMV.
-
smVers.c
- Supplies the compile date and version information.
sm.h
External header file
By: Adapted to NuSMV by Marco Roveri
smInt.h
Internal header file
By: Adapted to NuSMV by Marco Roveri
smCmd.c
Interface of the sm package with the shell.
By: Adapted to NuSMV by Marco Roveri
Interface of the sm package with the shell.
-
CommandCmdReset()
- Implements the reset command.
-
CommandPrintUsage()
- Implements the print_usage command.
smInit.c
Initializes and ends NuSMV.
By: Adapted to NuSMV by Marco Roveri
-
SmInit()
- Calls the initialization routines of all the packages.
-
SmEnd()
- Calls the end routines of all the packages.
smMain.c
Main NuSMV routine. Parses command line at invocation of NuSMV.
By: Adapted to NuSMV by Marco Roveri
-
main()
- required
-
NusmvrcSource()
- Sources the .nusmvrc file.
-
UsagePrint()
- Prints the usage of the NuSMV shell interface.
-
BannerPrint()
- Prints the banner of NuSMV.
-
sm_ParseLineOptions()
- Parses the command line options.
smMisc.c
This file contain the main routine for the batch use of NuSMV.
By: Adapted to NuSMV by Marco Roveri
This file contain the main routine for the batch use of
NuSMV. The batch main executes the various model checking steps in a
predefined order. After the processing of the input file than it
return to the calling shell.
-
smBatchMain()
- The batch main.
-
print_usage()
- Prints usage statistic.
smVers.c
Supplies the compile date and version information.
By: Adapted to NuSMV by Marco Roveri
-
Sm_NuSMVReadVersion()
- Returns the current NuSMV version.
-
Sm_NuSMVObtainLibrary()
- Returns the NuSMV library path.
-
Sm_NuSMVInitPrintMore()
- Start piping stdout through the "more" command
-
Sm_NuSMVEndPrintMore()
- Stop piping stdout through the "more" command
-
DateReadFromDateString()
- Returns the date in a brief format assuming its coming from
the program `date'.
Last updated on 1020327 15h41