Jimmy,
The short answer is yes, but this is unlikely
to be a practical solution because the tools would need to be
available to everyone who wants to work with the COSMOS code base (basically the
general public) for us to get approval to use them in the project. I
think that this means that the license would need to be available to
everyone who wants to build and test COSMOS project code.
I believe that IBM asked for the Eclipse board to approve
the use of one of its commercial tools in some projects, but I don't know how
that ended up.
Regards,
Don
The contents of this e-mail are intended for the named addressee only. It contains information that may be confidential. Unless you are the named addressee or an authorized designee, you may not copy or use it, or disclose it to anyone else. If you received it in error please notify us immediately and then destroy it.
Dear All,
In the very near future, Shivvy will be finalizing
the choice for the open source tool for use in COSMOS i8 and
onwards...
If you have any info or interest in this regard,
please contact Shivvy at Shivashankari.N@xxxxxx; additionally,
please note that Shivvy is will be seeing a TPTP demo in about 7
hours.
Regards,
Jimmy Mohsin
P.S. An out-there question: does Eclipse own any licenses for COMMERCIAL
testing tools? Or is our scope restricted to open source testing tools
ONLY?