Code

Fix dot print#24

Code

Merged

TCatshoek merged 4 commits intomaintudelft-cda-lab/FlexFringe:mainfrom fix_dot_printtudelft-cda-lab/FlexFringe:fix_dot_printCopy head branch name to clipboardJan 18, 2024

+86-21

Commits

Commits on Jan 18, 2024

• removed renumbering (still need to correct for splits) and fixed printing dot files

  

  sverwer

  authored and

  sverwer

  committed
  c6e3e09

  Copy full SHA for c6e3e09

• removed renumbering (still need to correct for splits) and fixed printing dot files

  

  sverwer

  authored and

  sverwer

  committed
  28fc97f

  Copy full SHA for 28fc97f

• Add smoke test for dot output

  TCatshoek

  committed
  468664f

  Copy full SHA for 468664f

• Add a method to state_merger to print dot output to a stream rather than a file to aid in testing.

  TCatshoek

  committed
  2fecb90

  Copy full SHA for 2fecb90