File tree Expand file tree Collapse file tree 2 files changed +8
-0
lines changed Expand file tree Collapse file tree 2 files changed +8
-0
lines changed Original file line number Diff line number Diff line change @@ -106,6 +106,7 @@ run_check() {
106106run_katex_check () {
107107 flutter test tools/content/unimplemented_katex_test.dart \
108108 --dart-define=corpusDir=" $opt_corpus_dir " \
109+ --dart-define=verbose=" $opt_verbose " \
109110 || return 1
110111}
111112
Original file line number Diff line number Diff line change @@ -113,6 +113,11 @@ void main() async {
113113 buf.writeln ('Because of $reason :' );
114114 buf.writeln (' ${messageIds .length } messages failed.' );
115115 buf.writeln (' Oldest message: $oldestId , Newest message: $newestId ' );
116+ if (! _verbose) {
117+ buf.writeln ();
118+ continue ;
119+ }
120+
116121 buf.writeln (' Message IDs (up to 100): ${messageIds .take (100 ).join (', ' )}' );
117122 buf.writeln (' TeX source (up to 30):' );
118123 for (final node in failedMathNodes.take (30 )) {
@@ -153,6 +158,8 @@ void main() async {
153158
154159const String _corpusDirPath = String .fromEnvironment ('corpusDir' );
155160
161+ const bool _verbose = int .fromEnvironment ('verbose' , defaultValue: 0 ) != 0 ;
162+
156163Iterable <File > _getCorpusFiles () {
157164 final corpusDir = Directory (_corpusDirPath);
158165 return corpusDir.existsSync () ? corpusDir.listSync ().whereType <File >() : [];
You can’t perform that action at this time.
0 commit comments