comparison runfop.sh @ 3015:02a3d70f6fc0

Fixed bug where a ControlSplit with only one successor (e.g. degenerated switch) would cause infinite loops.
author Thomas Wuerthinger <thomas@wuerthinger.net>
date Sat, 18 Jun 2011 11:33:58 +0200
parents 4db4e8cb6bd6
children b4ba003eb11d 183389909fe3
comparison
equal deleted inserted replaced
3014:681a227c332b 3015:02a3d70f6fc0