-
Bug
-
Resolution: Done
-
Major
-
6.x.x
-
-
-
-
-
-
DR2
-
While the internal semantics of "forall( A() B() )" is the same as "not( A() and not( B() ) )", at the syntactical level we have a ForallDescr and the round trip marshalling should work with the ForallDescr.
- is cloned by
-
RHBPMS-4667 [GSS](6.4.z) DRL->Guided Rule round trip marshalling should work with the ForallDescr
- Verified