specless
specless
specless
specless.api
specless.automaton
specless.cli
specless.const
specless.dataset
specless.factory
specless.inference
specless.io
specless.minigrid
specless.parser
specless.specification
specless.strategy
specless.synthesis
specless.tsp
specless.typing
specless.utils
specless.utils.benchmark
specless.utils.benchmark.BenchmarkLogger
specless.utils.collect_demos
specless.utils.robust_analysis
specless.wrapper
specless
specless
specless.utils
specless.utils.benchmark
specless.utils.benchmark.BenchmarkLogger
View page source
specless.utils.benchmark.BenchmarkLogger
class
specless.utils.benchmark.
BenchmarkLogger
(
logfilename
:
str
=
'logs.log'
)
[source]
Bases:
object
Methods
start