Ignore assembly contract in check-contracts script

Signed-off-by: Matthias J. Kannwischer <[email protected]>

Author: mkannwischer

scripts/check-contracts

@@ -42,7 +42,7 @@ def gen_contracts():
 def is_exception(funcname):
     # The functions passing this filter are known not to have a proof
 
-    if funcname.endswith("_native"):
+    if funcname.endswith("_native") or funcname.endswith("_asm"):
         # CBMC proofs are axiomatized against contracts of the backends
         return True