Andrew Thompson Vagabond
Vagabond
/ hashmap_del.erl
Last active
January 6, 2016 03:12
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| hashmap_delete_pre(S) -> | |
| S#state.hashmap /= undefined. | |
| hashmap_delete_args(S = #state{map=Map}) when length(Map) > 0 -> | |
| [S#state.hashmap, | |
| eqc_gen:oneof([eqc_gen:elements(element(1, lists:unzip(S#state.map))), | |
| ?SUCHTHAT(X1, eqc_gen:list(eqc_gen:char()), length(X1) > 0)])]; | |
| hashmap_delete_args(S) -> | |
| [S#state.hashmap, ?SUCHTHAT(X1, eqc_gen:list(eqc_gen:char()), length(X1) > 0)]. |
Vagabond
/ hashmap_clear.erl
Created
January 6, 2016 03:06
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| hashmap_clear_pre(S) -> | |
| S#state.hashmap /= undefined. | |
| hashmap_clear_args(S) -> | |
| [S#state.hashmap]. | |
| hashmap_clear(Hashmap) -> | |
| hashmap:hashmap_clear(Hashmap). | |
| hashmap_clear_next(S, _R, [_]) -> |
Vagabond
/ hashmap_get.erl
Last active
January 6, 2016 02:56
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| hashmap_get_pre(S) -> | |
| S#state.hashmap /= undefined. | |
| hashmap_get_args(S = #state{map=Map}) when length(Map) > 0 -> | |
| [S#state.hashmap, | |
| eqc_gen:oneof([eqc_gen:elements(element(1, lists:unzip(S#state.map))), | |
| ?SUCHTHAT(X1, eqc_gen:list(eqc_gen:char()), length(X1) > 0)])]; | |
| hashmap_get_args(S) -> | |
| [S#state.hashmap, ?SUCHTHAT(X1, eqc_gen:list(eqc_gen:char()), length(X1) > 0)]. |
Vagabond
/ hashmap_put.erl
Last active
January 6, 2016 02:47
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| hashmap_put_pre(S) -> | |
| S#state.hashmap /= undefined. | |
| hashmap_put_args(S) -> | |
| {Keys, _} = lists:unzip(S#state.map), | |
| [S#state.hashmap, | |
| ?SUCHTHAT(X1, eqc_gen:list(eqc_gen:char()), length(X1) > 0 andalso not lists:member(X1, Keys)), | |
| ?SUCHTHAT(X2, eqc_gen:list(eqc_gen:char()), length(X2) > 0)]. | |
| hashmap_put(Hashmap, Key, Value) -> |
Vagabond
/ hashmap_eqc.erl
Created
January 6, 2016 02:36
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| -module(hashmap_eqc). | |
| %% include some quickcheck headers | |
| -include_lib("eqc/include/eqc.hrl"). | |
| -include_lib("eqc/include/eqc_statem.hrl"). | |
| %% include the eqc-c generated header | |
| -include("hashmap.hrl"). | |
| %% function to initialize the model state |
Vagabond
/ create.erl
Last active
January 6, 2016 01:47
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| -record(state, {hashmap=undefined, | |
| size, | |
| map=[]}). | |
| hashmap_create_pre(S) -> | |
| S#state.hashmap == undefined. | |
| hashmap_create_args(_S) -> | |
| [eqc_gen:choose(4,10)]. |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| package main | |
| import ( | |
| "fmt" | |
| "github.com/tpjg/goriakpbc" | |
| ) | |
| func main() { | |
| err := riak.ConnectClient("127.0.0.1:8087") | |
| if err != nil { |
Vagabond
/ tls_connection.erl.diff
Last active
December 24, 2015 17:38
TLS connection patch to correctly negotiate ECC curves.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| diff --git a/lib/ssl/src/tls_connection.erl b/lib/ssl/src/tls_connection.erl | |
| index 5618837..42fc099 100644 | |
| --- a/lib/ssl/src/tls_connection.erl | |
| +++ b/lib/ssl/src/tls_connection.erl | |
| @@ -415,11 +415,16 @@ hello(Hello = #client_hello{client_version = ClientVersion, | |
| ConnectionStates0, Cert}, Renegotiation) of | |
| {Version, {Type, #session{cipher_suite = CipherSuite} = Session}, | |
| ConnectionStates, | |
| - #hello_extensions{ec_point_formats = EcPointFormats, | |
| - elliptic_curves = EllipticCurves} = ServerHelloExt} -> |
Vagabond
/ gist:1242755
Created
September 26, 2011 17:08
— forked from IgorKarymov/gist:1224897
riak if_not_modified
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| -module(test). | |
| -export([ | |
| test/0 | |
| ]). | |
| -define(RIAK_HOST, "127.0.0.1"). | |
| -define(RIAK_PORT, 8087). | |
Vagabond
/ gist:1137595
Created
August 10, 2011 17:46
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| diff --git a/src/poolboy.erl b/src/poolboy.erl | |
| index 9b71104..386df02 100644 | |
| --- a/src/poolboy.erl | |
| +++ b/src/poolboy.erl | |
| @@ -47,16 +47,16 @@ ready({checkin, Pid}, State) -> | |
| ready(_Event, State) -> | |
| {next_state, ready, State}. | |
| -ready(checkout, {From, _}, #state{workers=Workers, worker_sup=Sup, | |
| +ready(checkout, {FromPid, _} = From, #state{workers=Workers, worker_sup=Sup, |