HEL/midas
1
0
Fork 0
Code Issues Pull Requests Actions Releases 1 Activity

tests: update with integer literals

Browse Source
This commit is contained in:
Louis Heredero
2026-07-07 13:51:25 +02:00
parent c2f41eb392
commit fe34c77e4c
2 changed files with 19 additions and 19 deletions
Download Patch File Download Diff File Expand all files Collapse all files

16
tests/cases/generator/02_constraints.py.ref.txt
View File

@@ -18,7 +18,7 @@ Module(
ops=[ ops=[
Gt()], Gt()],
comparators=[ comparators=[
Constant(value=0.0)]))], Constant(value=0)]))],
decorator_list=[], decorator_list=[],
returns=Constant(value='bool')), returns=Constant(value='bool')),
FunctionDef( FunctionDef(
@@ -39,7 +39,7 @@ Module(
ops=[ ops=[
Gt()], Gt()],
comparators=[ comparators=[
Constant(value=0.0)]))], Constant(value=0)]))],
decorator_list=[], decorator_list=[],
returns=Constant(value='bool')), returns=Constant(value='bool')),
FunctionDef( FunctionDef(
@@ -128,8 +128,8 @@ Module(
func=Call( func=Call(
func=Name(id='__midas_in_range__'), func=Name(id='__midas_in_range__'),
args=[ args=[
Constant(value=100.0), Constant(value=100),
Constant(value=200.0)], Constant(value=200)],
keywords=[]), keywords=[]),
args=[ args=[
Name(id='_')], Name(id='_')],
@@ -142,8 +142,8 @@ Module(
value=Call( value=Call(
func=Name(id='__midas_in_range__'), func=Name(id='__midas_in_range__'),
args=[ args=[
Constant(value=0.0), Constant(value=0),
Constant(value=18.0)], Constant(value=18)],
keywords=[])), keywords=[])),
FunctionDef( FunctionDef(
name='__midas_p3__', name='__midas_p3__',
@@ -208,7 +208,7 @@ Module(
args=[ args=[
Name(id='__midas_a0__')], Name(id='__midas_a0__')],
keywords=[]), keywords=[]),
msg=Constant(value="02_constraints.py:L5:10: ConstraintError: Value does not fit constraint '_ > 0.0'")), msg=Constant(value="02_constraints.py:L5:10: ConstraintError: Value does not fit constraint '_ > 0'")),
Assign( Assign(
targets=[ targets=[
Name(id='t1')], Name(id='t1')],
@@ -284,7 +284,7 @@ Module(
args=[ args=[
Name(id='__midas_a2__')], Name(id='__midas_a2__')],
keywords=[]), keywords=[]),
msg=Constant(value="02_constraints.py:L7:10: ConstraintError: Value does not fit constraint 'in_range(100.0, 200.0)(_)'")), msg=Constant(value="02_constraints.py:L7:10: ConstraintError: Value does not fit constraint 'in_range(100, 200)(_)'")),
Assign( Assign(
targets=[ targets=[
Name(id='t3')], Name(id='t3')],

22
tests/cases/midas-parser/01_simple_types.midas.ref.json
View File

@@ -2474,7 +2474,7 @@
"operator": "-", "operator": "-",
"right": { "right": {
"_type": "LiteralExpr", "_type": "LiteralExpr",
"value": 90.0 "value": 90
} }
}, },
"operator": "<=", "operator": "<=",
@@ -2485,7 +2485,7 @@
"operator": "<=", "operator": "<=",
"right": { "right": {
"_type": "LiteralExpr", "_type": "LiteralExpr",
"value": 90.0 "value": 90
} }
} }
} }
@@ -2512,7 +2512,7 @@
"operator": "-", "operator": "-",
"right": { "right": {
"_type": "LiteralExpr", "_type": "LiteralExpr",
"value": 180.0 "value": 180
} }
}, },
"operator": "<=", "operator": "<=",
@@ -2523,7 +2523,7 @@
"operator": "<=", "operator": "<=",
"right": { "right": {
"_type": "LiteralExpr", "_type": "LiteralExpr",
"value": 180.0 "value": 180
} }
} }
} }
@@ -2780,7 +2780,7 @@
"operator": ">=", "operator": ">=",
"right": { "right": {
"_type": "LiteralExpr", "_type": "LiteralExpr",
"value": 0.0 "value": 0
} }
} }
}, },
@@ -2813,7 +2813,7 @@
"operator": ">", "operator": ">",
"right": { "right": {
"_type": "LiteralExpr", "_type": "LiteralExpr",
"value": 0.0 "value": 0
} }
} }
}, },
@@ -2848,7 +2848,7 @@
"operator": "-", "operator": "-",
"right": { "right": {
"_type": "LiteralExpr", "_type": "LiteralExpr",
"value": 10.0 "value": 10
} }
}, },
"operator": "<=", "operator": "<=",
@@ -2864,7 +2864,7 @@
"operator": "<=", "operator": "<=",
"right": { "right": {
"_type": "LiteralExpr", "_type": "LiteralExpr",
"value": 10.0 "value": 10
} }
} }
} }
@@ -2904,7 +2904,7 @@
"operator": ">=", "operator": ">=",
"right": { "right": {
"_type": "LiteralExpr", "_type": "LiteralExpr",
"value": 66.0 "value": 66
} }
} }
} }
@@ -2950,7 +2950,7 @@
"_type": "BinaryExpr", "_type": "BinaryExpr",
"left": { "left": {
"_type": "LiteralExpr", "_type": "LiteralExpr",
"value": 0.0 "value": 0
}, },
"operator": "<=", "operator": "<=",
"right": { "right": {
@@ -2960,7 +2960,7 @@
"operator": "<", "operator": "<",
"right": { "right": {
"_type": "LiteralExpr", "_type": "LiteralExpr",
"value": 150.0 "value": 150
} }
} }
} }