rspec-halting 1.0.0

checksums.yaml

@@ -0,0 +1,7 @@
+---
+SHA256:
+  metadata.gz: 64156824cf8ab6e9520f340941a83454fab41809718bee0d8b9afaa82531a037
+  data.tar.gz: 63e3d354c2dbf31ae1fdcdd15aed771f4cf96690c1a38a7df6b8116dba0b7b38
+SHA512:
+  metadata.gz: 0f957d17d6139024a4237974673f72a18cc001b71eb6cddd661e7535bfb967bb131f00bd7f4bae300ca18afefca9d0f340563e346330ef23e49e6d5dc708c1a6
+  data.tar.gz: d0ce33a1f4dcfdadd97cf3e256e1148f000ae45db9b9600045298a372cf2e916022ea9b748793b37f0e762da522929bcf37b096ed3d7977d7f0c3b179f2df66d

data/.gitignore

@@ -0,0 +1,11 @@
+/.bundle/
+/.yardoc
+/_yardoc/
+/coverage/
+/doc/
+/pkg/
+/spec/reports/
+/tmp/
+
+# rspec failure tracking
+.rspec_status

data/.rspec

@@ -0,0 +1,3 @@
+--format documentation
+--color
+--require spec_helper

data/.travis.yml

@@ -0,0 +1,6 @@
+---
+language: ruby
+cache: bundler
+rvm:
+  - 2.7.0
+before_install: gem install bundler -v 2.1.0.pre.2

data/CHANGELOG.md

@@ -0,0 +1 @@
+# Changelog

data/CODE_OF_CONDUCT.md

@@ -0,0 +1,74 @@
+# Contributor Covenant Code of Conduct
+
+## Our Pledge
+
+In the interest of fostering an open and welcoming environment, we as
+contributors and maintainers pledge to making participation in our project and
+our community a harassment-free experience for everyone, regardless of age, body
+size, disability, ethnicity, gender identity and expression, level of experience,
+nationality, personal appearance, race, religion, or sexual identity and
+orientation.
+
+## Our Standards
+
+Examples of behavior that contributes to creating a positive environment
+include:
+
+* Using welcoming and inclusive language
+* Being respectful of differing viewpoints and experiences
+* Gracefully accepting constructive criticism
+* Focusing on what is best for the community
+* Showing empathy towards other community members
+
+Examples of unacceptable behavior by participants include:
+
+* The use of sexualized language or imagery and unwelcome sexual attention or
+advances
+* Trolling, insulting/derogatory comments, and personal or political attacks
+* Public or private harassment
+* Publishing others' private information, such as a physical or electronic
+  address, without explicit permission
+* Other conduct which could reasonably be considered inappropriate in a
+  professional setting
+
+## Our Responsibilities
+
+Project maintainers are responsible for clarifying the standards of acceptable
+behavior and are expected to take appropriate and fair corrective action in
+response to any instances of unacceptable behavior.
+
+Project maintainers have the right and responsibility to remove, edit, or
+reject comments, commits, code, wiki edits, issues, and other contributions
+that are not aligned to this Code of Conduct, or to ban temporarily or
+permanently any contributor for other behaviors that they deem inappropriate,
+threatening, offensive, or harmful.
+
+## Scope
+
+This Code of Conduct applies both within project spaces and in public spaces
+when an individual is representing the project or its community. Examples of
+representing a project or community include using an official project e-mail
+address, posting via an official social media account, or acting as an appointed
+representative at an online or offline event. Representation of a project may be
+further defined and clarified by project maintainers.
+
+## Enforcement
+
+Instances of abusive, harassing, or otherwise unacceptable behavior may be
+reported by contacting the project team at jared@super.gd. All
+complaints will be reviewed and investigated and will result in a response that
+is deemed necessary and appropriate to the circumstances. The project team is
+obligated to maintain confidentiality with regard to the reporter of an incident.
+Further details of specific enforcement policies may be posted separately.
+
+Project maintainers who do not follow or enforce the Code of Conduct in good
+faith may face temporary or permanent repercussions as determined by other
+members of the project's leadership.
+
+## Attribution
+
+This Code of Conduct is adapted from the [Contributor Covenant][homepage], version 1.4,
+available at [https://contributor-covenant.org/version/1/4][version]
+
+[homepage]: https://contributor-covenant.org
+[version]: https://contributor-covenant.org/version/1/4/

data/Gemfile

@@ -0,0 +1,7 @@
+source "https://rubygems.org"
+
+# Specify your gem's dependencies in rspec-halting.gemspec
+gemspec
+
+gem "rake", "~> 12.0"
+gem "rspec", "~> 3.0"

data/LICENSE.txt

@@ -0,0 +1,21 @@
+The MIT License (MIT)
+
+Copyright (c) 2020 Jared Norman
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in
+all copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
+THE SOFTWARE.

data/README.md

@@ -0,0 +1,47 @@
+# rspec-halting: A general solution to Turing's Halting Problem implemented as an RSpec matcher
+
+The [Halting Problem](https://en.wikipedia.org/wiki/Halting_problem) is an (allegedly) unsolvable problem in computer science. Alan Turing proved in 1936 that a general-purpose algorithm for determining whether a program would eventually finish running or run forever could not exist.
+
+This project implements an RSpec matcher that proves Turing wrong. You can use it today and it's as simple as:
+
+```ruby
+expect {
+  # Some complicated piece of code.
+}.to halt
+```
+
+You might be skeptical of this claim. In the spirit of open-source software I've provide the full source to my algorithm [here in this repository](https://github.com/jarednorman/rspec-halting/blob/master/lib/rspec-halting.rb#L5-L21).
+
+## Installation
+
+Add this line to your application's Gemfile:
+
+```ruby
+gem 'rspec-halting'
+```
+
+And then execute:
+
+    $ bundle install
+
+## Usage
+
+Don't actually use this, it's an April Fools' Day joke. That said, if you're using Rails you can just add it to your `Gemfile` in the `:test` group. If you're not using Rails you can add it to your `Gemfile` and then require it in your `spec_helper.rb`. Nothing else should be required.
+
+## Development
+
+After checking out the repo, run `bin/setup` to install dependencies. Then, run `rake spec` to run the tests. You can also run `bin/console` for an interactive prompt that will allow you to experiment.
+
+To install this gem onto your local machine, run `bundle exec rake install`. To release a new version, update the version number in `version.rb`, and then run `bundle exec rake release`, which will create a git tag for the version, push git commits and tags, and push the `.gem` file to [rubygems.org](https://rubygems.org).
+
+## Contributing
+
+Bug reports and pull requests are welcome on GitHub at https://github.com/jarednorman/rspec-halting. This project is intended to be a safe, welcoming space for collaboration, and contributors are expected to adhere to the [code of conduct](https://github.com/jarednorman/rspec-halting/blob/master/CODE_OF_CONDUCT.md).
+
+## License
+
+The gem is available as open source under the terms of the [MIT License](https://opensource.org/licenses/MIT).
+
+## Code of Conduct
+
+Everyone interacting in the rspec-halting project's codebases, issue trackers, chat rooms and mailing lists is expected to follow the [code of conduct](https://github.com/jarednorman/rspec-halting/blob/master/CODE_OF_CONDUCT.md).

data/Rakefile

@@ -0,0 +1,6 @@
+require "bundler/gem_tasks"
+require "rspec/core/rake_task"
+
+RSpec::Core::RakeTask.new(:spec)
+
+task :default => :spec

data/bin/console

@@ -0,0 +1,14 @@
+#!/usr/bin/env ruby
+
+require "bundler/setup"
+require "rspec/halting"
+
+# You can add fixtures and/or initialization code here to make experimenting
+# with your gem easier. You can also use a different console, if you like.
+
+# (If you use this, don't forget to add pry to your Gemfile!)
+# require "pry"
+# Pry.start
+
+require "irb"
+IRB.start(__FILE__)

data/bin/setup

@@ -0,0 +1,8 @@
+#!/usr/bin/env bash
+set -euo pipefail
+IFS=$'\n\t'
+set -vx
+
+bundle install
+
+# Do any other automated setup that you need to do here

data/lib/rspec/halting/version.rb

@@ -0,0 +1,5 @@
+module Rspec
+  module Halting
+    VERSION = "1.0.0"
+  end
+end

data/lib/rspec-halting.rb

@@ -0,0 +1,30 @@
+require "rspec/expectations"
+require "timeout"
+
+RSpec::Matchers.define :halt do |expected|
+  # Okay, you caught me. I didn't actually solve the halting problem. Instead
+  # this just calls your code and gives up if it takes more than 5 seconds.
+  # Let's be honest, if your code takes more than 5 seconds it might as well
+  # never finish, amirite?
+  #
+  # WARNING: this code uses Ruby's Timeout module which is not generally safe
+  # for use:
+  #
+  # https://jvns.ca/blog/2015/11/27/why-rubys-timeout-is-dangerous-and-thread-dot-raise-is-terrifying/
+  #
+  # ANOTHER WARNING: This is just an April Fools' Day joke.
+  match do |actual|
+    Timeout.timeout(5) { actual.call }
+    true
+  rescue Timeout::Error
+    false
+  end
+
+  failure_message do |actual|
+    "expected the given block to halt"
+  end
+
+  def supports_block_expectations?
+    true
+  end
+end

data/rspec-halting.gemspec

@@ -0,0 +1,28 @@
+require_relative 'lib/rspec/halting/version'
+
+Gem::Specification.new do |spec|
+  spec.name          = "rspec-halting"
+  spec.version       = Rspec::Halting::VERSION
+  spec.authors       = ["Jared Norman"]
+  spec.email         = ["jared@super.gd"]
+
+  spec.summary       = "An RSpec matcher that solves the halting problem"
+  spec.homepage      = "https://github.com/jarednorman/rspec-halting"
+  spec.license       = "MIT"
+  spec.required_ruby_version = Gem::Requirement.new(">= 2.3.0")
+
+  spec.metadata["homepage_uri"] = spec.homepage
+  spec.metadata["source_code_uri"] = "https://github.com/jarednorman/rspec-halting.git"
+  spec.metadata["changelog_uri"] = "https://github.com/jarednorman/rspec-halting/blob/master/CHANGELOG.md"
+
+  # Specify which files should be added to the gem when it is released.
+  # The `git ls-files -z` loads the files in the RubyGem that have been added into git.
+  spec.files         = Dir.chdir(File.expand_path('..', __FILE__)) do
+    `git ls-files -z`.split("\x0").reject { |f| f.match(%r{^(test|spec|features)/}) }
+  end
+  spec.bindir        = "exe"
+  spec.executables   = spec.files.grep(%r{^exe/}) { |f| File.basename(f) }
+  spec.require_paths = ["lib"]
+
+  spec.add_dependency "rspec-expectations"
+end

metadata

@@ -0,0 +1,74 @@
+--- !ruby/object:Gem::Specification
+name: rspec-halting
+version: !ruby/object:Gem::Version
+  version: 1.0.0
+platform: ruby
+authors:
+- Jared Norman
+autorequire:
+bindir: exe
+cert_chain: []
+date: 2022-04-01 00:00:00.000000000 Z
+dependencies:
+- !ruby/object:Gem::Dependency
+  name: rspec-expectations
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: '0'
+  type: :runtime
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: '0'
+description:
+email:
+- jared@super.gd
+executables: []
+extensions: []
+extra_rdoc_files: []
+files:
+- ".gitignore"
+- ".rspec"
+- ".travis.yml"
+- CHANGELOG.md
+- CODE_OF_CONDUCT.md
+- Gemfile
+- LICENSE.txt
+- README.md
+- Rakefile
+- bin/console
+- bin/setup
+- lib/rspec-halting.rb
+- lib/rspec/halting/version.rb
+- rspec-halting.gemspec
+homepage: https://github.com/jarednorman/rspec-halting
+licenses:
+- MIT
+metadata:
+  homepage_uri: https://github.com/jarednorman/rspec-halting
+  source_code_uri: https://github.com/jarednorman/rspec-halting.git
+  changelog_uri: https://github.com/jarednorman/rspec-halting/blob/master/CHANGELOG.md
+post_install_message:
+rdoc_options: []
+require_paths:
+- lib
+required_ruby_version: !ruby/object:Gem::Requirement
+  requirements:
+  - - ">="
+    - !ruby/object:Gem::Version
+      version: 2.3.0
+required_rubygems_version: !ruby/object:Gem::Requirement
+  requirements:
+  - - ">="
+    - !ruby/object:Gem::Version
+      version: '0'
+requirements: []
+rubygems_version: 3.2.22
+signing_key:
+specification_version: 4
+summary: An RSpec matcher that solves the halting problem
+test_files: []