Merge branch 'main' into join-order-metric-query

This commit is contained in:
Mathias Vorreiter Pedersen 2023-02-23 15:54:38 +00:00
Родитель d7d9bea5e8 0419b5b24c
Коммит 858b3de547
1 изменённых файлов: 0 добавлений и 12 удалений

Просмотреть файл

@ -333,15 +333,3 @@ module KindPredicatesLog {
Extensional() { evaluationStrategy = "EXTENSIONAL" }
}
}
// Stuff to test whether we've covered all event types
private File logFile() { result = any(EvaluatorLog::LogHeader h).getLocation().getFile() }
private Object missing() {
result =
any(Object o |
o.getLocation().getFile() = logFile() and
not o instanceof EvaluatorLog::Entry and
not exists(o.getParent().getParent()) // don't count nested objects
)
}