Code

Regression testing#6

Code

Open

polgreen wants to merge 12 commits intodiffblue:masterdiffblue/symex:masterfrom

polgreen:regression_testingpolgreen/symex:regression_testingCopy head branch name to clipboard

Commits

Commits on Feb 20, 2018

• Add eager infeasbility, dfs and bfs to symex help file

  polgreen

  committed
  75d7ce2

  Copy full SHA for 75d7ce2

• Introduce randomized DFS

  Show description for c457018
  polgreen

  committed
  c457018

  Copy full SHA for c457018

• Add distances to property as variable in locst

  Show description for 484b21e
  polgreen

  committed
  484b21e

  Copy full SHA for 484b21e

• Shortest path grapht

  Show description for 55d047b
  polgreen

  committed
  55d047b

  Copy full SHA for 55d047b

• Per function shortest path graph

  Show description for f67f64e
  polgreen

  committed
  f67f64e

  Copy full SHA for f67f64e

• Output distances to property from every reachable program location

  polgreen

  committed
  3096190

  Copy full SHA for 3096190

• access shortest path locst variable from path_symex_statet

  polgreen

  committed
  5ad8ef3

  Copy full SHA for 5ad8ef3

• Shortest path search heuristic

  Show description for 68edca7
  polgreen

  committed
  68edca7

  Copy full SHA for 68edca7

• Shortest path per function search heuristic

  Show description for 115037d
  polgreen

  committed
  115037d

  Copy full SHA for 115037d

• Output search heuristic and initialisation time

  polgreen

  committed
  e336d70

  Copy full SHA for e336d70

• Regression tests for symex shortest path search heuristics

  Show description for cd4a73a
  polgreen

  committed
  cd4a73a

  Copy full SHA for cd4a73a

• makefile for regression tests

  polgreen

  committed
  e2daa85

  Copy full SHA for e2daa85