Code

#407: remove direct model iteration#416

Code

Open

kfriedberger wants to merge 5 commits intomastersosy-lab/java-smt:masterfrom 407-remove-direct-model-iterationsosy-lab/java-smt:407-remove-direct-model-iterationCopy head branch name to clipboard

+90-83

Commits

Commits on Dec 15, 2024

• improve error message in concurrency test.

  kfriedberger

  committed
  2f1be3e

  Copy full SHA for 2f1be3e

• switch tests to use model-asList instead of direct iteration.

  kfriedberger

  committed
  7107db3

  Copy full SHA for 7107db3

• remove direct model iteration.

  Show description for 9e8d35b
  kfriedberger

  committed
  9e8d35b

  Copy full SHA for 9e8d35b

• refactor model for OpenSMT and document its generation.

  kfriedberger

  committed
  9916542

  Copy full SHA for 9916542

• fix Checkstyle and Compiler warnings.

  kfriedberger

  committed
  7e6c214

  Copy full SHA for 7e6c214