add stats for @satisfies_expr

2026-05-05 13:45:19 +02:00 · 2022-11-16 13:48:41 +01:00
parent bfb0ca7968
commit 76c6943159
1 changed files with 4 additions and 0 deletions
--- a/javascript/ql/lib/semmlecode.javascript.dbscheme.stats
+++ b/javascript/ql/lib/semmlecode.javascript.dbscheme.stats
@@ -450,6 +450,10 @@
 <v>100</v>
 </e>
 <e>
+<k>@satisfies_expr</k>
+<v>100</v>
+</e>
+<e>
 <k>@preinc_expr</k>
 <v>1792</v>
 </e>