@c "cmd/channel-assert-value-queue.texi"
@c extracted from "../../src/sim/prsim/Command-prsim.cc"
@c by "$(top_srcdir)/scripts/extract_texinfo.awk".

@deffn Command channel-assert-value-queue chan val
For channels that are sourcing or expecting values, 
assert the state of the channel value array being used.  
@var{val} is 1 to assert that values are still remaining, 
0 to assert that values are empty (channel is finished).
Looped sources and expects will never be empty.  
This is useful for checking that finite sequence tests
have actually completed.  
Exits fatally if assertion fails.  
@end deffn

