update tests thm-003-cleveref / thm-004 (need to be fixed)

testfiles-pdftex/thm-003-cleveref.tlg

@@ -1,13 +1,49 @@
 This is a generated file for the l3build validation system.
 Don't change this file in any respect.
 Chapter 1.
+! Use of \cref@override@label@type doesn't match its definition.
+\refstepcounter@optarg ...cref@currentlabel \@nil 
+                                                  {\@tempa }}
+l. ...\begin{definition}
+                       [proof script]
+If you say, e.g., `\def\a1{...}', then you must always
+put `1' after `\a', since control sequence names are
+made up of letters only. The macro here has not been
+followed by the required stuff, so I'm ignoring it.
 LaTeX Font Info:    External font `cmex10' loaded for size
 (Font)              <12> on input line ....
 LaTeX Font Info:    External font `cmex10' loaded for size
 (Font)              <8> on input line ....
 LaTeX Font Info:    External font `cmex10' loaded for size
 (Font)              <6> on input line ....
 Package hyperref Info: bookmark level for unknown definition defaults to 0 on input line ....
+! Use of \cref@override@label@type doesn't match its definition.
+\refstepcounter@optarg ...cref@currentlabel \@nil 
+                                                  {\@tempa }}
+l. ...\begin{definition}
+                       [proof script]
+If you say, e.g., `\def\a1{...}', then you must always
+put `1' after `\a', since control sequence names are
+made up of letters only. The macro here has not been
+followed by the required stuff, so I'm ignoring it.
+! Use of \cref@override@label@type doesn't match its definition.
+\refstepcounter@optarg ...cref@currentlabel \@nil 
+                                                  {\@tempa }}
+l. ...\begin{definition}
+                       [proof script]
+If you say, e.g., `\def\a1{...}', then you must always
+put `1' after `\a', since control sequence names are
+made up of letters only. The macro here has not been
+followed by the required stuff, so I'm ignoring it.
+! Use of \cref@override@label@type doesn't match its definition.
+\refstepcounter@optarg ...cref@currentlabel \@nil 
+                                                  {\@tempa }}
+l. ...\begin{definition}
+                       [proof script]
+If you say, e.g., `\def\a1{...}', then you must always
+put `1' after `\a', since control sequence names are
+made up of letters only. The macro here has not been
+followed by the required stuff, so I'm ignoring it.
 \tf@thm=\write...
 Completed box being shipped out [1]
 \vbox(679.0+0.0)x421.0

testfiles-pdftex/thm-004.tlg

@@ -1,5 +1,13 @@
 This is a generated file for the l3build validation system.
 Don't change this file in any respect.
+! Use of \cref@override@label@type doesn't match its definition.
+\refstepcounter@optarg ...cref@currentlabel \@nil 
+                                                  {\@tempa }}
+l. ...\begin{lemma}
+If you say, e.g., `\def\a1{...}', then you must always
+put `1' after `\a', since control sequence names are
+made up of letters only. The macro here has not been
+followed by the required stuff, so I'm ignoring it.
 LaTeX Font Info:    External font `cmex10' loaded for size
 (Font)              <12> on input line ....
 LaTeX Font Info:    External font `cmex10' loaded for size