projects
/
IRC.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(from parent 1:
73ee65e
)
state.DSMTASK flag is added
author
jihoonl
<jihoonl>
Thu, 8 Oct 2009 23:28:54 +0000
(23:28 +0000)
committer
jihoonl
<jihoonl>
Thu, 8 Oct 2009 23:28:54 +0000
(23:28 +0000)
Robust/src/Main/Main.java
patch
|
blob
|
history
diff --git
a/Robust/src/Main/Main.java
b/Robust/src/Main/Main.java
index 49da3bdfc6a33bb07ed59cc74eecd1fbd9f3b216..aca4013747b6a5632ad419d33b0d27fad7b78813 100644
(file)
--- a/
Robust/src/Main/Main.java
+++ b/
Robust/src/Main/Main.java
@@
-173,6
+173,8
@@
public class Main {
state.THREAD=true;
else if (option.equals("-dsm"))
state.DSM=true;
+ else if (option.equals("-dsmtask"))
+ state.DSMTASK=true;
else if (option.equals("-singleTM"))
state.SINGLETM=true;
else if (option.equals("-readset"))
@@
-272,8
+274,6
@@
public class Main {
if (state.THREAD||state.DSM||state.SINGLETM) {
sc.getClass("Thread");
}
- if(state.DSM)
- sc.getClass("Task");
sc.semanticCheck();