Skip to content

Instantly share code, notes, and snippets.

View jarjuk's full-sized avatar

jarjuk

  • Greater Helsinki region
View GitHub Profile
@jarjuk
jarjuk / 00
Last active December 12, 2016 07:28
sbuilder-ethreum example TLA formal model
TLA+ language formal model for setup 'game1' in blog post https://jarjuk.wordpress.com/2016/12/09/sbuilder-ethereum-example/
SPECIFICATION Spec
CONSTANT defaultInitValue = defaultInitValue
\* Add statements after this line.
  This gist contains code for blog post [EC2 Keypairs](https://jarjuk.wordpress.com/2015/09/23/ec2-keypairs)
  - example-stack.json : CloudFormration JSON template to create stack using example EC2 key-pair
  - verify-keys.sh: a script to verify Amazon fingerprint with OpenSSH private key fingerprint
  This gist contains code for blog post [A Nat Instance on AWS](https://jarjuk.wordpress.com/2015/09/21/nat-instance-on-aws)

  * Gemfile : install aws-must-templates Gem being 
  * Rakefile: loading test runner from aws-must-templates
  * suite2.yaml : YAML configuration for CloudFormation stack
  * suite2.json : CloudFormation template generated from suite2.yaml
  * test-suites.yaml: configuration for test runner configuration in YAML

This gist contains code for blog post A Case For RPSPEC Custom Matcher

  • spec1.rb : RSPEC validating that implemented_rule includes expected_rule
  • spec1-error.rb : RSPEC falsifying that implemented_rule includes expected_rule
  • spec2.rb : RSPEC validating that at least of of the rules in array of implemented_rules include expected_rule, defines a new matcher include_rule for validation
  • spec2-error.rb : RSPEC falsifying new custom matcher include_rule