Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
branch: fsm
Commits on May 7, 2011
  1. @EiriniArvaniti
  2. Fix rebar configuration bug

    authored
Commits on May 6, 2011
  1. @EiriniArvaniti
Commits on May 4, 2011
  1. Fix some specs

    authored
Commits on May 3, 2011
  1. @EiriniArvaniti
Commits on May 1, 2011
  1. Better handling of non-deterministic properties

    authored
    * Display an error message instead of crashing whenever a property returns
      something other than a boolean.
    * Don't crash whenever a counterexample doesn't consistently cause the property
      to fail.
Commits on Apr 29, 2011
  1. @EiriniArvaniti
  2. @EiriniArvaniti

    small change in computation of initial state + cleanups

    EiriniArvaniti authored
    * Now the callback function initial_state/0 is not only called at command
      generation time, but also in order to initialize the state every time the
      command sequence is run (i.e. during normal execution, while shrinking and
      when checking a counterexample). For this reason, it should be deterministic.
    * With this approach, an init command is useless when commands are generated
      using proper_statem:commands/1 or proper_fsm:commands/1, so finally we don't
      include it.
Commits on Apr 28, 2011
  1. @EiriniArvaniti

    spec correction

    EiriniArvaniti authored
  2. @EiriniArvaniti

    fixed type definition

    EiriniArvaniti authored
Commits on Apr 27, 2011
  1. @EiriniArvaniti

    added copyright notice

    EiriniArvaniti authored
  2. @EiriniArvaniti
Commits on Apr 26, 2011
  1. @EiriniArvaniti

    clean-ups

    EiriniArvaniti authored
Commits on Apr 22, 2011
  1. Fix copyright notices

    authored
  2. Documentation fixes

    authored
Commits on Apr 19, 2011
  1. @EiriniArvaniti
  2. @EiriniArvaniti

    correction in unit test

    EiriniArvaniti authored
  3. @EiriniArvaniti

    more clean-ups

    EiriniArvaniti authored
  4. @EiriniArvaniti
  5. @EiriniArvaniti
  6. @EiriniArvaniti

    clean-ups

    EiriniArvaniti authored
  7. @EiriniArvaniti
  8. @kostis

    Tidier cleanups in tests

    kostis authored
  9. @kostis

    Tidier cleanups

    kostis authored
  10. @EiriniArvaniti
  11. Minor code cleanups

    Kostis Sagonas authored
  12. @EiriniArvaniti

    changes to README

    EiriniArvaniti authored
  13. @EiriniArvaniti
Commits on Apr 18, 2011
  1. @EiriniArvaniti

    Merge branch 'master' of github.com:manopapad/proper into fsm

    EiriniArvaniti authored
    Conflicts:
    	test/proper_tests.erl
  2. @EiriniArvaniti
  3. @EiriniArvaniti
  4. @EiriniArvaniti
Something went wrong with that request. Please try again.