AlgebraicJulia / AlgebraicJulia/AlgebraicPetri.jl

Update Comparison tests to Catlab > v0.16.9

Aperta
#175 1 commento 0 reazioni 1 assegnatario Rivendicata da @kris-brown Vedi su GitHub
bug
Lingua principale
Julia
Stelle
94
Fork
22
Metriche di merge delle PR
Nessuna PR unita negli ultimi 30g

Descrizione

Comparison tests in `test/ModelComparison.jl` pass on Catlab v0.16.9 but fail on later versions.

I am not sure what the intention of these tests is, but note that by changing line 32 in `test/ModelComparison.jl` from
```julia
so = Subobject.(legs(c_res))
```
to
```julia
so = Subobject.(feet(c_res))
```
, all following logical tests pass save for:
```julia
¬(A ∧ B) != ¬(A) ∨ B
```
and
```julia
implies((A∧B), A) == A∨B
```

Those tests further pass if `==` and `!=` are substituted in respectively.

Guida per i contributori

Nessuna guida per i contributori indicizzata per questo repository

Valutazione

Questa issue non è ancora stata valutata.

Ricevi le nuove issue nella tua casella

Un breve riepilogo di issue GitHub adatte ai principianti.