issues
search
proper-testing
/
proper
PropEr: a QuickCheck-inspired property-based testing tool for Erlang
http://proper-testing.github.io
GNU General Public License v3.0
882
stars
167
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Move the EUnit tests inside the example modules
#266
kostis
closed
3 years ago
1
Use 23.3 in GitHub actions
#265
kostis
closed
3 years ago
0
Move the testing of examples in the `examples` directories
#264
kostis
closed
3 years ago
1
Extend PropEr with parallel execution
#263
pablocostass
closed
3 years ago
6
Erlang abstract code cleanup
#262
kostis
closed
3 years ago
2
Eliminate warnings from OTP 24's compiler
#261
kostis
closed
3 years ago
0
Add 16-bit floats to the Erlang abstract code generator
#260
uabboli
closed
3 years ago
1
Replace travis with github actions
#259
xspirus
closed
3 years ago
1
Merge targeted with random commands generator
#258
xspirus
closed
3 years ago
0
New version and hex package
#257
michalwski
opened
3 years ago
13
Increase coverage of proper_erlang_abstract_code
#256
kostis
closed
3 years ago
0
Add an Erlang abstract code generator
#255
uabboli
closed
3 years ago
1
fix float format in plain_stats_printer/3
#254
flowerett
closed
4 years ago
4
Add proper examples to shrinking challenge
#253
jlink
closed
3 years ago
0
Run 23.0 on Travis
#252
kostis
closed
4 years ago
1
Refactor stateful TPBT
#251
xspirus
closed
4 years ago
0
Refactor tests to improve CI performance
#250
xspirus
closed
4 years ago
1
Update targetserver's process dictionary
#249
xspirus
closed
4 years ago
1
Target server should update process dictionary
#248
xspirus
closed
4 years ago
0
Check user options
#247
kostis
closed
4 years ago
0
PropEr should use `printer`.
#246
kostis
opened
4 years ago
2
Stateful Targeted Property-Based Testing
#245
xspirus
closed
4 years ago
4
Fix MFA test to work with setup tests
#244
xspirus
closed
4 years ago
0
Clean up targeted backwards compatibility
#243
xspirus
closed
4 years ago
3
Convert the elevator example to use gen_statem instead of gen_fsm
#242
kostis
closed
4 years ago
0
Increase test suite coverage
#241
kostis
closed
4 years ago
1
Rename mm example to mastermind
#240
kostis
closed
4 years ago
0
Fix a crash during shrinking (#116)
#239
kostis
closed
4 years ago
0
PropEr map() generators
#238
kostis
opened
4 years ago
0
Cleanup proper_gen_next
#237
kostis
closed
4 years ago
1
Update README for this repo
#236
xspirus
closed
4 years ago
0
Modernize coverage generation
#235
xspirus
closed
4 years ago
1
Test with rebar3
#234
kostis
closed
4 years ago
1
Fix targeted shrinking in USERNF
#233
xspirus
closed
4 years ago
1
Add shrinking indication parameter
#232
x4lldux
opened
4 years ago
13
Test case for the more_commands fix
#231
kostis
closed
4 years ago
0
Adds ?ALWAYS and ?SOMETIMES macros
#230
x4lldux
opened
4 years ago
0
More commands fix
#229
kostis
closed
4 years ago
0
Fix more_commands/2
#228
x4lldux
closed
4 years ago
1
Parallel crash fix, #224
#227
x4lldux
opened
4 years ago
3
Perform a PropEr check for Erlang/OTP >= 21
#226
kostis
closed
4 years ago
1
Test suite parallel update
#225
pablocostass
closed
4 years ago
1
run_parallel_commands doesn't handle exceptions in commands the same way run_commands does
#224
x4lldux
opened
4 years ago
6
Refactor proper_internal types
#223
kostis
closed
4 years ago
0
change covertool repo address
#222
getong
closed
5 years ago
2
No Shrink in TPBT
#221
xspirus
closed
4 years ago
0
Use gen_server for proper_targeted
#220
xspirus
closed
5 years ago
16
?FORALL_TARGETED does not work with ?TRAPEXIT
#219
xspirus
closed
5 years ago
0
make: Manually restore ebin dir after rebar3 compile
#218
kostis
closed
5 years ago
1
Too small numbers produced by range(min, max) generator
#217
SylwBar
closed
5 years ago
7
Previous
Next