diff options
| author | adelon <22380201+adelon@users.noreply.github.com> | 2026-07-28 17:14:02 +0200 |
|---|---|---|
| committer | adelon <22380201+adelon@users.noreply.github.com> | 2026-07-28 17:14:02 +0200 |
| commit | 76cb6e1098e79da34bd8922dbebfc4d1401b2c70 (patch) | |
| tree | 7e32650316dcd39535fb88098538aad7b8a79d9e /source/Provers.hs | |
| parent | 0aa43f35caab6953c833e9eb1d16de02b9460c80 (diff) | |
Measure sequential verification work
Diffstat (limited to 'source/Provers.hs')
| -rw-r--r-- | source/Provers.hs | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/source/Provers.hs b/source/Provers.hs index b0f33f7..1a14663 100644 --- a/source/Provers.hs +++ b/source/Provers.hs @@ -29,6 +29,7 @@ module Provers , PreparedVerificationRequest , preparedVerificationDialect , preparedVerificationText + , preparedVerificationByteCount , PreparedProverTask , prepareProverTask , preparedProverLogicalTask @@ -260,6 +261,12 @@ data PreparedVerificationRequest = PreparedVerificationRequest } deriving (Eq) +preparedVerificationByteCount + :: PreparedVerificationRequest + -> Int +preparedVerificationByteCount = + ByteString.length . preparedVerificationInput + data PreparedProverTask = PreparedProverTask !Task !PreparedTptpTask |