[CZT-Users] Cartesian product question

[Michael L. <leu...@cs...>]

Hi,

Another question concerning ZLive; shouldn’t this evaluate to true:

ZLiveDefault> eval \{\} \cross \{1\} = \nat \cross \{\}
false

(A REPL is a great way of testing a tool ;-) I used it extensively to test ProB as well ;-))
Kind regards,
Michael

PS: We did find a similar error in TLC (which has now been fixed; TLC evaluated to \{\} \cross \{1\} = \{1\} \cross \{\} false. 
Here ZLive gives the correct answer:
ZLiveDefault> eval \{\} \cross \{1\} = \{1\} \cross \{\}
true