Skip to content

Commit

Permalink
Updated make results-generation.
Browse files Browse the repository at this point in the history
  • Loading branch information
@mbromber
mbromber committed Sep 11, 2024
1 parent 0daaaf7 commit 6b468aa
Showing 1 changed file with 4 additions and 0 deletions.
4 changes: 4 additions & 0 deletions Makefile
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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"
Expand Down

0 comments on commit 6b468aa

Please sign in to comment.