Full_Name: Eric G. Mercer
spec:
Version: May 24, 2001 10:15 AM
OS: Linux RedHat 7.1
command: No Command
Submission from: chen.elen.utah.edu (155.99.23.216)
Submitted by: eemercer
The combinatorial search in bap.cc has a potential bug.
If in a causal grouping for a given transition in the
enabled set there does not exists any matching transitions
in the zone, then prematurly teminates the recursion.
I am not sure if this can ever happen or not. If it does
happen, then I suspect it is the result of incorrect
prunning.
Full_Name: Eric G. Mercer spec: Version: May 24, 2001 10:15 AM OS: Linux RedHat 7.1 command: No Command Submission from: chen.elen.utah.edu (155.99.23.216) Submitted by: eemercer
The combinatorial search in bap.cc has a potential bug. If in a causal grouping for a given transition in the enabled set there does not exists any matching transitions in the zone, then prematurly teminates the recursion.
I am not sure if this can ever happen or not. If it does happen, then I suspect it is the result of incorrect prunning.