Code

Added integration test for simbolik#407

Code

Open

RaoulSchaffranek wants to merge 7 commits intomasterruntimeverification/kontrol:masterfrom raoul/simbolik-integration-testruntimeverification/kontrol:raoul/simbolik-integration-testCopy head branch name to clipboard

+79-3

Commits

Commits on Mar 4, 2024

• Added integration test for simbolik.

  RaoulSchaffranek

  committed
  633fe8b

• Set Version: 0.1.179

  

  devops

  committed
  bd17769

• Fix coding style.

  RaoulSchaffranek

  committed
  c0be724

• Merge branch 'raoul/simbolik-integration-test' of https://github.com/runtimeverification/kontrol into raoul/simbolik-integration-test

  RaoulSchaffranek

  committed
  781463f

Commits on Mar 17, 2024

• Merge branch 'master' into raoul/simbolik-integration-test

  PetarMax

  authored
  4c56706

• Set Version: 0.1.211

  

  devops

  committed
  b09b27f

Commits on Mar 18, 2024

• Fix code QA issues.

  RaoulSchaffranek

  committed
  6fa840e