Re: [eclipse-clp-users] Testing Eclipseclp

From: Joachim Schimpf <jschimpf_at_...311...>
Date: Mon, 08 Sep 2014 12:23:52 +0100
The initial ones to test are in the Bips, Built_In, Iso, Suspend, and Syntax 
folders.  Each of these contains one or more t_xxx.pl files.  Example:

% cd Bips
% ~/Eclipse/Main/bin/x86_64_linux/eclipse -f t_bips -e test
testing Bips
Ok, time = 0.00
%

For the ic-library and related, start with FdSets, GlobalConstraints, IC, 
ICSymbolic, Icparc, Linearize, NotifyPorts, SD, Search, Tentative.

-- Joachim


On 08/09/14 10:14, Pradeep Kiruvale wrote:
> 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@...6...
> <mailto:pradeepkiruvale@...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@...311...
>     <mailto:jschimpf@...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
>         <mailto:ECLiPSe-CLP-Users_at_lists.sourceforge.net>
>         https://lists.sourceforge.net/lists/listinfo/eclipse-clp-users
>
>
>
>
>
> ------------------------------------------------------------------------------
> Want excitement?
> Manually upgrade your production database.
> When you want reliability, choose Perforce
> Perforce version control. Predictably reliable.
> http://pubads.g.doubleclick.net/gampad/clk?id=157508191&iu=/4140/ostg.clktrk
>
>
>
> _______________________________________________
> 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 - 11:24:02 CEST

This archive was generated by hypermail 2.2.0 : Mon Jul 09 2018 - 02:05:30 CEST