Skip to content

Instantly share code, notes, and snippets.

@zkessin

zkessin/json_test.erl

Created August 12, 2014 08:34
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save zkessin/52c96f8d5e6285497e8f to your computer and use it in GitHub Desktop.
Save zkessin/52c96f8d5e6285497e8f to your computer and use it in GitHub Desktop.
Download ZIP
Raw
json_test.erl
-module(json_test).
-include_lib("eqc/include/eqc.hrl").
-include_lib("eunit/include/eunit.hrl").
-compile(export_all).
-include("erlog_test.hrl").
json_test() ->
{ok, ERLOG_STATE} = erlog:new(),
Data = [{<<"test">>, 12345}],
?assertMatch({{succeed,_},_}, erlog:prove(ERLOG_STATE, {length, Data, {'Len'}})).
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment