+Fri Oct 6 17:23:10 1995 Michael Meissner <meissner@tiktok.cygnus.com>
+
+ * psim.c (psim_print_info): Print exit status or signal number.
+
Mon Oct 2 11:46:37 1995 Michael Meissner <meissner@tiktok.cygnus.com>
* cpu.c (struct _cpu): Add number_of_insns field to trace how many
INLINE_PSIM void
psim_print_info(psim *system, int verbose)
{
+ psim_status status;
int i;
+
+
+ status = psim_get_status(system);
+ switch (status.reason) {
+ default:
+ break; /* our caller will print an appropriate error message */
+
+ case was_exited:
+ printf ("Exit status = %d\n", status.signal);
+ break;
+
+ case was_signalled:
+ printf ("Got signal %d\n", status.signal);
+ break;
+ }
+
for (i = 0; i < system->nr_cpus; i++)
cpu_print_info (system->processors[i], verbose);
}