Code

[Second Cycle] - Array Tests#25

Code

Open

Jclavo wants to merge 14 commits intoenable_passed_test_for_flowdroid_benchmarkrbonifacio/svfa-scala:enable_passed_test_for_flowdroid_benchmarkfrom task/fix_array_textrbonifacio/svfa-scala:task/fix_array_textCopy head branch name to clipboard

+61-18

Commits

Commits on Mar 16, 2024

• add edge when array is store

  Jclavo

  committed
  99ef274

  Copy full SHA for 99ef274

Commits on Mar 17, 2024

• Merge branch 'enable_passed_test_for_flowdroid_benchmark' of https://github.com/rbonifacio/svfa-scala into task/fix_array_text

  Jclavo

  committed
  124ea40

  Copy full SHA for 124ea40

• comment print

  Jclavo

  committed
  38520b0

  Copy full SHA for 38520b0

• add comments

  Jclavo

  committed
  4b3ed1f

  Copy full SHA for 4b3ed1f

• able some tests

  Jclavo

  committed
  24160f8

  Copy full SHA for 24160f8

• update info about array tests

  Jclavo

  committed
  62b8f4c

  Copy full SHA for 62b8f4c

• test("description: Inter9")

  Jclavo

  committed
  e997ffa

  Copy full SHA for e997ffa

• update test info

  Jclavo

  committed
  ccd72e0

  Copy full SHA for ccd72e0

Commits on Apr 25, 2024

• Merge branch 'enable_passed_test_for_flowdroid_benchmark' of https://github.com/rbonifacio/svfa-scala into task/fix_array_text

  Jclavo

  committed
  b2f9b75

  Copy full SHA for b2f9b75

Commits on Apr 26, 2024

• enable array tests

  Jclavo

  committed
  4ca4b03

  Copy full SHA for 4ca4b03

• update percentage

  Jclavo

  committed
  a514f15

  Copy full SHA for a514f15

Commits on Jun 21, 2024

• add logic to handle edges from array indexes

  Jclavo

  committed
  80a5520

  Copy full SHA for 80a5520

• enable test Array7

  Jclavo

  committed
  95adac1

  Copy full SHA for 95adac1

Commits on Jun 25, 2024

• update test % info

  Jclavo

  committed
  cdc2302

  Copy full SHA for cdc2302