Check if query is head query

stella-project / stella-app

Multi-container application of the STELLA infrastructure

GNU General Public License v3.0

2 stars 1 forks source link

Check if query is head query #26

Closed breuert closed 3 years ago

breuert commented 4 years ago

Before the stella-app queries experimental systems with precomputed runs, it should be checked if the corresponding query is part of the head queries in the precomputed runs.

[x] Check if query is head query
[x] Fallback if not → query Docker system