umgeher/leveled
0
Fork 0
Code Issues Pull requests Releases Activity Actions

Initial eqc setup

Browse source
This commit is contained in:
Martin Sumner 2019-01-21 10:51:07 +00:00
parent 67104c85c1
commit b713ce60a8
5 changed files with 1068 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

BIN
.eqc-info Normal file
View file

Binary file not shown.

BIN
current_counterexample.eqc Normal file
View file

Binary file not shown.

4
rebar.config
View file

@ -11,8 +11,8 @@
{profiles,
[{eqc, [{deps, [meck, fqc]},
{erl_opts, [debug_info, {parse_transform, lager_transform}, {parse_transform, eqc_cover}]},
{plugins, [rebar_eqc]}]}
{erl_opts, [debug_info, {parse_transform, eqc_cover}]},
{extra_src_dirs, ["test"]}]}
]}.
{deps, [

2
src/leveled_inker.erl
View file

@ -847,7 +847,7 @@ start_from_file(InkOpts) ->
%% @doc
%% Shutdown any snapshots before closing the store
shutdown_snapshots(Snapshots) ->
lists:foreach(fun({Snap, _SQN}) -> ok = ink_close(Snap) end, Snapshots).
lists:foreach(fun({Snap, _TS, _SQN}) -> ok = ink_close(Snap) end, Snapshots).
-spec shutdown_manifest(leveled_imanifest:manifest()) -> ok.
%% @doc

1065
test/leveledjc_eqc.erl Normal file
View file

File diff suppressed because it is too large Load diff