I am using UPPAAL 4.1.19 and I am following the train tutorial, given in this. In Train template, I put the parameters int[0,N] e, const int id and in the system declaration I declare Train1=Train(el, 1); and the system returns me "Incompatible argument" error for e1. I don't understand why it is actually incompatible? I have declared N as a constant equal to 5 in the global declarations, as well as el, but still it doesn't seem to work. Any idea?
Asked
Active
Viewed 924 times
0
Ecterion
- 161
- 3
- 19
-
what is the type of `el`? it must be an integer. Did you mix it with `e1`? not enough information here. You can save the model into an xta file and paste it as minimal example. – mariusm Aug 03 '18 at 15:20
1 Answers
0
Try int[0,N] &e, const int id, similarly as here (page 6): https://www.it.uu.se/research/group/darts/uppaal/small_tutorial.pdf.
pyzon
- 59
- 3