Code

Adaption to changes in DFT simulator#175

Code

Merged

volkm merged 2 commits intomoves-rwth:mastermoves-rwth/stormpy:masterfrom volkm:dft_simulationvolkm/stormpy:dft_simulationCopy head branch name to clipboardAug 19, 2024

+85-55

Commits

Commits on Jul 19, 2024

• Adaption to changes in DFT simulator (storm#582)

  volkm

  committed
  e2c6a14

Commits on Aug 13, 2024

• Removed support for test command in setup.py

  volkm

  committed
  82d7071