Code

Update Crux-llvm testing#618

Code

Draft

kquick wants to merge 17 commits intomasterGaloisInc/crucible:masterfrom crux-llvm-testsugarGaloisInc/crucible:crux-llvm-testsugarCopy head branch name to clipboard

+494-80

Commits

Commits on Jan 16, 2021

• [crux-llvm] Import reformatting in test.

  kquick

  committed
  db7acb4

  Copy full SHA for db7acb4

• [crux-llvm] Cleanup clang version detection in test.

  kquick

  committed
  3f60fd7

  Copy full SHA for 3f60fd7

• [crux-llvm] Add .gitignore to to crux-llvm for test output files.

  kquick

  committed
  f731127

  Copy full SHA for f731127

• [crux-llvm] Remove unused redir function in test.

  kquick

  committed
  69001a1

  Copy full SHA for 69001a1

• [crux-llvm] add crux-llvm output dir to gitignore

  kquick

  committed
  6b1ba72

  Copy full SHA for 6b1ba72

• [crux-llvm] switch from tasty-golden to tasty-sugar for testing.

  kquick

  committed
  cbb2045

  Copy full SHA for cbb2045

Commits on Jan 17, 2021

• [crux-llvm] Update test output file and specification of quietness.

  kquick

  committed
  e0ec3a0

  Copy full SHA for e0ec3a0

• [crux-llvm] Parameterize tests over solvers; add Yices to existing Z3.

  Show description for d26977f
  kquick

  committed
  d26977f

  Copy full SHA for d26977f

• [crux-llvm] Add CVC4 online verification to tests.

  kquick

  committed
  9eefad7

  Copy full SHA for 9eefad7

• [crux-llvm] Add solver version reporting to test output

  kquick

  committed
  3e741c4

  Copy full SHA for 3e741c4

Commits on Jan 18, 2021

• [crux-llvm] add STP and Boolector solver tests.

  kquick

  committed
  c07c3bd

  Copy full SHA for c07c3bd

• [crux-llvm] More updates of expected output for boolector and stp tests.

  kquick

  committed
  6458a87

  Copy full SHA for 6458a87

• [crux-llvm] add funptr tests.

  kquick

  committed
  a73784a

  Copy full SHA for a73784a

Commits on Jan 19, 2021

• [crux-llvm] add funptr-fiddle tests

  kquick

  committed
  68199a9

  Copy full SHA for 68199a9

• [crux-llvm] add more tests modifying function pointers.

  kquick

  committed
  bed3c68

  Copy full SHA for bed3c68

• [crux-llvm] add funptr-array tests (see Issue #10)

  kquick

  committed
  bc24f8f

  Copy full SHA for bc24f8f

• [crux-llvm] do not fail if a solver is not present.

  kquick

  committed
  22ec440

  Copy full SHA for 22ec440