Changes between Version 11 and Version 12 of GMC


Ignore:
Timestamp:
10/31/16 10:44:34 (10 years ago)
Author:
yihaoyan
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • GMC

    v11 v12  
    1515''Possible solution'': Each thread has its own copy of Executor.[[BR]][[BR]]
    1616'''edu.udel.cis.vsl.civl.kripke.common.CommonStateManager.java'''[[BR]]
    17 count[[BR]]
    1817maxProcs[[BR]]
    1918maxCanonicId[[BR]]