SpoonLabs/nopol

Issues

• notes on Nopol's continuous integration

  #224 opened 2 years ago by monperrus
  1

• Add support to toggle the synthesis of trivial patches

  #229 opened 2 years ago by agodio
  1

• Nopol fails to compile due to the inaccessibility of the "Maven Repository for Spoon Release"

  #225 opened 2 years ago by DehengYang
  3

• Setup continuous delivery with Github Actions

  #221 opened 3 years ago by andre15silva
  0

• Support for Java 16 in Nopol

  #217 opened 3 years ago by monperrus
  1

• problem using intellij plugin

  #162 opened 3 years ago by vitogreco
  2

• Support Java 11

  #211 opened 3 years ago by andre15silva
  13

• integrate flacoco

  #216 opened 3 years ago by monperrus
  0

• GZoltar includes tests that are not failing in failing tests

  #223 opened 3 years ago by andre15silva
  1

• Generate an overfitted patch for repairing a bug with a test suite, but fix it correctly with a subset of the test suite

  #215 opened 3 years ago by Amirfarhad-Nilizadeh
  2

• Nopol generates an overfitted patches with a test suite, but a correct patch with a subset of the test suite

  #210 opened 3 years ago by Amirfarhad-Nilizadeh
  1

• Cannot fix a bug with a test suite, but fix it correctly with a subset of the test suite

  #209 opened 3 years ago by Amirfarhad-Nilizadeh
  4

• refactor: Builder for NopolContext

  #208 opened 4 years ago by andre15silva
  1

• java.lang.ClassNotFoundException on repairing Spoon

  #200 opened 4 years ago by jose
  7

• log4j:ERROR setFile(null,true) call failed.

  #199 opened 4 years ago by jose
  7

• How to point to a SMT solver on Windows?

  #203 opened 4 years ago by Ardenian
  10

• How to deal with the OOM error when running Nopol

  #202 opened 4 years ago by DehengYang
  8

• Command line argument --test

  #198 opened 4 years ago by jose
  3

• upgrade to latest version of GZoltar

  #196 opened 4 years ago by DehengYang
  7

• papers related to Nopol

  #197 opened 4 years ago by monperrus
  1

• Problem in Running

  #190 opened 4 years ago by Amirfarhad-Nilizadeh
  3

• Using Nopol to properly assess / repair JDK 1.7 projects, such as Defect4J projects

  #192 opened 4 years ago by ProdigyXable
  1

• program was excuted successfully but there was NO SYNTHESIS

  #191 opened 5 years ago by qq956916631
  3

• no patch for Defects4J chart_3 by nopol

  #173 opened 5 years ago by patrickyeli
  12

• different patch generated for the test-project

  #177 opened 5 years ago by DehengYang
  1

• How to solve the problem "Received fatal alert: protocol_version"?

  #184 opened 5 years ago by sunshine-lcc
  1

• Fault localization process fails when using `CocoSpoonBasedSpectrumBasedFaultLocalizer`

  #179 opened 5 years ago by DehengYang
  6

• Installation question: SMT solver and nopol

  #181 opened 5 years ago by monperrus
  2

• `mvn clean install` failed in jdk 1.7 when installing cocospoon

  #178 opened 6 years ago by DehengYang
  5

• The only one failed test case is run twice in the fault localization stage in Nopol repair with Gzoltar localizer

  #147 opened 6 years ago by DehengYang
  14

• Problem to repair Chart_3

  #143 opened 7 years ago by DehengYang
  2

• patch: in order to be used in a Git context, patch paths should be relative to a git root path

  #170 opened 6 years ago by surli
  0

• A problem when running Nopol (org.smtlib.SolverProcess$ProverException)

  #161 opened 6 years ago by DehengYang
  2

• which Java version to compile Nopol?

  #172 opened 6 years ago by monperrus
  0

• patch cannot be applied directly by git apply

  #168 opened 6 years ago by surli
  0

• About using noclasspath

  #159 opened 6 years ago by surli
  7

• chore: upgrade Spoon to 7.0.0

  #166 opened 6 years ago by surli
  0

• Execute Nopol fails

  #165 opened 6 years ago by FalconLK
  13

• Kali patches should have a clear diff with only code removal

  #151 opened 6 years ago by monperrus
  3

• if(true) cannot be a valid patch

  #163 opened 6 years ago by monperrus
  1

• Encapsulate run of the tests to capture all kind of exception

  #160 opened 6 years ago by surli
  0

• bug in fault localization using cocospoon "--flocal cocospoon"

  #148 opened 6 years ago by monperrus
  4

• bug: Nopol is sometimes non-deterministic (patch found / not found for the same input + command line parameters)

  #146 opened 6 years ago by DehengYang
  15

• Upgrade spoon version to 6.2.0

  #157 opened 6 years ago by surli
  0

• Deploy a first release version of Nopol

  #156 opened 6 years ago by surli
  3

• bug: SMT constraints should not be dependent on the execution order of tests

  #153 opened 6 years ago by SophieHYe
  7

• how to run Nopol in multiple patch mode?

  #150 opened 6 years ago by monperrus
  0

• feature request: destination of logs

  #149 opened 6 years ago by surli
  0

• The meaning of nopolContext.isOnlyOneSynthesisResult() in Nopol source codes

  #145 opened 7 years ago by DehengYang
  2

• What is the function of "mvn package -DskipTests"?

  #144 opened 7 years ago by Kaka727
  4