edaBits not working when using emulator

[sebw42]

Hi, I tried to emulate a program that uses edaBits (compiled using ./compile.py -R 64 -Y), but I get the following error when I execute it with emulate.sh:

Using statistical security parameter 40
Trying to run 64-bit computation
Fatal error at program-EQZ(1)_63-1:1 (EDABIT): no edaBits

Does the emulator not support edaBits or do they need to be generated before starting emulate?
Here is an example program where the error occurs:

x = sint(1)
y = sint(2)
@if_((x==y).reveal())
def _():
    y.update(sint(3))
print_ln("%s", y.reveal())

Thank you!

[mkskeller]

The emulator doesn't support edaBits.