Liking cljdoc? Tell your friends :D
Clojure only.
knossos.competition
A checker which uses both WGL and linear analyses, terminating as soon as one has a decision.
A checker which uses both WGL and linear analyses, terminating as soon as one has a decision.
analysisclj
(analysis model history)(analysis model history opts)Given an initial model state and a history, checks to see if the history is linearizable by running both the :linear and :wgl analyzers. Returns a map with a :valid? bool and additional debugging information.
Can also take an options map: {:time-limit ms} Duration to wait before returning with result :unknown
Given an initial model state and a history, checks to see if the history is
linearizable by running both the :linear and :wgl analyzers.
Returns a map with a :valid? bool and additional debugging information.
Can also take an options map:
{:time-limit ms} Duration to wait before returning with result :unknowncljdoc is a website building & hosting documentation for Clojure/Script libraries
× close