[Eva] Add wkey for missing assigns

src/plugins/eva/self.ml

@@ -140,6 +140,8 @@ let () = set_warn_status wkey_missing_loop_unroll_for Log.Winactive
 let wkey_signed_overflow = register_warn_category "signed-overflow"
 let wkey_invalid_assigns = register_warn_category "assigns:invalid"
 let () = set_warn_status wkey_invalid_assigns Log.Wfeedback
+let wkey_missing_assigns = register_warn_category "assigns:missing"
+let () = set_warn_status wkey_missing_assigns Log.Werror
 let wkey_experimental = register_warn_category "experimental"
 let wkey_unknown_size = register_warn_category "unknown-size"
 let wkey_ensures_false = register_warn_category "ensures-false"

src/plugins/eva/self.mli

@@ -69,6 +69,7 @@ val wkey_missing_loop_unroll : warn_category
 val wkey_missing_loop_unroll_for : warn_category
 val wkey_signed_overflow : warn_category
 val wkey_invalid_assigns : warn_category
+val wkey_missing_assigns : warn_category
 val wkey_experimental : warn_category
 val wkey_unknown_size : warn_category
 val wkey_ensures_false : warn_category