Tree @HEAD (Download .tar.gz)
- ..
- auto_export_test1.erl
- auto_export_test2.erl
- command_props.erl
- error_statem.erl
- ets_counter.erl
- ets_statem.erl
- improper_lists_statem.erl
- let_tests.erl
- no_native_parse_test.erl
- nogen_statem.erl
- numbers_fsm.erl
- pdict_fsm.erl
- pdict_statem.erl
- perf_max_size.erl
- post_false.erl
- prec_false.erl
- proper_print.erl
- proper_specs_tests.erl
- proper_tests.erl
- rec_props_test1.erl
- rec_props_test2.erl
- rec_test1.erl
- rec_test2.erl
- symb_statem.erl
- symb_statem_maps.erl
- target_tests.erl
- to_remove.erl
- types_test1.erl
- types_test2.erl
- weird_types.erl
History of test @HEAD
- Merge branch 'master' of github.com:manopapad/proper Kostis Sagonas 7 years ago
- Remove support for relases prior to 17.0 Kostis Sagonas (commit: Kostis Sagonas) 7 years ago
- Remove support for Erlang/OTP versions where names for opaque types of stdlib were reserved Kostis Sagonas (commit: Kostis Sagonas) 7 years ago
- Cleanup Kostis Sagonas 7 years ago
- Integration of Target (SBST) for PropEr (#142) Andreas Löscher (commit: Kostis Sagonas) 7 years ago
- Implementation of a ?SETUP macro (#138) Andreas Löscher (commit: Kostis Sagonas) 7 years ago
- bug fix in test/symb_statem.erl eiriniar 7 years ago
- Fix indentation and extend THANKS Kostis Sagonas 7 years ago
- handle maps in next_state/3 Pierre Fenoll 7 years ago
- Fix two erroneous specs in test case Kostis Sagonas 7 years ago
- Simplify proper_statem:execute/4 to /3 (internal anyway) Kostis Sagonas 7 years ago
- Merge pull request #124 from manopapad/prepare19 Kostis Sagonas (commit: GitHub) 7 years ago
- Fix typo Kostis Sagonas 7 years ago
- Cleanup (and rename) test for handling symbolic states with improper lists Kostis Sagonas 8 years ago
- Merge pull request #102 from matthiaskr/matthiaskr/bugfix/non-proper-lists Kostis Sagonas 8 years ago
- fix typo (paranthesis placement, thanks @kostis) Matthias Kretschmer 8 years ago
- adding tests for the degenerated list problem Matthias Kretschmer 8 years ago
- Minor cleanups Kostis Sagonas 8 years ago
- Fix the handling of opaques in 18.x Kostis Sagonas 8 years ago
- Make the ADT tests runnable on all OTP releases Kostis Sagonas 8 years ago
- Merge pull request #121 from mcherep/sequential_constraints Kostis Sagonas 8 years ago
- Abort constraint checking when a strict one fails Cherep 8 years ago
- Add two tests for proper handling of types in ?LETs Kostis Sagonas 8 years ago
- Enabling ?LET macros to use user defined types Andreas Löscher 8 years ago
- Correctly shrink constrained types with sampleshrink Michael Uvarov 8 years ago
- Test shrinking of tuples and fixed lists Michael Uvarov 8 years ago
- Fix handling of parameterized types Kostis Sagonas 8 years ago
- Fix handling of user-defined types when checking specs Kostis Sagonas 8 years ago
- Change calls to erlang:now() to os:timestamp() Kostis Sagonas 8 years ago
- Add support for parallel commands to command_names/1 Joseph Wayne Norton 9 years ago