How to use modified junit

View: New views
6 Messages — Rating Filter:   Alert me  

How to use modified junit

by Remo :: Rate this Message:

Reply to Author | View Threaded | Show Only this Message

hi guys,
 
I enhanced junit with some new annotations and changed behaviour of processing test methods to fit my needs. It is running on command line.
 
Never the less, when I run the junit tests from eclipse, eclipse uses the junit jar shipped with the plugin instead the one I have within my project.
How can I tell the plugin to use my own junit jar file on runtime? The code completation assist recognizes my changes, the test runner doesnt.
 
I tried to simply replace the class files within the junit.jar shipped which did not work.
 
Can you please tell me how to use my own junit.jar for running junits in eclipse?
 
Thanks,
Remo
 
 

Regards,

Remo Liechti
Application Developer
Swisslog Warehouse and Distribution Solutions

Direct: +41 (0)62 837 4345
Mobile: +41 (0)76 329 8660
CH Fax: +41 (0)62 837 4197
Internet:
www.swisslog.com
----------------------------------------------------------------
About Swisslog
Swisslog is a global provider of logistic solutions for warehouses, distribution centers and hospitals. Swisslog's solutions increase their customers' flexibility, responsiveness, and quality of service, while minimizing logistics costs. 

 
This message may contain legally privileged or confidential information and is therefore addressed to the named persons only. The recipient should inform the sender and delete this message, if he/she is not named as addressee. The sender disclaims any and all liability for the integrity and punctuality of this message. The sender has activated an automatic virus scanning, but does not guarantee the virus free transmission of this message.
_______________________________________________
tptp-testing-tools-dev mailing list
tptp-testing-tools-dev@...
https://dev.eclipse.org/mailman/listinfo/tptp-testing-tools-dev

Re: How to use modified junit

by Paul Slauenwhite :: Rate this Message:

Reply to Author | View Threaded | Show Only this Message

Hi Remo,
Are you referring to the JDT JUnit runner or the TPTP JUnit runner?

Paul
__________________________

Paul Slauenwhite
IBM Toronto Lab, Canada

Internet: paules@...
Telephone: (905) 413-3861
Tie Line: 313-3861
__________________________

Please consider the environment before printing this email.


Inactive hide details for "Remo Liechti" ---10/21/2009 12:17:52 PM---hi guys,"Remo Liechti" ---10/21/2009 12:17:52 PM---hi guys,


From:

"Remo Liechti" <remo.liechti@...>

To:

<tptp-testing-tools-dev@...>

Date:

10/21/2009 12:17 PM

Subject:

[tptp-testing-tools-dev] How to use modified junit

Sent by:

tptp-testing-tools-dev-bounces@...





hi guys,

I enhanced junit with some new annotations and changed behaviour of processing test methods to fit my needs. It is running on command line.

Never the less, when I run the junit tests from eclipse, eclipse uses the junit jar shipped with the plugin instead the one I have within my project.
How can I tell the plugin to use my own junit jar file on runtime? The code completation assist recognizes my changes, the test runner doesnt.

I tried to simply replace the class files within the junit.jar shipped which did not work.

Can you please tell me how to use my own junit.jar for running junits in eclipse?

Thanks,
Remo

Regards,

Remo Liechti
Application Developer
Swisslog Warehouse and Distribution Solutions

Direct: +41 (0)62 837 4345
Mobile: +41 (0)76 329 8660
CH Fax: +41 (0)62 837 4197
Internet:
www.swisslog.com
----------------------------------------------------------------
About Swisslog
Swisslog is a global provider of logistic solutions for warehouses, distribution centers and hospitals. Swisslog's solutions increase their customers' flexibility, responsiveness, and quality of service, while minimizing logistics costs.


This message may contain legally privileged or confidential information and is therefore addressed to the named persons only. The recipient should inform the sender and delete this message, if he/she is not named as addressee. The sender disclaims any and all liability for the integrity and punctuality of this message. The sender has activated an automatic virus scanning, but does not guarantee the virus free transmission of this message. _______________________________________________
tptp-testing-tools-dev mailing list
tptp-testing-tools-dev@...
https://dev.eclipse.org/mailman/listinfo/tptp-testing-tools-dev





_______________________________________________
tptp-testing-tools-dev mailing list
tptp-testing-tools-dev@...
https://dev.eclipse.org/mailman/listinfo/tptp-testing-tools-dev


RE: How to use modified junit

by Remo :: Rate this Message:

Reply to Author | View Threaded | Show Only this Message

Hi Paul,

I have no clue, I just use Eclipse Galileo which has the Junit stuff built in as I understood. It's the one I start by right clicking onto a Test-Class and choose "Run as Junit Test". If this doesn't help I can take a closer look when I'm back in the office tomorrow.

/Remo


-----Original Message-----
From: tptp-testing-tools-dev-bounces@... on behalf of Paul Slauenwhite
Sent: Wed 10/21/2009 17:57
To: TPTP Testing Tools Project developer discussions
Cc: tptp-testing-tools-dev@...; tptp-testing-tools-dev-bounces@...
Subject: Re: [tptp-testing-tools-dev] How to use modified junit
 

Hi Remo,
      Are you referring to the JDT JUnit runner or the TPTP JUnit runner?

Paul
__________________________

Paul Slauenwhite
IBM Toronto Lab, Canada

Internet: paules@...
Telephone: (905) 413-3861
Tie Line: 313-3861
__________________________

Please consider the environment before printing this email.



                                                                                                                             
  From:       "Remo Liechti" <remo.liechti@...>                                                                      
                                                                                                                             
  To:         <tptp-testing-tools-dev@...>                                                                            
                                                                                                                             
  Date:       10/21/2009 12:17 PM                                                                                            
                                                                                                                             
  Subject:    [tptp-testing-tools-dev] How to use modified junit                                                              
                                                                                                                             
  Sent by:    tptp-testing-tools-dev-bounces@...                                                                      
                                                                                                                             





hi guys,

I enhanced junit with some new annotations and changed behaviour of
processing test methods to fit my needs. It is running on command line.:

Never the less, when I run the junit tests from eclipse, eclipse uses the
junit jar shipped with the plugin instead the one I have within my project.
How can I tell the plugin to use my own junit jar file on runtime? The code
completation assist recognizes my changes, the test runner doesnt.

I tried to simply replace the class files within the junit.jar shipped
which did not work.

Can you please tell me how to use my own junit.jar for running junits in
eclipse?

Thanks,
Remo




Regards,


Remo Liechti
Application Developer
Swisslog Warehouse and Distribution Solutions?


Direct: +41 (0)62 837 4345
Mobile: +41 (0)76 329 8660
CH Fax: +41 (0)62 837 4197
Internet: www.swisslog.com
----------------------------------------------------------------
About Swisslog
Swisslog is a global provider of logistic solutions for warehouses,
distribution centers and hospitals. Swisslog's solutions increase their
customers' flexibility, responsiveness, and quality of service, while
minimizing logistics costs.



This message may contain legally privileged or confidential information and
is therefore addressed to the named persons only. The recipient should
inform the sender and delete this message, if he/she is not named as
addressee. The sender disclaims any and all liability for the integrity and
punctuality of this message. The sender has activated an automatic virus
scanning, but does not guarantee the virus free transmission of this
message. _______________________________________________
tptp-testing-tools-dev mailing list
tptp-testing-tools-dev@...
https://dev.eclipse.org/mailman/listinfo/tptp-testing-tools-dev



This message may contain legally privileged or confidential information and is therefore addressed to the named persons only. The recipient should inform the sender and delete this message, if he/she is not named as addressee. The sender disclaims any and all liability for the integrity and punctuality of this message. The sender has activated an automatic virus scanning, but does not guarantee the virus free transmission of this message.



_______________________________________________
tptp-testing-tools-dev mailing list
tptp-testing-tools-dev@...
https://dev.eclipse.org/mailman/listinfo/tptp-testing-tools-dev

winmail.dat (7K) Download Attachment

RE: How to use modified junit

by Paul Slauenwhite :: Rate this Message:

Reply to Author | View Threaded | Show Only this Message

Hi Remo,
This is the JDT JUnit runner. I would suggest posting your question to the JDT newsgroup:

http://www.eclipse.org/forums/index.php?t=thread&frm_id=13&S=9c69fab2965748cbd0bdddd8c925695d.

I know that Eclipse 3.4.x ships JUnit 4, however, there does not appear to be a configuration to switch from JUnit 3 to JUnit 4 in the JDT JUnit runner.

Paul
__________________________

Paul Slauenwhite
IBM Toronto Lab, Canada

Internet: paules@...
Telephone: (905) 413-3861
Tie Line: 313-3861
__________________________

Please consider the environment before printing this email.


Inactive hide details for "Remo Liechti" ---10/21/2009 03:03:28 PM---Hi Paul, I have no clue, I just use Eclipse Galileo which "Remo Liechti" ---10/21/2009 03:03:28 PM---Hi Paul, I have no clue, I just use Eclipse Galileo which has the Junit stuff built in as I understo


From:

"Remo Liechti" <remo.liechti@...>

To:

"TPTP Testing Tools Project developer discussions" <tptp-testing-tools-dev@...>

Date:

10/21/2009 03:03 PM

Subject:

RE: [tptp-testing-tools-dev] How to use modified junit

Sent by:

tptp-testing-tools-dev-bounces@...





Hi Paul,

I have no clue, I just use Eclipse Galileo which has the Junit stuff built in as I understood. It's the one I start by right clicking onto a Test-Class and choose "Run as Junit Test". If this doesn't help I can take a closer look when I'm back in the office tomorrow.

/Remo


-----Original Message-----
From: tptp-testing-tools-dev-bounces@... on behalf of Paul Slauenwhite
Sent: Wed 10/21/2009 17:57
To: TPTP Testing Tools Project developer discussions
Cc: tptp-testing-tools-dev@...; tptp-testing-tools-dev-bounces@...
Subject: Re: [tptp-testing-tools-dev] How to use modified junit


Hi Remo,
     Are you referring to the JDT JUnit runner or the TPTP JUnit runner?

Paul
__________________________

Paul Slauenwhite
IBM Toronto Lab, Canada

Internet: paules@...
Telephone: (905) 413-3861
Tie Line: 313-3861
__________________________

Please consider the environment before printing this email.



                                                                                                                             
 From:       "Remo Liechti" <remo.liechti@...>                                                                      
                                                                                                                             
 To:         <tptp-testing-tools-dev@...>                                                                            
                                                                                                                             
 Date:       10/21/2009 12:17 PM                                                                                            
                                                                                                                             
 Subject:    [tptp-testing-tools-dev] How to use modified junit                                                              
                                                                                                                             
 Sent by:    tptp-testing-tools-dev-bounces@...                                                                      
                                                                                                                             





hi guys,

I enhanced junit with some new annotations and changed behaviour of
processing test methods to fit my needs. It is running on command line.:

Never the less, when I run the junit tests from eclipse, eclipse uses the
junit jar shipped with the plugin instead the one I have within my project.
How can I tell the plugin to use my own junit jar file on runtime? The code
completation assist recognizes my changes, the test runner doesnt.

I tried to simply replace the class files within the junit.jar shipped
which did not work.

Can you please tell me how to use my own junit.jar for running junits in
eclipse?

Thanks,
Remo




Regards,


Remo Liechti
Application Developer
Swisslog Warehouse and Distribution Solutions?


Direct: +41 (0)62 837 4345
Mobile: +41 (0)76 329 8660
CH Fax: +41 (0)62 837 4197
Internet:
www.swisslog.com
----------------------------------------------------------------
About Swisslog
Swisslog is a global provider of logistic solutions for warehouses,
distribution centers and hospitals. Swisslog's solutions increase their
customers' flexibility, responsiveness, and quality of service, while
minimizing logistics costs.



This message may contain legally privileged or confidential information and
is therefore addressed to the named persons only. The recipient should
inform the sender and delete this message, if he/she is not named as
addressee. The sender disclaims any and all liability for the integrity and
punctuality of this message. The sender has activated an automatic virus
scanning, but does not guarantee the virus free transmission of this
message. _______________________________________________
tptp-testing-tools-dev mailing list
tptp-testing-tools-dev@...
https://dev.eclipse.org/mailman/listinfo/tptp-testing-tools-dev



This message may contain legally privileged or confidential information and is therefore addressed to the named persons only. The recipient should inform the sender and delete this message, if he/she is not named as addressee. The sender disclaims any and all liability for the integrity and punctuality of this message. The sender has activated an automatic virus scanning, but does not guarantee the virus free transmission of this message.

[attachment "winmail.dat" deleted by Paul Slauenwhite/Toronto/IBM] _______________________________________________
tptp-testing-tools-dev mailing list
tptp-testing-tools-dev@...
https://dev.eclipse.org/mailman/listinfo/tptp-testing-tools-dev





_______________________________________________
tptp-testing-tools-dev mailing list
tptp-testing-tools-dev@...
https://dev.eclipse.org/mailman/listinfo/tptp-testing-tools-dev

RE: How to use modified junit

by Remo :: Rate this Message:

Reply to Author | View Threaded | Show Only this Message

Paul,

ok thanks I'll try my luck there.
There is actually a switch where you can choose the runner (junit3 or 4) within the run configuration. But no chance to change the jar file behind it.

Thanks,
Remo



-----Original Message-----
From: tptp-testing-tools-dev-bounces@... on behalf of Paul Slauenwhite
Sent: Wed 10/21/2009 20:17
To: TPTP Testing Tools Project developer discussions
Cc: TPTP Testing Tools Project developer discussions; tptp-testing-tools-dev-bounces@...
Subject: RE: [tptp-testing-tools-dev] How to use modified junit
 

Hi Remo,
      This is the JDT JUnit runner.  I would suggest posting your question
to the JDT newsgroup:

http://www.eclipse.org/forums/index.php?t=thread&frm_id=13&S=9c69fab2965748cbd0bdddd8c925695d.

      I know that Eclipse 3.4.x ships JUnit 4, however, there does not
appear to be a configuration to switch from JUnit 3 to JUnit 4 in the JDT
JUnit runner.

Paul
__________________________

Paul Slauenwhite
IBM Toronto Lab, Canada

Internet: paules@...
Telephone: (905) 413-3861
Tie Line: 313-3861
__________________________

Please consider the environment before printing this email.



                                                                                                                             
  From:       "Remo Liechti" <remo.liechti@...>                                                                      
                                                                                                                             
  To:         "TPTP Testing Tools Project developer discussions" <tptp-testing-tools-dev@...>                        
                                                                                                                             
  Date:       10/21/2009 03:03 PM                                                                                            
                                                                                                                             
  Subject:    RE: [tptp-testing-tools-dev] How to use modified junit                                                          
                                                                                                                             
  Sent by:    tptp-testing-tools-dev-bounces@...                                                                      
                                                                                                                             





Hi Paul,

I have no clue, I just use Eclipse Galileo which has the Junit stuff built
in as I understood. It's the one I start by right clicking onto a
Test-Class and choose "Run as Junit Test". If this doesn't help I can take
a closer look when I'm back in the office tomorrow.

/Remo


-----Original Message-----
From: tptp-testing-tools-dev-bounces@... on behalf of Paul
Slauenwhite
Sent: Wed 10/21/2009 17:57
To: TPTP Testing Tools Project developer discussions
Cc: tptp-testing-tools-dev@...;
tptp-testing-tools-dev-bounces@...
Subject: Re: [tptp-testing-tools-dev] How to use modified junit


Hi Remo,
      Are you referring to the JDT JUnit runner or the TPTP JUnit runner?

Paul
__________________________

Paul Slauenwhite
IBM Toronto Lab, Canada

Internet: paules@...
Telephone: (905) 413-3861
Tie Line: 313-3861
__________________________

Please consider the environment before printing this email.




  From:       "Remo Liechti" <remo.liechti@...>


  To:         <tptp-testing-tools-dev@...>


  Date:       10/21/2009 12:17 PM


  Subject:    [tptp-testing-tools-dev] How to use modified junit


  Sent by:    tptp-testing-tools-dev-bounces@...







hi guys,

I enhanced junit with some new annotations and changed behaviour of
processing test methods to fit my needs. It is running on command line.:

Never the less, when I run the junit tests from eclipse, eclipse uses the
junit jar shipped with the plugin instead the one I have within my project.
How can I tell the plugin to use my own junit jar file on runtime? The code
completation assist recognizes my changes, the test runner doesnt.

I tried to simply replace the class files within the junit.jar shipped
which did not work.

Can you please tell me how to use my own junit.jar for running junits in
eclipse?

Thanks,
Remo




Regards,


Remo Liechti
Application Developer
Swisslog Warehouse and Distribution Solutions?


Direct: +41 (0)62 837 4345
Mobile: +41 (0)76 329 8660
CH Fax: +41 (0)62 837 4197
Internet: www.swisslog.com
----------------------------------------------------------------
About Swisslog
Swisslog is a global provider of logistic solutions for warehouses,
distribution centers and hospitals. Swisslog's solutions increase their
customers' flexibility, responsiveness, and quality of service, while
minimizing logistics costs.



This message may contain legally privileged or confidential information and
is therefore addressed to the named persons only. The recipient should
inform the sender and delete this message, if he/she is not named as
addressee. The sender disclaims any and all liability for the integrity and
punctuality of this message. The sender has activated an automatic virus
scanning, but does not guarantee the virus free transmission of this
message. _______________________________________________
tptp-testing-tools-dev mailing list
tptp-testing-tools-dev@...
https://dev.eclipse.org/mailman/listinfo/tptp-testing-tools-dev



This message may contain legally privileged or confidential information and
is therefore addressed to the named persons only. The recipient should
inform the sender and delete this message, if he/she is not named as
addressee. The sender disclaims any and all liability for the integrity and
punctuality of this message. The sender has activated an automatic virus
scanning, but does not guarantee the virus free transmission of this
message.

[attachment "winmail.dat" deleted by Paul Slauenwhite/Toronto/IBM]
_______________________________________________
tptp-testing-tools-dev mailing list
tptp-testing-tools-dev@...
https://dev.eclipse.org/mailman/listinfo/tptp-testing-tools-dev



This message may contain legally privileged or confidential information and is therefore addressed to the named persons only. The recipient should inform the sender and delete this message, if he/she is not named as addressee. The sender disclaims any and all liability for the integrity and punctuality of this message. The sender has activated an automatic virus scanning, but does not guarantee the virus free transmission of this message.



_______________________________________________
tptp-testing-tools-dev mailing list
tptp-testing-tools-dev@...
https://dev.eclipse.org/mailman/listinfo/tptp-testing-tools-dev

winmail.dat (8K) Download Attachment

Parent Message unknown RE: How to use modified junit

by Remo :: Rate this Message:

Reply to Author | View Threaded | Show Only this Message

Hi Paul, and others ;-)

I actually found THE way how to do this properly by a junit api. No need
to hack junit jars...
implement your own annotation which you add on method level. then also
implement an own junit test runner, that does a try catch around the
test method invocation and checks the exception according the attributes
set of the own annotation.


@RunWith(MyRunner.class)
public class MyTestClass {

@Test(expected=MyException.class)
@MyAnnotation(error = 16)
public void thetestMethod() {




public class MyRunner extends BlockJUnit4ClassRunner {

@Override
protected Statement methodInvoker(FrameworkMethod method, Object test) {
return new MyInvokeMethod(method, test);
}


public class MyInvokeMethod extends InvokeMethod{

private FrameworkMethod testMethod;

public SwisslogInvokeMethod(FrameworkMethod testMethod, Object target) {
super(testMethod, target);
this.testMethod= testMethod;
}

@Override
public void evaluate() throws Throwable {
try{
  super.evaluate();
}catch (Throwable e) {
MyException ex = getMyExceptionOutOfTheExceptionTree(e);
if(ex==null){
// throw original exception if MyException is not within the tree
throw e;
}

MyAnnotation annotation = testMethod.getAnnotation(MyAnnotation .class);

if(annotation.error()!=ex.getErrorCode()){
throw new Exception("Error code does not match. Expected
<"+annotation.error()+"> but was actual <"+ex.getErrorCode()+">",e);
}

throw ex;
}
}


This just works PERFECT!


Regards,

Remo Liechti
Application Developer
Swisslog Warehouse and Distribution Solutions

Direct: +41 (0)62 837 4345
Mobile: +41 (0)76 329 8660
CH Fax: +41 (0)62 837 4197
Internet: www.swisslog.com
----------------------------------------------------------------
About Swisslog
Swisslog is a global provider of logistic solutions for warehouses,
distribution centers and hospitals. Swisslog's solutions increase their
customers' flexibility, responsiveness, and quality of service, while
minimizing logistics costs.


-----Original Message-----
From: tptp-testing-tools-dev-bounces@...
[mailto:tptp-testing-tools-dev-bounces@...] On Behalf Of Remo
Liechti
Sent: Mittwoch, 21. Oktober 2009 22:39
To: TPTP Testing Tools Project developer discussions
Subject: RE: [tptp-testing-tools-dev] How to use modified junit

Paul,

ok thanks I'll try my luck there.
There is actually a switch where you can choose the runner (junit3 or 4)
within the run configuration. But no chance to change the jar file
behind it.

Thanks,
Remo



-----Original Message-----
From: tptp-testing-tools-dev-bounces@... on behalf of Paul
Slauenwhite
Sent: Wed 10/21/2009 20:17
To: TPTP Testing Tools Project developer discussions
Cc: TPTP Testing Tools Project developer discussions;
tptp-testing-tools-dev-bounces@...
Subject: RE: [tptp-testing-tools-dev] How to use modified junit
 

Hi Remo,
      This is the JDT JUnit runner.  I would suggest posting your
question to the JDT newsgroup:

http://www.eclipse.org/forums/index.php?t=thread&frm_id=13&S=9c69fab2965
748cbd0bdddd8c925695d.

      I know that Eclipse 3.4.x ships JUnit 4, however, there does not
appear to be a configuration to switch from JUnit 3 to JUnit 4 in the
JDT JUnit runner.

Paul
__________________________

Paul Slauenwhite
IBM Toronto Lab, Canada

Internet: paules@...
Telephone: (905) 413-3861
Tie Line: 313-3861
__________________________

Please consider the environment before printing this email.



 

  From:       "Remo Liechti" <remo.liechti@...>

 

  To:         "TPTP Testing Tools Project developer discussions"
<tptp-testing-tools-dev@...>                        
 

  Date:       10/21/2009 03:03 PM

 

  Subject:    RE: [tptp-testing-tools-dev] How to use modified junit

 

  Sent by:    tptp-testing-tools-dev-bounces@...

 






Hi Paul,

I have no clue, I just use Eclipse Galileo which has the Junit stuff
built in as I understood. It's the one I start by right clicking onto a
Test-Class and choose "Run as Junit Test". If this doesn't help I can
take a closer look when I'm back in the office tomorrow.

/Remo


-----Original Message-----
From: tptp-testing-tools-dev-bounces@... on behalf of Paul
Slauenwhite
Sent: Wed 10/21/2009 17:57
To: TPTP Testing Tools Project developer discussions
Cc: tptp-testing-tools-dev@...;
tptp-testing-tools-dev-bounces@...
Subject: Re: [tptp-testing-tools-dev] How to use modified junit


Hi Remo,
      Are you referring to the JDT JUnit runner or the TPTP JUnit
runner?

Paul
__________________________

Paul Slauenwhite
IBM Toronto Lab, Canada

Internet: paules@...
Telephone: (905) 413-3861
Tie Line: 313-3861
__________________________

Please consider the environment before printing this email.




  From:       "Remo Liechti" <remo.liechti@...>


  To:         <tptp-testing-tools-dev@...>


  Date:       10/21/2009 12:17 PM


  Subject:    [tptp-testing-tools-dev] How to use modified junit


  Sent by:    tptp-testing-tools-dev-bounces@...







hi guys,

I enhanced junit with some new annotations and changed behaviour of
processing test methods to fit my needs. It is running on command line.:

Never the less, when I run the junit tests from eclipse, eclipse uses
the junit jar shipped with the plugin instead the one I have within my
project.
How can I tell the plugin to use my own junit jar file on runtime? The
code completation assist recognizes my changes, the test runner doesnt.

I tried to simply replace the class files within the junit.jar shipped
which did not work.

Can you please tell me how to use my own junit.jar for running junits in
eclipse?

Thanks,
Remo




Regards,


Remo Liechti
Application Developer
Swisslog Warehouse and Distribution Solutions?


Direct: +41 (0)62 837 4345
Mobile: +41 (0)76 329 8660
CH Fax: +41 (0)62 837 4197
Internet: www.swisslog.com
----------------------------------------------------------------
About Swisslog
Swisslog is a global provider of logistic solutions for warehouses,
distribution centers and hospitals. Swisslog's solutions increase their
customers' flexibility, responsiveness, and quality of service, while
minimizing logistics costs.



This message may contain legally privileged or confidential information
and is therefore addressed to the named persons only. The recipient
should inform the sender and delete this message, if he/she is not named
as addressee. The sender disclaims any and all liability for the
integrity and punctuality of this message. The sender has activated an
automatic virus scanning, but does not guarantee the virus free
transmission of this message.
_______________________________________________
tptp-testing-tools-dev mailing list
tptp-testing-tools-dev@...
https://dev.eclipse.org/mailman/listinfo/tptp-testing-tools-dev



This message may contain legally privileged or confidential information
and is therefore addressed to the named persons only. The recipient
should inform the sender and delete this message, if he/she is not named
as addressee. The sender disclaims any and all liability for the
integrity and punctuality of this message. The sender has activated an
automatic virus scanning, but does not guarantee the virus free
transmission of this message.

[attachment "winmail.dat" deleted by Paul Slauenwhite/Toronto/IBM]
_______________________________________________
tptp-testing-tools-dev mailing list
tptp-testing-tools-dev@...
https://dev.eclipse.org/mailman/listinfo/tptp-testing-tools-dev



This message may contain legally privileged or confidential information and is therefore addressed to the named persons only. The recipient should inform the sender and delete this message, if he/she is not named as addressee. The sender disclaims any and all liability for the integrity and punctuality of this message. The sender has activated an automatic virus scanning, but does not guarantee the virus free transmission of this message.

_______________________________________________
tptp-testing-tools-dev mailing list
tptp-testing-tools-dev@...
https://dev.eclipse.org/mailman/listinfo/tptp-testing-tools-dev