Code

Fix counterexamples for inclusion#442

Code

Merged

jurajsic merged 8 commits intodevelVeriFIT/mata:develfrom fix_cexVeriFIT/mata:fix_cexCopy head branch name to clipboardOct 25, 2024

+265-72

Commits

Commits on Oct 17, 2024

• add failling test for inclusion cex

  jurajsic

  committed
  e6ee3df

Commits on Oct 18, 2024

• fix counterexample for antichain inclusion + add path to it

  jurajsic

  committed
  b52bdde

• fix cex path for naive alg

  jurajsic

  committed
  9074a98

Commits on Oct 21, 2024

• add function to get shortest accepting run and use it for counterexample in inclusion

  jurajsic

  committed
  d9fc283

• remove distances_from_intitial_with_runs()

  jurajsic

  committed
  16fb25d

Commits on Oct 25, 2024

• fix comment

  Show description for a7c18c4
  

  jurajsic

  and

  Adda0

  authored
  a7c18c4

• remove repeated calls to travs

  jurajsic

  committed
  e793a78

• Merge branch 'fix_cex' of github.com:VeriFIT/mata into fix_cex

  jurajsic

  committed
  64f00fa