Hi Aamer, This is Javier's reply to your question. Regards, Mutaz ________________________________________ From: Picorel Javier [[email protected]] Sent: Friday, February 10, 2012 7:44 PM To: [email protected] Subject: [cloudsuite] Cloud9 code coverage
That output says that Cloud9 is running but it's not computing the code coverage. Be sure that the example.coverable file is inside the cloud9/infra/coverable folder as step 4 suggests: "4- Setup the file that describes the source files accounted for when computing code coverage in the infra/coverable/ directory (e.g., example.coverable). You may use the provided coreutils.coverable file for running the Coreutils." It should be there by default. Afterwards when running the experiment by following step 5: "./run-experiment.py -t [time in seconds] --strategy random-path,cov-opt epfl coreutils coreutils-12 coreutils coreutils" The last argument has to have the same name as the file inside the coverable folder before the dot. For instance if this file inside cloud9/infra/coverable has the name example.coveable I should run the command like this "./run-experiment.py ... example". Regards, Javier -----Original Message----- Who is in charge of Cloud9? The online tool suggests running till code coverage of 80%. I don't seem to see much of that... What should the output be like? I get the following from the beginning: [00530.487] Worker< >: Debug: Code coverage is 0/0 (local) and 0/0 (global)... missing hexadecimal number in escape [00536.187] Worker< >: Debug: Code coverage is 0/0 (local) and 0/0 (global)... [00539.215] Worker< >: Debug: Code coverage is 0/0 (local) and 0/0 (global)... [00542.547] Worker< >: Debug: Code coverage is 0/0 (local) and 0/0 (global)... [00548.451] Worker< >: Debug: Code coverage is 0/0 (local) and 0/0 (global)... warning: ignoring excess arguments, starting with `\' [00559.085] Worker< >: Debug: Code coverage is 0/0 (local) and 0/0 (global)... KLEE: WARNING: calling external: newlocale(8127, 140717362122656, 0) KLEE: WARNING: calling external: strtold_l(140717362121280, 140717362394336, 140717645837280) KLEE: WARNING: calling external: freelocale(140717645837280) warning: ignoring excess arguments, starting with `\\r' [00568.760] Worker< >: Debug: Code coverage is 0/0 (local) and 0/0 (global)... [00573.466] Worker< >: Debug: Code coverage is 0/0 (local) and 0/0 (global)... [00576.613] Worker< >: Debug: Code coverage is 0/0 (local) and 0/0 (global)...
