svf: minor test edits

tempname11 · Nov 10, 2023 · 7f3e875 · 7f3e875
1 parent 5aef896
commit 7f3e875
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/svf_tools/src/test/simple/b.cpp b/svf_tools/src/test/simple/b.cpp
@@ -110,7 +110,7 @@ void test_read(vm::LinearArena *arena, Bytes input_range) {
   ASSERT(entry->removeOption1_tag == schema::RemoveOption_tag::one);
   ASSERT(entry->removeOption1_payload.one == 70);
 
-  ASSERT(entry->removeOption2_tag == schema::RemoveOption_tag(0)); // FIXME
+  ASSERT(entry->removeOption2_tag == schema::RemoveOption_tag::nothing);
 
   ASSERT(entry->primitives.u8u16 == 49);
   ASSERT(entry->primitives.u8u32 == 50);

diff --git a/svf_tools/src/test/simple/d.cpp b/svf_tools/src/test/simple/d.cpp
@@ -113,7 +113,7 @@ void test_read(vm::LinearArena *arena, Bytes input_range) {
   ASSERT(entry->removeOption1_tag == schema::RemoveOption_tag::one);
   ASSERT(entry->removeOption1_payload.one == 70);
 
-  ASSERT(entry->removeOption2_tag == schema::RemoveOption_tag(0)); // FIXME
+  ASSERT(entry->removeOption2_tag == schema::RemoveOption_tag::nothing);
 
   ASSERT(entry->primitives.u8u16 == 49);
   ASSERT(entry->primitives.u8u32 == 50);