crawljax/crawljax — pull request #138 by janab (2013-02-19 06:01:40+00:00)
Title: Fixing maximum crawl time

The maximum crawl time should be the maximum time specified by the user for the run time from the beginning of the crawling time (which I have added). The previous code, did not add the time when the crawl had started and therefore, it will always go into the if statement where it compares time elapsed with the maximum crawl time and only crawl a few states whereas I (the user) have defined more states, i.e. Max_States = 10.