- Timestamp:
-
06/30/15 05:03:18 (9 years ago)
- Author:
-
Saurabh Gadia
- Comment:
-
--
Legend:
- Unmodified
- Added
- Removed
- Modified
-
v168
|
v169
|
|
114 | 114 | * June 23: 1.Test the code for corrected model. 2. Implement the review changes suggested by guides. 3. Try adding properties to JPF. 4. Prepare the mid-term evaluation materials. |
115 | 115 | |
| 116 | * June 29: 1. Creation and Testing of spsem03 test case suggested by Sebastian. 2. Modify the JPF to remove big lock 3. With big locks try to test under different combination of threads and locks using Verify() 4. Annotating JPF-Code |
| 117 | |
| 118 | |
116 | 119 | == Rohini Kulkarni == |
117 | 120 | |