smtbmc error test case 2 solution (using --nomem)

vai_reg/symbiyosys.sby

@@ -3,9 +3,10 @@ depth 30
 wait on
 mode prove
 #mode bmc
+#mode cover
 
 [engines]
-smtbmc
+smtbmc --nomem
 #abc pdr
 
 [script]

vai_reg/vai_reg.vhd

@@ -114,7 +114,7 @@ begin
                 s_register(to_integer(unsigned(a_addr))) <= Din_i;
                 -- Following line results in following error:
                 -- ERROR: Unsupported cell type $dlatchsr for cell $verific$wide_dlatchrs_8.$verific$i1$172.
-                s_register(0) <= Din_i;
+                --s_register(0) <= Din_i;
               else
                 s_error <= true;
               end if;