This gist contains code used to run Benchmarks on Sbuilder/TLA-tools
This file contains 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
TLA+ language formal model for setup 'game1' in blog post https://jarjuk.wordpress.com/2016/12/09/sbuilder-ethereum-example/ |
This file contains 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
SPECIFICATION Spec | |
CONSTANT defaultInitValue = defaultInitValue | |
\* Add statements after this line. |
This gist contains code for blog post Hierarchical CloudFormation with Lambda
- Gemfile : install aws-must-templates Gem being
This gist contains code for blog post Using OpenSSH on AWS Platform
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
includesexpected_rule
- spec1-error.rb : RSPEC falsifying that
implemented_rule
includesexpected_rule
- spec2.rb : RSPEC validating that at least of of the rules in array of
implemented_rules
includeexpected_rule
, defines a new matcherinclude_rule
for validation - spec2-error.rb : RSPEC falsifying new custom matcher
include_rule
Test report from running test suites in aws-must-templates development
Cloudformation templates from aws-must-templates
NewerOlder