@c "cmd/unstable-dequeue.texi"
@c extracted from "../../src/sim/prsim/Command-prsim.cc"
@c by "$(top_srcdir)/scripts/extract_texinfo.awk".

@deffn Command unstable-dequeue
When set, this causes unstable rules to be dequeued from the event queue.
The opposite effect is the @command{unstable-unknown} command.  
This option also allows events that drive a node to 'X' in the queue
to be @emph{overtaken} and replaced with known values if the fanin pull
of the node is resolved to a non-interfering direction @emph{before}
the 'X' event on the node is dequeued.  
@end deffn

