Bug in the method gov.nasa.jpf.jdart.ConcolicMethodExplorer.advanceValuation()

[ngocpq]

Hello,
I think there is a bug in the method gov.nasa.jpf.jdart.ConcolicMethodExplorer.advanceValuation() at line 218, file gov.nasa.jpf.jdart.ConcolicMethodExplorer.java

The original code is:
`for (Variable v : currValuation.getVariables()) {

    if (!nextValuation.containsValueFor(v)) {

      nextValuation.addEntry(new ValuationEntry(v, 
              nextValuation.getValue(v))); // returns the default value for this type
    }
  }

`

I guest that the correct code should be:
` for (Variable v : currValuation.getVariables()) {

    if (!nextValuation.containsValueFor(v)) {

      nextValuation.addEntry(new ValuationEntry(v, 
              currValuation.getValue(v))); //Suggested fix: change nextValuation to currValuation
    }
  }`