[x509-parser] add optional WP target

1 job for x509-parser-add-wp in 52 minutes and 53 seconds (queued for 1 second)
Status Name Job ID Coverage
  Test
failed build #417836
docker

00:52:53

 
Name Stage Failure
failed
build Test
+src	x509-parser.c	9083	parse_x509_signatureValue	precondition of parse_sig_generic	Unknown	len > 0 ∧ buf ≢ \null ⇒ \valid_read(buf + (0 .. len - 1))
+src x509-parser.c 9099 parse_x509_cert postcondition Unknown \old(len) ≡ 0 ⇒ \result < 0
+src x509-parser.c 9126 parse_x509_cert unsigned_downcast Unknown 0 ≤ (int)((int)len - (int)eaten)
+src x509-parser.c 9140 parse_x509_cert precondition of parse_x509_tbsCertificate Unknown len > 0 ∧ buf ≢ \null ⇒ \valid_read(buf + (0 .. len - 1))
+src x509-parser.c 9146 parse_x509_cert unsigned_downcast Unknown 0 ≤ (int)((int)len - (int)eaten)
+src x509-parser.c 9150 parse_x509_cert precondition of parse_x509_signatureAlgorithm Unknown len > 0 ∧ buf ≢ \null ⇒ \valid_read(buf + (0 .. len - 1))
+src x509-parser.c 9156 parse_x509_cert unsigned_downcast Unknown 0 ≤ (int)((int)len - (int)eaten)
+src x509-parser.c 9160 parse_x509_cert precondition of parse_x509_signatureValue Unknown len > 0 ∧ buf ≢ \null ⇒ \valid_read(buf + (0 .. len - 1))
ERROR: Job failed: exit code 1