[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [MirageOS-devel] Regarding Bisect Coverage Bugs on ubuntu12.04 platform



(adding the list back as cc)

response inline

On 12 Mar 2014, at 19:35, Narayana Reddy Y <narayana1208@xxxxxxxxxxx> wrote:

> Thank you for responding to my request.
> 
> I was asked to perform coverage test using bisect package on Ocmal-uri 
> package[source files].
> 
> So, I installed bisect package using opam and i followed the instruction 
> specified in the attached document to perform compiling and instrumenting the 
> source files .
> 
> But I am getting some unbound module errors like unbound module OUnit .
> 
> I will be grateful if you tell me where is the problem.

apologies-- i'm not familiar with the bisect package. following the 
instructions (by mildly tweaking the _oasis file and then using ocamlbuild) 
seemed to just work for me.

if the module OUnit is unbound then it means the library isn't available on the 
path. have you run "opam install ounit" at some point?

if you have the utop top-level installed you can easily try accessing the 
bisect and ounit modules from in there to check it's installed ok:

$ utop
...
# #require "bisect";;
# #require "ounit";;
# open Bisect;;
# open OUnit;;

...shouldn't throw any errors.

> In the above email you mentioned that i have to perform "eval $(opam config 
> env)" do i have to perform this every time i install some package or at the 
> time installing OPAM itself .I did this at the time of installing OPAM ,is it 
> not enough.

you need to perform that once in your shell, not after every package install. 
(if you accept all the defaults when installing opam, i believe it will add 
appropriate lines to your shell's startup scripts -- .profile, .bashrc, 
whatever.)

> On Wed, Mar 12, 2014 at 2:57 AM, Richard Mortier 
> <Richard.Mortier@xxxxxxxxxxxxxxxx> wrote:
>> hi narayana;
>> 
>> apologies -- i'm having trouble following what you're trying to do here. 
>> could you point to the instructions you're following?
>> 
>> in terms of paths, i presume you've made sure you executed "eval $(opam 
>> config env)" to make sure paths are correct?
>> 
>> what are the specific opam packages you have installed?
>> 
>> On 10 Mar 2014, at 21:44, Narayana Reddy Y <narayana1208@xxxxxxxxxxx> wrote:
>> 
>> > Hello Mirage Developers,
>> >                                  As Part of My interest to get in to GSOC 
>> > 2014 ,I was asked to gain some experience on performing tests using 
>> > various package available in OCAML website on mirage OS .
>> >
>> >                                     I am trying to use bisect coverage 
>> > tool on ocam-uri package which i got from git hub , i am getting some 
>> > unbound module errors though i tried all the possible methods mentioned in 
>> > the bisect document .
>> >
>> > I installed bisect package by two methods
>> >              1.using opam package manager and
>> >              2.even i tried using manual installation specified in the doc 
>> > in both the cases                 i am getting errors.
>> >
>> > my opam package manager path is /home/narya/.opam/system/lib/bisect 
>> > ---this is the place where all required pre-processor files are there
>> >
>> > ocam-uri package which i downloaded using git clone is in 
>> > ---/home/narya/ocaml/ocaml-uri/lib_test/test_runner.ml
>> >
>> > when i am trying to compile and instrument the above ocaml-uri test runner 
>> > file using the methods mentioned in bisect doc ,the following are some 
>> > errors i am facing
>> >
>> > narya@ubuntu:~/ocaml/ocaml-uri/lib_test$ ocamlc -I +bisect 
>> > /home/narya/.opam/system/lib/bisect/bisect.cma test_runner.ml
>> >
>> > The following is the error i am getting
>> >
>> > Unbound module oUnit
>> >
>> > Though there is OUint package in opam directory
>> >
>> > and when i tried to run the same file by mentioning other path where i 
>> > placed bisect files ----/usr/lib/ocaml/bisect ----here i installed bisect 
>> > package manually by executing commands specified in the doc
>> >
>> > Here i am getting Unbound module Bisect ..
>> >
>> >
>> > I would be happy if some one address the above issues.........


-- 
Cheers,

R.




This message and any attachment are intended solely for the addressee and may 
contain confidential information. If you have received this message in error, 
please send it back to me, and immediately delete it.   Please do not use, copy 
or disclose the information contained in this message or in any attachment.  
Any views or opinions expressed by the author of this email do not necessarily 
reflect the views of the University of Nottingham.

This message has been checked for viruses but the contents of an attachment
may still contain software viruses which could damage your computer system, you 
are advised to perform your own checks. Email communications with the 
University of Nottingham may be monitored as permitted by UK legislation.





_______________________________________________
MirageOS-devel mailing list
MirageOS-devel@xxxxxxxxxxxxxxxxxxxx
http://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel


 


Rackspace

Lists.xenproject.org is hosted with RackSpace, monitoring our
servers 24x7x365 and backed by RackSpace's Fanatical Support®.