Differences From Artifact [41e5ffebe8]:

To Artifact [3dabea9320]:


201
202
203
204
205
206
207

208
209
210
211
212
213
214
  extras.criterion = 1e-5;
  extras.emulate_timing = 0;
  extras.max_iterations = 10;
  extras.simulate = simulate;
  extras.v =  1e-2;
  extras.verbose = 1;
  extras.visual = 1;


endfunction
EOF
}

make_dat2() {








>







201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
  extras.criterion = 1e-5;
  extras.emulate_timing = 0;
  extras.max_iterations = 10;
  extras.simulate = simulate;
  extras.v =  1e-2;
  extras.verbose = 1;
  extras.visual = 1;
  extras.domain = "time";

endfunction
EOF
}

make_dat2() {


MTT: Model Transformation Tools
GitHub | SourceHut | Sourceforge | Fossil RSS ]