AlgebraicJulia / AlgebraicJulia/AlgebraicPetri.jl
Update Comparison tests to Catlab > v0.16.9
Aperta
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.