fenollp/coverage_targeted_property_testing fenollp/coverage_targeted_property_testing

  • Stars
    star
    6
  • Rank 2,541,739 (Top 51 %)
  • Language
    Erlang
  • License
    MIT License
  • Created over 6 years ago
  • Updated over 1 year ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
fenollp/coverage_targeted_property_testing
github

fenollp

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Use code coverage as a "utility value" for PropEr (quickcheck) to maximize

More Repositories

1

reMarkable-tools

Tools for the reMarkable paper tablet
Rust
134
star
2

fancyflow

Experimental library to bring pipe and maybe operator equivalents in Erlang
Erlang
92
star
3

erlscp

A supercompiler pass for Erlang
Erlang
91
star
4

erlang-formatter

Format Erlang code using Emacs' erlang-mode
Emacs Lisp
45
star
5

erl-mk

Build Erlang apps/deps faster
Makefile
20
star
6

otp_vsn

Macros defined per Erlang/OTP version so you don't have to.
Erlang
17
star
7

bazel_upgradable

Macros for auto-upgradable Bazel build dependencies to use with --experimental_resolved_file_instead_of_workspace
Starlark
11
star
8

erlang-dot

An Erlang DOT (graph description language) library
Erlang
6
star
9

erlang-ropes

https://en.wikipedia.org/wiki/Rope_(data_structure)
Erlang
4
star
10

jit-beam

Full-Erlang JIT for BEAM languages
Erlang
4
star
11

quickcheck_test_web_service_statem

Use QuickCheck/PropEr to test a web service, with statem
Erlang
2
star
12

elixir-phoenix-request_timeout

Plug that kills Phoenix controllers once they take too long
Elixir
2
star
13

KGB_archiver

C++
2
star
14

chaptrs

Split a video into clips
Python
2
star
15

dockerhost-tools--yt-dlp

Shall exist until https://github.com/moby/buildkit/pull/2116 is in docker-ce
Dockerfile
2
star
16

buildxargs

`xargs` for BuildKit with `docker buildx bake`
Rust
2
star
17

fenollp.github.io

HTML
2
star
18

vlc-sponsor-skip

VLC plugin: SponsorBlock, skip intro, adapt playback speed automatically
Lua
2
star
19

mobydick.pics

http://mobydick.pics/
1
star
20

repro3467

https://github.com/diesel-rs/diesel/issues/3467
PLpgSQL
1
star
21

rabbitmq_prometheus_grafana_monitoring

Trying base setups of various RabbitMQ stats exporters
1
star
22

fmtd

Universal formatter command
Go
1
star
23

dockerhost-tools

Tools to use when `docker build`ing things with `DOCKER_HOST`
Dockerfile
1
star
24

no-alloc

Proc macro to ensure your Rust functions do not allocate memory
1
star
25

data.shape_predictor_68_face_landmarks

1
star