Closed RyanGlScott closed 8 months ago
Currently, the test cases involves values of type Z do not work (see https://github.com/GaloisInc/cryptol-compiler/issues/31), so we mark them as expected to fail in the interest of making CI work.
Z
Fixes https://github.com/GaloisInc/cryptol-compiler/issues/30.
Currently, the test cases involves values of type
Zdo not work (see https://github.com/GaloisInc/cryptol-compiler/issues/31), so we mark them as expected to fail in the interest of making CI work.Fixes https://github.com/GaloisInc/cryptol-compiler/issues/30.