Project

General

Profile

« Previous | Next » 

Revision 83612ae5

ID83612ae5ba285c7b83fefef9a9bb381166255386
Parent 86c2c2ee
Child 6c61df45

Added by Hans-Peter Deifel 9 months ago

debugger: Stop and print result if reasoner finishes

The 'step' command takes an optional repeat count. Now it stops
stepping and prints the result if the reasoner finishes before
reaching the specified number of steps.

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences