What appears to be a bug of comparison operators in Zen

[shiibaryu]

Hi, I have developed a data plane verification software using Zen and found what appears to be a bug of comparison operators in Zen.

The following comparison operation will be false in Zen, but true in C#.

Zen<ulong> a = 0xffffffffffffffff; 
Zen<ulong> b = 0x1000000000000000;
// false
Console.WriteLine(a > b);

ulong c = 0xffffffffffffffff;
ulong d = 0x1000000000000000;
// true
Console.WriteLine(c > d);

Could you check it ?

Thanks.

[rabeckett]

Thanks for the clear bug report. This looks like a bug in the constant simplifier that is treating a ulong as a long for the comparison. Should be an easy fix.