eqc_ex v1.2.4 → Overview → EQC → StateM

EQC.StateM

Source

Summary↑

check_commands(mod, cmds, run_result)
check_commands(mod, cmds, res, env)
pretty_commands(mod, cmds, res, bool)
run_commands(mod, cmds)
run_commands(mod, cmds, env)
run_parallel_commands(mod, cmds)
run_parallel_commands(mod, cmds, env)
symcall(arg1)

Converts the given call expression into a symbolic call
weight(state, cmds)

Functions

check_commands(mod, cmds, run_result)
(function) # ↑
Source
check_commands(mod, cmds, res, env)
(function) # ↑
Source
pretty_commands(mod, cmds, res, bool)
(function) # ↑
Source
run_commands(mod, cmds)
(function) # ↑
Source
run_commands(mod, cmds, env)
(function) # ↑
Source
run_parallel_commands(mod, cmds)
(function) # ↑
Source
run_parallel_commands(mod, cmds, env)
(function) # ↑
Source

Macros

symcall(arg1)
(macro) # ↑

Converts the given call expression into a symbolic call.

Examples

symcall extract_pid(result)
# {:call, __MODULE__, :extract_pid, [result]}

symcall OtherModule.do_something(result, args)
# {:call, OtherModule, :do_something, [result, args]}
Source
weight(state, cmds)
(macro) # ↑
Source