P.D. Reiter
posted to
squaresLab/Darjeeling
Unknown problems occur on setting up Darjeeling.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... |
P.D. Reiter
posted to
squaresLab/Darjeeling
Unknown problems occur on setting up Darjeeling.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. |
P.D. Reiter
posted to
squaresLab/BugZoo
Docker in Docker for bugzoo iteractionsGreat! Thanks @ChrisTimperley - that worked perfectly. |
P.D. Reiter
added topic to
squaresLab/BugZoo
Docker in Docker for bugzoo iteractionsI 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
|
P.D. Reiter
added topic to
squaresLab/BugZoo
bugzoo bug coverage : clang 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 ... |
P.D. Reiter
posted to
squaresLab/Darjeeling
Does 'seed' ensure that the same children/mutations are generated for a yml configuration and program?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.
|
P.D. Reiter
posted to
squaresLab/BugZoo
gcov linking issue...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 |
P.D. Reiter
posted to
squaresLab/BugZoo
gcov linking issueOkay, 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... |
P.D. Reiter
posted to
squaresLab/BugZoo
gcov linking issueYou’re totally right - haven’t injected that code yet. I’ll try that ASAP. |
P.D. Reiter
posted to
squaresLab/BugZoo
gcov linking issueI 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 ... |
P.D. Reiter
posted to
squaresLab/BugZoo
gcov linking issueand the docker container does have the gcov lib:
|
P.D. Reiter
added topic to
squaresLab/BugZoo
gcov linking issueI'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
|
P.D. Reiter
added topic to
squaresLab/BugZoo
Documentation for bugs/languages : keyword C++ not supported, instead CPPLooking at file-format documentation, it looks like keyword C++ doesn't work in |
P.D. Reiter
posted to
squaresLab/Darjeeling
Does 'seed' ensure that the same children/mutations are generated for a yml configuration and program?@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? |
P.D. Reiter
added topic to
squaresLab/Darjeeling
Does 'seed' ensure that the same children/mutations are generated for a yml configuration and program?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 ... |
P.D. Reiter
posted to
squaresLab/Darjeeling
Does darjeeling/bugzoo infrastructure support more than one simultaneous process?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 ... |
P.D. Reiter
posted to
squaresLab/Darjeeling
Does darjeeling/bugzoo infrastructure support more than one simultaneous process?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... |
P.D. Reiter
posted to
squaresLab/Darjeeling
post was trashed
|
P.D. Reiter
added topic to
squaresLab/Darjeeling
unexpected response from server [500]: Too many open filesOn a single program that I'm running algorithm type genetic, I'm seeing the following exception occur a few times:
|
P.D. Reiter
added topic to
squaresLab/Darjeeling
Does darjeeling/bugzoo infrastructure support more than one simultaneous process?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... |
P.D. Reiter
posted to
squaresLab/Darjeeling
kaskara-statement-finder : "Compile command not found"hey @ChrisTimperley - When is supplied to the compiler command line and that used by , the following er... |
P.D. Reiter
posted to
squaresLab/Darjeeling
post was trashed
|
P.D. Reiter
added topic to
squaresLab/Darjeeling
What's the best way to approach darjeeling.exceptions.NoImplicatedLines ?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... |
P.D. Reiter
posted to
squaresLab/BugZoo
bugzoo does not play well with byte literals in program outputIt looks like amending
|