P.D. Reiter

pdreiter ·

Unknown problems occur on setting up Darjeeling.

help wanted question

Chris and I worked through a similar problem in the issue I opened in response to this gitq:There’s a bug in the docker api that isn’t closed yet because they needed to resolve win vs Linux issue. If you pull in the docker api fix into your virtual env are...

Unknown problems occur on setting up Darjeeling.

help wanted question

Did your bug scenario build its bugzoo cont... correctly?You should have followed the directions from here: to add the and build the via .You may also want to run the on your to make sure that the code coverage that Darjeeling uses is generated correctly.

Docker in Docker for bugzoo iteractions

Great! Thanks @ChrisTimperley - that worked perfectly.

Docker in Docker for bugzoo iteractions

I have a docker container that runs Bugzoo and I'm getting what seem to be socket issues - see below.If I need to run bugzoo in another docker container, is there something I'm missing in my docker set up to enable this?I'm running the encapsulating dock...

P.D. Reiter starred community

bugzoo bug coverage : clang support?

feature howto support

I'm working with a C++17 program that supports clang compilation, not gcc, and built my program bugzoo infrastructure around and .I found that there was no impact wrt using , until I tried to generate the coverage via . It looks like , needs the ...

Does 'seed' ensure that the same children/mutations are generated for a yml configuration and program?

question

I was able to duplicate the scenario where not only do I see different candidates from the STDOUT Darjeeling repair, but also some different repairs.
I launched a few back to back darjeeling runs like so with the :

for i in $(seq 0 1 10); do 
    mkd...

gcov linking issue

support

...and that's it. i'm new to automake (as in this is the first time I've ever done it) and it looks like I have to always pass these flags via configure.

BUT I'm not seeing how I can tell BugZoo YML file to pass in these flags as a baseline compile for

gcov linking issue

support

Okay, figured out the problem, but not sure why it's happening yet.I also should have noticed it earlier, but I'll blame that on rushing to the airport and then the plane. Basically the Makefile isn't getting regenerated/overwritten with the where have...

gcov linking issue

support

You’re totally right - haven’t injected that code yet. I’ll try that ASAP.
The program I’m working on required clang-7 and libcstd++-8 (for c++17 compatibility), and some other packages. Probably the root of the issue :-/

gcov linking issue

support

I launched a bugzoo container and manually launched the --coverage with the configuration command and didn’t run into the linking issue.

Looking at the bugzoo log, it looks like the file-with-instrumentation was manipulated. Is that correct? If so, How ...

gcov linking issue

support

and the docker container does have the gcov lib:

docker@d79f9349bbbf:/experiment/src$ find / -type f -name "libgcov.a"
/usr/lib/gcc/x86_64-linux-gnu/8/libgcov.a
/usr/lib/gcc/x86_64-linux-gnu/7/libgcov.a

gcov linking issue

support

I'm seeing this linking issue with a new bugzoo bug I'm trying to repair. Any ideas of what is the problem? I'm using configure-and-make

2425 challenge_src/src/main.o: In function `bugzoo_sighandler(int)':^M
2426 main.cpp:(.text+0x4): undefined refere...

Documentation for bugs/languages : keyword C++ not supported, instead CPP

support

Looking at file-format documentation, it looks like keyword C++ doesn't work in bugs: languages, but CPP does.
Minor request, when the enumeration error occurs, could the supported languages be printed in the bugzoo log?

Does 'seed' ensure that the same children/mutations are generated for a yml configuration and program?

question

@ChrisTimperley - let me double check that this was what I was seeing a couple of weeks ago. if I confirm, I'll promote this to an issue. cool?

Does 'seed' ensure that the same children/mutations are generated for a yml configuration and program?

question

hey -I was comparing the output from a previous run [see ] and latest fix. I noticed that the Candidates being evaluated/generated aren't consistent with each other.Is this expected?Are the Candidates generated using the same Darjeeling + BugZoo + other ...

Does darjeeling/bugzoo infrastructure support more than one simultaneous process?

bug question

Regardless, determining if the port is being used by another service (and whether the service is a bugzoo server) is probably good error checking to have.When I saw this behavior and looked at the ephemeral invocation, my head immediately went to solution ...

Does darjeeling/bugzoo infrastructure support more than one simultaneous process?

bug question

I had two different xterms in two different directories invoking two different bugzoo programs with darjeeling.While one darjeeling invocation died like the logs I shared, the other found a repair.At this point in time, I have only seen that error once - I...

post was trashed

unexpected response from server [500]: Too many open files

bug help wanted question

On a single program that I'm running algorithm type genetic, I'm seeing the following exception occur a few times:

<title>requests.exceptions.ConnectionError: ('Connection aborted.', OSError(24, 'Too many open files')) // Werkzeug Debugger</title>

Does darjeeling/bugzoo infrastructure support more than one simultaneous process?

bug question

On my host machine yesterday, I launched two darjeeling repairs on two different bugzoo containers and darjeeling directories. When I looked at the results, it looked like bugzoo manager shut down the daemon while another darjeeling/kaskara process...

kaskara-statement-finder : "Compile command not found"

bug help wanted

hey @ChrisTimperley -
I ran into a similar failure with a little more complicated build environment - it looks like kaskara does not work with all command line switches.

When is supplied to the compiler command line and that used by , the following er...

post was trashed

What's the best way to approach darjeeling.exceptions.NoImplicatedLines ?

analysis help wanted question

@ChrisTimperley -

I am comparing Darjeeling and GenProg on a simple program - GenProg was able to identify a valid repair from 2 positive and 1 negative tests, but in Darjeeling, I am getting the NoImplicatedLines exception for exhaustive s...

bugzoo does not play well with byte literals in program output

bug howto support

It looks like amending line.decode('utf-8').rstrip('\n') from mgr/container.py to include "backslashreplace", allowed bugzoo bug validate <mybug> to pass test cases:

579         for line in out:
580             line = line.decode('utf-8',"backslashreplace...