Code

bug AASTORE on symbolic arrays?#52

Code

Open

DonatoClun wants to merge 1 commit intoSymbolicPathFinder:masterSymbolicPathFinder/jpf-symbc:masterfrom DonatoClun:masterDonatoClun/jpf-symbc:masterCopy head branch name to clipboard

+1-1

Commits

Commits on Jun 9, 2020

• fix AASTORE symbolic arrays: propagate PC to current CG

  DonatoClun

  committed
  136ad75

  Copy full SHA for 136ad75