print_models [-h]
Lists all the models and prints information about the number of variables, tables, latches etc. in them.
Command options: