Zhang Yanbo

Results 2 issues of Zhang Yanbo

Hi. I have just installed autojump with oh-my-zsh in a docker container (Ubuntu 16.04.6 LTS). Every time I use cd command, it shows ``` autojump_chpwd:4: permission denied: autojump ``` even...

Hi I am trying to use command line version of pit to mutate a class in defects4j. My command line input is ``` java -cp ~/tools/pit/pitest-command-line-1.1.5.jar:~/tools/pit/pitest-1.1.5.jar:~/tools/junit/junit-4.12.jar \ org.pitest.mutationtest.commandline.MutationCoverageReport \ --reportDir...