Fixed dpm-demo model

randriu · Feb 26, 2024 · e4fe792 · e4fe792
1 parent 0b4f899
commit e4fe792
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/models/archive/tac24-synthesis/dpm-demo/sketch.templ b/models/archive/tac24-synthesis/dpm-demo/sketch.templ
@@ -17,10 +17,10 @@ const int q_init = 0;
 
 // profiles desired at observation levels
 // 0 - sleep, 1 - idle, 2 - active
-hole int P1 in {2};
-hole int P2 in {2};
-hole int P3 in {2};
-hole int P4 in {2};
+hole int P1 in {0,1,2};
+hole int P2 in {0,1,2};
+hole int P3 in {0,1,2};
+hole int P4 in {0,1,2};
 
 // observation level thresholds
 hole double T1 in {0.0,0.1,0.2,0.3,0.4};