Re: [eclipse-clp-users] Testing Eclipseclp

From: Pradeep Kiruvale <pradeepkiruvale_at_...6...>
Date: Mon, 8 Sep 2014 11:14:20 +0200
Hi Joachim,

I looked into the README file, I am not sure which are the test cases
suitable for
testing the eclipse Kernel. Could you please tell me which are the folder I
should
use.

Regards,
Pradeep


On 5 September 2014 08:29, Pradeep Kiruvale <pradeepkiruvale_at_...6...>
wrote:

> Hi Joachim,
>
> Thanks for sending me the test cases. I will try to use these and let you
> know if I have any questions.
>
> I actually use a simulated version of arm64 infra for porting and testing
> which is
> running on top of qemu.
>
>
> Regards,
> Pradeep
>
>
> On 4 September 2014 18:00, Joachim Schimpf <jschimpf_at_...311...> wrote:
>
>> On 04/09/2014 11:37, Pradeep Kiruvale wrote:
>> > Hi All,
>> >
>> > I have ported the Eclipseclp to Arm64. I would like to test it.
>> > Please let me know how can I test this and especially for floating point
>> > related features.
>> >
>> > I have ported  only the kernel and icparc_solvers.
>>
>>
>> Hi Pradeep,
>>
>> This is great news, thanks for investing the time!
>>
>> Our test suite is not in the open source repository because it contains
>> Prolog application programs
>> from various sources, some of which cannot be distributed, or whose
>> copyright situation is unclear.
>>  It is a long standing item on my todo list to extract at least all the
>> unit tests and add them to
>> the source repository.
>>
>> But I am going to send you a version of the test suite by personal email.
>>
>> All the best,
>> Joachim
>>
>>
>>
>>
>>
>> ------------------------------------------------------------------------------
>> Slashdot TV.
>> Video for Nerds.  Stuff that matters.
>> http://tv.slashdot.org/
>> _______________________________________________
>> ECLiPSe-CLP-Users mailing list
>> ECLiPSe-CLP-Users_at_lists.sourceforge.net
>> https://lists.sourceforge.net/lists/listinfo/eclipse-clp-users
>>
>
>
Received on Mon Sep 08 2014 - 09:14:27 CEST

This archive was generated by hypermail 2.3.0 : Tue Apr 16 2024 - 09:13:20 CEST