joshua/nominal-lstar
1
Fork 0
mirror of https://github.com/Jaxan/nominal-lstar.git synced 2025-04-27 22:57:45 +02:00
Code Issues Releases Activity

simpler benchmarks

Browse source
This commit is contained in:
Joshua Moerman 2020-05-28 09:21:42 +02:00
parent 16b0f6ed79
commit a3e6d0581c
2 changed files with 11 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

13
bench/Bench.hs
View file

@ -1,11 +1,18 @@
{-# OPTIONS_GHC -Wno-missing-signatures #-}
import Bollig import Bollig
import Examples import Examples
import Teacher import Teacher
import Criterion.Main import Gauge.Main
import Gauge.Main.Options
main :: IO () -- Run a single test since these are slow benchmarks
main = defaultMain [ myConfig = defaultConfig
{ quickMode = True
, includeFirstIter = True
}
main = defaultMainWith myConfig [
bgroup "NomNLStar" bgroup "NomNLStar"
[ bench "NFA1 -" $ whnf (learnBollig 0 0) (teacherWithTargetNonDet 2 Examples.exampleNFA1) [ bench "NFA1 -" $ whnf (learnBollig 0 0) (teacherWithTargetNonDet 2 Examples.exampleNFA1)
, bench "NFA2 1" $ whnf (learnBollig 0 0) (teacherWithTargetNonDet 3 (Examples.exampleNFA2 1)) , bench "NFA2 1" $ whnf (learnBollig 0 0) (teacherWithTargetNonDet 3 (Examples.exampleNFA2 1))

2
nominal-lstar.cabal
View file

@ -58,5 +58,5 @@ benchmark bench
type: exitcode-stdio-1.0 type: exitcode-stdio-1.0
main-is: Bench.hs main-is: Bench.hs
build-depends: build-depends:
criterion, gauge,
nominal-lstar nominal-lstar