Code

Testing with storm#6

Code

Merged

ct2034 merged 7 commits intomainconvince-project/AS2FM:mainfrom add/testing_with_stormconvince-project/AS2FM:add/testing_with_stormCopy head branch name to clipboardJun 26, 2024

+161-71

Commits

Commits on Jun 25, 2024

• renaming method and test for clarity

  Show description for 70a6650
  ct2034

  committed
  70a6650

  Copy full SHA for 70a6650

• testing generated jani by running with smc_strom and interpreting the output

  Show description for 1aa80d8
  ct2034

  committed
  1aa80d8

  Copy full SHA for 1aa80d8

• more output for tests

  Show description for 6f2a307
  ct2034

  committed
  6f2a307

  Copy full SHA for 6f2a307

• also testing failing property

  Show description for e643815
  ct2034

  committed
  e643815

  Copy full SHA for e643815

• a comment

  Show description for 935fadf
  ct2034

  committed
  935fadf

  Copy full SHA for 935fadf

• removing redundant s

  Show description for ecab712
  ct2034

  committed
  ecab712

  Copy full SHA for ecab712

Commits on Jun 26, 2024

• missing arg

  Show description for 8e75104
  ct2034

  committed
  8e75104

  Copy full SHA for 8e75104