Source file `microx.ml`

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
(** Microexecution library.

    Microexecution is an execution of arbitrary pieces of code,
    under random context.

    The library provides two classes:

    - a concretizer
      concretization is a process of giving a value for unknown
      variable);
    - a conqueror, that is an IR interpreter, that tries to cover as
      much code as needed.

*)

[@@@deprecated "[since 2017-04] use Primus instead"]

module Std = struct
  module Concretizer = Microx_concretizer
  module Conqueror   = Microx_conqueror

  class ['a] concretizer = ['a] Concretizer.main
  class ['a] conqueror   = ['a] Conqueror.main
end