processes[test.process].paras = -1;
}
else {
- printf("new core [%d,%d) swap reservation [%d, %d)\n", processes[test.process].core_item.base, processes[test.process].core_item.limit, processes[test.process].swap_item.base, processes[test.process].swap_item.limit);
+ printf("new core [%d,%d) swap reservation [%d,%d)\n", processes[test.process].core_item.base, processes[test.process].core_item.limit, processes[test.process].swap_item.base, processes[test.process].swap_item.limit);
rassert(processes[test.process].para == test.para);
rassert(processes[test.process].paras == test.paras);
rassert(
);
}
else {
- printf("new core [%d,%d) swap reservation [%d, %d)\n", processes[test.process].core_item.base, processes[test.process].core_item.limit, processes[test.process].swap_item.base, processes[test.process].swap_item.limit);
+ printf("new core [%d,%d) swap reservation [%d,%d)\n", processes[test.process].core_item.base, processes[test.process].core_item.limit, processes[test.process].swap_item.base, processes[test.process].swap_item.limit);
new_para = processes[test.process].para;
if (new_para != test.para) {
printf(