On Thu, 14 Nov 2013 23:33:20 -0500, Mitch wrote: >... > it can verify that any incorrect handling of datasets is flagged before any > JCL object is submitted, i.e.: > >DISP=(,CATLG) followed by >DISP=OLD followed by >DISP=(OLD,DELETE,DELETE) followed by >DISP=SHR > >This is an obvious JCL error, but if it spans multiple steps and/or JOBs, it >is not always caught before a batch stream is submitted. > Barring the possibility of an intervening DYNALLOC, or that a step is skipped by IF of COND. The more powerful the language, the greater the difficulty of proving program correctness. If the language is Turing-complete, the problem is axiomatically unsolvable.
> And on, and on, and on. It is the most powerful and flexible product on the > market. And, it can be purchased directly from your IBM software sales team. > I haven't been following this thread closely enough. What is "it"? -- gil ---------------------------------------------------------------------- For IBM-MAIN subscribe / signoff / archive access instructions, send email to [email protected] with the message: INFO IBM-MAIN
