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_at_gmail.com > <mailto:pradeepkiruvale_at_gmail.com>> 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_coninfer.com > <mailto:jschimpf_at_coninfer.com>> 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 : Thu Dec 04 2014 - 01:16:36 CET