coredevice: re-enable annotation test

This commit is contained in:
occheung 2024-11-18 15:15:43 +08:00 committed by Sébastien Bourdeauducq
parent b84017e7ea
commit 34d0ba9563
1 changed files with 0 additions and 2 deletions

View File

@ -323,7 +323,6 @@ class _Annotation(EnvExperiment):
def build(self): def build(self):
self.setattr_device("core") self.setattr_device("core")
# NAC3TODO https://git.m-labs.hk/M-Labs/nac3/issues/101
@kernel @kernel
def overflow(self, x: int64) -> bool: def overflow(self, x: int64) -> bool:
return (x << 32) != int64(0) return (x << 32) != int64(0)
@ -334,7 +333,6 @@ class _Annotation(EnvExperiment):
class AnnotationTest(ExperimentCase): class AnnotationTest(ExperimentCase):
@unittest.skip("NAC3TODO https://git.m-labs.hk/M-Labs/nac3/issues/101")
def test_annotation(self): def test_annotation(self):
exp = self.create(_Annotation) exp = self.create(_Annotation)
self.assertEqual(exp.overflow(int64(1)), True) self.assertEqual(exp.overflow(int64(1)), True)