Code

[WIP] Paths mutations#2

Code

Open

FedeLoch wants to merge 6 commits intomasterAlamvic/ranger:masterfrom constraint-mutationsAlamvic/ranger:constraint-mutationsCopy head branch name to clipboard

+1,961-882

Commits

Commits on Sep 19, 2024

• Extending path explorer to mutate the current path to explor, in order to avoid deterministic exploriation.

  Show description for d7468c8
  FedeLoch

  committed
  d7468c8

  Copy full SHA for d7468c8

Commits on Sep 20, 2024

• Adding mutator logic to PathExplorer

  FedeLoch

  committed
  58b2dcd

  Copy full SHA for 58b2dcd

Commits on Sep 23, 2024

• Updating model

  FedeLoch

  committed
  1e81053

  Copy full SHA for 1e81053

• Renaming test cases on the test class GreaterIntConstraintMutator

  FedeLoch

  committed
  e2385d5

  Copy full SHA for e2385d5

• Deleting deprecated compiler test case

  FedeLoch

  committed
  5cc3803

  Copy full SHA for 5cc3803

• Extracting logic to facilitate Concolic test evaluation

  FedeLoch

  committed
  681b29b

  Copy full SHA for 681b29b