diff options
| -rwxr-xr-x | src/model_generation.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/model_generation.py b/src/model_generation.py index c5350c0..4e377d1 100755 --- a/src/model_generation.py +++ b/src/model_generation.py @@ -170,7 +170,8 @@ var_section=''' char *key_iter; struct hostent *host; struct sockaddr_in server_addr; - double time_limit = PARAM(stop_time); + double time_limit = PARAM(stop_time); + int sock_port = 5000+PARAM(instance_id); ''' temp_input_var=[] for item in input_port: |