From 99abb9b2a5ff138e13c4a098559441a4eee9fcc9 Mon Sep 17 00:00:00 2001 From: "John J. Camilleri" Date: Mon, 8 Mar 2021 13:37:02 +0100 Subject: [PATCH] Add Phrasebook benchmark snippet to LPGF README --- testsuite/lpgf/README.md | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/testsuite/lpgf/README.md b/testsuite/lpgf/README.md index 5df8a7d17..febdd5d6c 100644 --- a/testsuite/lpgf/README.md +++ b/testsuite/lpgf/README.md @@ -57,6 +57,14 @@ stack bench --benchmark-arguments "run pgf2 Foods.pgf testsuite/lpgf/foods/Food stack bench --benchmark-arguments "run lpgf Foods.lpgf testsuite/lpgf/foods/Foods-all.trees +RTS -T -RTS" ``` +``` +stack build --test --bench --no-run-tests --no-run-benchmarks && +stack bench --benchmark-arguments "compile pgf testsuite/lpgf/phrasebook/Phrasebook*.gf +RTS -T -RTS" && +stack bench --benchmark-arguments "compile lpgf testsuite/lpgf/phrasebook/Phrasebook*.gf +RTS -T -RTS" && +stack bench --benchmark-arguments "run pgf Foods.pgf testsuite/lpgf/phrasebook/Phrasebook-10000.trees +RTS -T -RTS" && +stack bench --benchmark-arguments "run pgf2 Foods.pgf testsuite/lpgf/phrasebook/Phrasebook-10000.trees +RTS -T -RTS" && +stack bench --benchmark-arguments "run lpgf Foods.lpgf testsuite/lpgf/phrasebook/Phrasebook-10000.trees +RTS -T -RTS" +``` # Notes on compilation