|
@@ -187,7 +187,7 @@ def add_constraints(model):
|
|
|
'"add_constraint"', model, '"Integer"',
|
|
|
'"funcdef"',
|
|
|
'"constraint"',
|
|
|
- '2', model*100, model*100+1,
|
|
|
+ '2', '"%s"' % (model*100), '"%s"' % (model*100+1),
|
|
|
'"if"',
|
|
|
'"call"',
|
|
|
'"access"', '"resolve"', '"is_physical_int"',
|
|
@@ -198,10 +198,10 @@ def add_constraints(model):
|
|
|
'"call"',
|
|
|
'"access"', '"resolve"', '"dict_read"',
|
|
|
'2',
|
|
|
- '"access"', '"resolve"', model*100,
|
|
|
+ '"access"', '"resolve"', '"%s"' % (model*100),
|
|
|
'"const"', '"model"',
|
|
|
'false',
|
|
|
- '"access"', '"resolve"', model*100+1,
|
|
|
+ '"access"', '"resolve"', '"%s"' % (model*100+1),
|
|
|
'false',
|
|
|
'false',
|
|
|
'"return"',
|