This repository is working sample of prop_check with test-unit.
$ ruby run_test.rb
Loaded suite 6dec8e397943cdc372b969fff26299e7
Started
E
================================================================================================================================================
Error: test_that_it_returns_an_integer_for_any_input(TestNaiveAverage):
ZeroDivisionError:
| # |
| module niku/cleanup-version-enabled-bucket | |
| go 1.17 | |
| require ( | |
| github.com/aws/aws-sdk-go-v2 v1.11.2 | |
| github.com/aws/aws-sdk-go-v2/config v1.11.0 | |
| github.com/aws/aws-sdk-go-v2/service/s3 v1.21.0 | |
| ) |
| # 比較用 | |
| # https://elixir-lang.org/getting-started/mix-otp/task-and-gen-tcp.html | |
| defmodule KVServer do | |
| require Logger | |
| @doc """ | |
| Starts accepting connections on the given `port`. | |
| """ | |
| def accept(port) do | |
| {:ok, socket} = :gen_tcp.listen(port, |
| { | |
| "make equality properly": { | |
| "prefix": "eq", | |
| "body": [ | |
| "@override", | |
| "bool operator ==(Object other) =>", | |
| " identical(this, other) ||", | |
| " other is $1 &&", | |
| " runtimeType == other.runtimeType${2/ ([^ ]+)/ && ${1} == other.${1}/g};", | |
| "", |
❯ iex
Erlang/OTP 22 [erts-10.6.2] [source] [64-bit] [smp:8:8] [ds:8:8:10] [async-threads:1] [hipe]
Interactive Elixir (1.10.0-rc.0) - press Ctrl+C to exit (type h() ENTER for help)
iex(1)> file = File.open!("./runtime_info.txt", [:write])
#PID<0.110.0>
iex(2)> original_group_leader = Process.group_leader()
#PID<0.64.0>
iex(3)> Process.group_leader(self(), file)
| /tmp $ git clone https://github.com/msantos/procket.git | |
| /tmp $ cd procket/ | |
| /tmp/procket $ rebar3 compile | |
| # The compile should be succeed | |
| ## Add new module | |
| /tmp/procket $ echo '-module(hello). | |
| -export([hello_world/0]). | |
| hello_world() -> io:fwrite("hello, world\n").' > src/hello.erl |