Enumerations
enum	{ opt_short_d = 1 , opt_short_h , opt_short_t , opt_short_zzzzz }

enum	{ opt_long_nobanner = 1 , opt_long_nocolor , opt_long_convergencefile , opt_long_cputimefile , opt_long_help , opt_long_thread , opt_long_validationfile , opt_long_witness , opt_long_zzzzz }

Functions/Subroutines
subroutine	mod_read_command_line::read_command_line ()
	Read the Notus command line.

Enumeration Type Documentation

◆ anonymous enum

anonymous enum

anonymous enum