Sunbelt Computer Software

PL/B Language Development and Support

Issues · proper-testing/proper · GitHub

Labels Milestones

?LET macro throws 'proper_transformer' exception when including a markdown file with `-moduledoc`.

#330

· sthames42 opened

on Jun 25, 2026

unsupported_type `char`

#329

· KunaPrime opened

on Jun 5, 2026

`?LET` macro interferes with `resize` combinator in recursive generators

#323

· lbueso opened

on Oct 28, 2025

Online resources about testing time-dependant code

#321

· intjelic opened

on Apr 2, 2025

I'd like to be able to use proper_types:is_inst/2 for RPC schema validation

#317

· romanr321 opened

on Jan 2, 2025

Limiting the size/complexity of the commands generated by proper_fsm

#315

· rvangraan opened

on Dec 8, 2023

Rebar3 needs to be recompiled

#314

· kritonios01 opened

on Sep 1, 2023

{'EXIT', {badarg, [{erlang,atom_to_list, ...}]}} in proper_gen_next.erl

#295

· albsch opened

on Jun 2, 2022

Atom generator exhausts the atom limit

#290

· Maria-12648430 opened

on May 24, 2022

Generators inside maps

#289

· lbueso opened

on Mar 25, 2022

`proper_transformer` has unfavorable behavior for fine-grained compile dependencies

#288

· TheGeorge opened

on Mar 14, 2022

{var,2} instead of the correct variable during shrink

#286

· lhoguin opened

on Jan 10, 2022