Programming Assignment 1: Epidemic Algorithms

Total: 20 points

(4) Submitted HW1Epidemic.mac compiles
(4) Testing by hand for common case (using Karthik's test driver) succeeds
(4) Testing in model checker with provided driver and parameter file succeeds
(4) Testing in model checker with USE_UDP_ERRORS set to 1 (in parameter file)
succeeds
(4) Visual inspection of code sees: 
    - use of MonotoneTime to enable content "version" comparison
    - implementation of halting rumor mongering based on duplicates
    - skeleton code of the assignment is not changed
    - don't send gossip data in anti-entropy unless tested as newer version

Succeeding in the model checker can be defined for this homework as running
the model checker with the line:

MAX_PATHS = 10000

Added to the parameter file.