Skip to content
This repository


Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
branch: wip-async-queu…

Jun 16, 2012

  1. Samuel Rivas

    BUGFIX fix some stupid bugs

    Now at least it fails with some reasonable conditions
    authored June 16, 2012
  2. Samuel Rivas

    TEST add the possibility of stopping a running queue

    authored June 16, 2012
  3. Samuel Rivas

    FUNCT better error reporting

    authored June 16, 2012
  4. Samuel Rivas

    TEMP first dirty fsm tests for asynchronous queues

    authored June 16, 2012
  5. Samuel Rivas

    DOC document the exported property

    authored June 03, 2012
  6. Samuel Rivas

    FUNCT clean auxiliary processes after the test

    At least all created queues ended up dangling after the test
    authored June 03, 2012
  7. Samuel Rivas

    FUNCT make different interleavings more likely

    Previous implementation was popping always before pushing. This starts with
    either pop or push
  8. Samuel Rivas

    RESTRUCT cleaned up

  9. Samuel Rivas

    FUNCT finally got the test right

    Needing cleanup badly though
  10. Samuel Rivas

    FUNCT partial rework of the test case to avoid concurrency issues

    Previous implementation was very prone to concurrency errors, this is much
    simpler. However, we must avoid popping more than we push, or the popper process
    will hang. This is the next step
  11. Samuel Rivas

    FUNCT reimplement the asynchronous queue test as a list of commands

    The state machine design was getting overly complex
  12. Samuel Rivas

    RESTRUCT better layout

    So that we can comment transitions and see what happens
  13. Samuel Rivas

    FUNCT add a small timeout to avoid hanging around when things don't g…

    …o as expected
  14. Samuel Rivas

    FUNCT some random advances in proper testing for asynchronous queues

  15. Samuel Rivas

    FUNCT first stub of tests for pop

  16. Samuel Rivas

    FUNCT first incomplete state machine to test asynchronous queues

  17. Samuel Rivas

    FUNCT test sel_lists:cut_and_zip

    authored June 16, 2012

Jun 14, 2012

  1. Samuel Rivas

    FUNCT tests for sel_process:wait_exit

    authored June 14, 2012

May 10, 2012

  1. Samuel Rivas

    FUNCT use a more lightweight generator for tuples

    Testing is of course less extensive but we now tests are immediate, and I don't
    think we weaken the suite noticeably
  2. Samuel Rivas

    FUNCT positive and negative tests for sel_lists:keysearch

Apr 22, 2012

  1. Samuel Rivas

    FUNCT test that we can bypass the cleanup in sel_test:test_in_dir

    authored April 22, 2012
  2. Samuel Rivas

    FUNCT delete proper tests for sel_test

    They don't add anything to the eunit suite
    authored April 22, 2012
  3. Samuel Rivas

    FUNCT test that test_in_dir lets exceptions through

    It doesn't so far
    authored April 22, 2012
  4. Samuel Rivas

    FUNCT test that several processes can use test_in_dir in parallel

    Guess what?, they can't
    authored April 22, 2012
  5. Samuel Rivas

    FUNCT add unit tests for test_in_dir

    And it turns out that it is still buggy.
    I'll probably remove the proper suite for this in favour of this eunit. It seems
    easier to capture possible bugs being more imperative in this case
    authored April 22, 2012

Apr 18, 2012

  1. Samuel Rivas

    FUNCT test cases for sel_test module

    authored April 18, 2012

Apr 08, 2012

  1. Samuel Rivas

    FUNCT initial commit

    authored April 08, 2012
Something went wrong with that request. Please try again.