diff --git a/Makefile b/Makefile index 269b0f2b..9c1d53a6 100644 --- a/Makefile +++ b/Makefile @@ -78,6 +78,10 @@ results-generation: @poetry run smtcomp export-results-pages data UnsatCore @echo "🚀 Generating results to web/content/results for Incremental" @poetry run smtcomp export-results-pages data Incremental + @echo "🚀 Generating results to web/content/results for Cloud" + @poetry run smtcomp export-results-pages data Cloud + @echo "🚀 Generating results to web/content/results for Parallel" + @poetry run smtcomp export-results-pages data Parallel cache: @echo "🚀 Generating cache"