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.
(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 :linaer 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 :linaer 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
cljdoc is a website building & hosting documentation for Clojure/Script libraries
× close