GaloisInc / BESSPIN-Tool-Suite

The core tool of the BESSPIN Framework.
Other
5 stars 2 forks source link

Add system diagnostics console #1062

Closed podhrmic closed 2 years ago

podhrmic commented 3 years ago

It is a command line interface, that lets you to ask questions about the demonstrator. Runs on the SimPC, start automatically. Can be a part of Ignition (starts from the same terminal window), but doesn't have to be.

It prints errors/debug info on the terminal, and right now has one command - info:

(ignition ?
Documented commands (type help <topic>):
========================================
help info

If you type in info it will print the current health of the system/status of individual components (based on #1254).

podhrmic commented 2 years ago

Fixed in #1274