Skip to content
This repository has been archived by the owner on Sep 16, 2024. It is now read-only.

Commit

Permalink
Removed the game benchmarks since these just take too long.
Browse files Browse the repository at this point in the history
  • Loading branch information
@mlaveaux
mlaveaux committed Sep 11, 2023
1 parent e63d237 commit dea379d
Showing 1 changed file with 1 addition and 5 deletions.
6 changes: 1 addition & 5 deletions benchmarks/CMakeLists.txt
View file
Original file line number Diff line number Diff line change
Expand Up @@ -36,11 +36,7 @@ set(STATESPACE_BENCHMARKS
# These specifications use lists of lists to represent the board of a game. The
# symbolic tools cannot deal with this single parameter and require additional
# preprocessing of the LPS (using lpsparunfold).
set(GAME_BENCHMARKS
"examples/games/clobber/clobber.mcrl2"
"examples/games/domineering/domineering.mcrl2"
"examples/games/othello/othello.mcrl2"
)
set(GAME_BENCHMARKS "")

# This target is used to generate all intermediate files required for benchmarks.
add_custom_target(benchmarks)
Expand Down

0 comments on commit dea379d

Please sign in to comment.