diff options
| author | adelon <22380201+adelon@users.noreply.github.com> | 2025-12-09 23:20:55 +0100 |
|---|---|---|
| committer | adelon <22380201+adelon@users.noreply.github.com> | 2025-12-09 23:20:55 +0100 |
| commit | 2975712d575c28d4820e379e55609960a71dcd1d (patch) | |
| tree | 1006ee0ba83784b5cb39f028227ade5e23f39a26 /test/golden/proofassume/generating tasks.golden | |
| parent | 82ba804585cb80f66d58de41b0401fc2049d14d7 (diff) | |
Propagate location info further
Diffstat (limited to 'test/golden/proofassume/generating tasks.golden')
| -rw-r--r-- | test/golden/proofassume/generating tasks.golden | 96 |
1 files changed, 96 insertions, 0 deletions
diff --git a/test/golden/proofassume/generating tasks.golden b/test/golden/proofassume/generating tasks.golden index e66cf4a..5bdf501 100644 --- a/test/golden/proofassume/generating tasks.golden +++ b/test/golden/proofassume/generating tasks.golden @@ -4,6 +4,12 @@ [ ( Marker "assumetest1" , TermSymbol + ( Location + { locFile = "<nowhere>" + , locLine = -1 + , locColumn = -1 + } + ) ( SymbolPredicate ( PredicateRelation ( Command "in" ) @@ -18,6 +24,12 @@ ] , taskConjectureLabel = Marker "assumetest" , taskConjecture = TermSymbol + ( Location + { locFile = "<nowhere>" + , locLine = -1 + , locColumn = -1 + } + ) ( SymbolPredicate ( PredicateRelation ( Command "in" ) @@ -35,6 +47,12 @@ [ ( Marker "assumetest1" , TermSymbol + ( Location + { locFile = "<nowhere>" + , locLine = -1 + , locColumn = -1 + } + ) ( SymbolPredicate ( PredicateRelation ( Command "in" ) @@ -49,6 +67,12 @@ , ( Marker "assumetest2" , TermSymbol + ( Location + { locFile = "<nowhere>" + , locLine = -1 + , locColumn = -1 + } + ) ( SymbolPredicate ( PredicateRelation ( Command "in" ) @@ -63,6 +87,12 @@ ] , taskConjectureLabel = Marker "assumetest" , taskConjecture = TermSymbol + ( Location + { locFile = "<nowhere>" + , locLine = -1 + , locColumn = -1 + } + ) ( SymbolPredicate ( PredicateRelation ( Command "in" ) @@ -83,6 +113,12 @@ ( Scope ( Connected Implication ( TermSymbol + ( Location + { locFile = "<nowhere>" + , locLine = -1 + , locColumn = -1 + } + ) ( SymbolPredicate ( PredicateRelation ( Command "in" ) @@ -99,6 +135,12 @@ ] ) ( TermSymbol + ( Location + { locFile = "<nowhere>" + , locLine = -1 + , locColumn = -1 + } + ) ( SymbolPredicate ( PredicateRelation ( Command "in" ) @@ -120,6 +162,12 @@ , ( Marker "assumetesttwo1" , TermSymbol + ( Location + { locFile = "<nowhere>" + , locLine = -1 + , locColumn = -1 + } + ) ( SymbolPredicate ( PredicateRelation ( Command "in" ) @@ -134,6 +182,12 @@ , ( Marker "assumetesttwo2" , TermSymbol + ( Location + { locFile = "<nowhere>" + , locLine = -1 + , locColumn = -1 + } + ) ( SymbolPredicate ( PredicateRelation ( Command "in" ) @@ -148,6 +202,12 @@ ] , taskConjectureLabel = Marker "assumetesttwo" , taskConjecture = TermSymbol + ( Location + { locFile = "<nowhere>" + , locLine = -1 + , locColumn = -1 + } + ) ( SymbolPredicate ( PredicateRelation ( Command "in" ) @@ -168,6 +228,12 @@ ( Scope ( Connected Implication ( TermSymbol + ( Location + { locFile = "<nowhere>" + , locLine = -1 + , locColumn = -1 + } + ) ( SymbolPredicate ( PredicateRelation ( Command "in" ) @@ -184,6 +250,12 @@ ] ) ( TermSymbol + ( Location + { locFile = "<nowhere>" + , locLine = -1 + , locColumn = -1 + } + ) ( SymbolPredicate ( PredicateRelation ( Command "in" ) @@ -205,6 +277,12 @@ , ( Marker "assumetesttwo1" , TermSymbol + ( Location + { locFile = "<nowhere>" + , locLine = -1 + , locColumn = -1 + } + ) ( SymbolPredicate ( PredicateRelation ( Command "in" ) @@ -219,6 +297,12 @@ , ( Marker "assumetesttwo2" , TermSymbol + ( Location + { locFile = "<nowhere>" + , locLine = -1 + , locColumn = -1 + } + ) ( SymbolPredicate ( PredicateRelation ( Command "in" ) @@ -233,6 +317,12 @@ , ( Marker "assumetesttwo3" , TermSymbol + ( Location + { locFile = "<nowhere>" + , locLine = -1 + , locColumn = -1 + } + ) ( SymbolPredicate ( PredicateRelation ( Command "in" ) @@ -247,6 +337,12 @@ ] , taskConjectureLabel = Marker "assumetesttwo" , taskConjecture = TermSymbol + ( Location + { locFile = "<nowhere>" + , locLine = -1 + , locColumn = -1 + } + ) ( SymbolPredicate ( PredicateRelation ( Command "in" ) |