-
Notifications
You must be signed in to change notification settings - Fork 2
Commandline Shell
Petr Hudeček edited this page Jul 4, 2016
·
2 revisions
Besides the graphical shell, you may also use a command-line shell. The command-line shell has the same capabilities the graphical shell does, only it doesn't have the toolbar, visual explorer or other panels - it's just you and the commands.
To set up the command-line shell, follow the instructions in the User Guide on launching JPF Inspector.
Use the command exit
to terminate the program.
-
User Documentation
-
User Guide
- Legacy User Guide
- Tutorial: Debugging an example application
- [How-to: Add the Inspector to your application](User Guide#launching-jpf-inspector)
- How-to: Use the Inspector with Symbolic Pathfinder
- Advanced topics
- GUI
- Extensibility
-
User Guide
-
Maintainer Documentation
- History
- 2016 Changelog
- [JPF Startup sequence](JPF Startup)
- [JPF Inspector Startup sequence](JPF Inspector Startup)
- [JPF Inspector Architecture](JPF Inspector Architecture)
- Migration from JPF6 to JPF8
- Naming and Code Style
- Threads in JPF Inspector
- Hierarchies
- Javadoc Class Documentation