Project

General

Profile

« Previous | Next » 

Revision 2679ab63

ID2679ab63a3a289d01e53ad9058db3d3874925870
Parent c2cc0c2e
Child d040e00f

Added by Thorsten WiƟmann over 4 years ago

One debugger step takes one element from the queue

Now one step in the debugger removes exactly one element from the queue
(if it's not empty). If this action empties the queue, nominals are
propagated.

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences