diff options
| author | Simon-Kor <52245124+Simon-Kor@users.noreply.github.com> | 2024-04-11 13:50:29 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-04-11 13:50:29 +0200 |
| commit | 1d5812e9600b38fa49a6e7cea2e425c7655fa7ef (patch) | |
| tree | bcbaf350be472bd0b36c8458ae066d65ed0c096d /test/golden/byRef/generating tasks.golden | |
| parent | 15deff4df111d86c84d808f1c9cc4e30013287d0 (diff) | |
| parent | 7a80b75aeaf7fd6e8828b843fa58664f11451833 (diff) | |
Merge pull request #1 from adelon/main
Update Fork
Diffstat (limited to 'test/golden/byRef/generating tasks.golden')
| -rw-r--r-- | test/golden/byRef/generating tasks.golden | 34 |
1 files changed, 17 insertions, 17 deletions
diff --git a/test/golden/byRef/generating tasks.golden b/test/golden/byRef/generating tasks.golden index 3187198..b9fa157 100644 --- a/test/golden/byRef/generating tasks.golden +++ b/test/golden/byRef/generating tasks.golden @@ -1,7 +1,7 @@ [ Task { taskDirectness = Direct , taskHypotheses = [] - , taskConjectureLabel = Marker "first_proposition" + , taskConjectureLabel = Marker "prop1" , taskConjecture = TermSymbol ( SymbolPredicate ( PredicateRelation @@ -18,7 +18,7 @@ { taskDirectness = Direct , taskHypotheses = [ - ( Marker "first_proposition" + ( Marker "prop1" , Quantified Universally ( Scope ( TermSymbol @@ -40,7 +40,7 @@ ) ) ] - , taskConjectureLabel = Marker "second_proposition" + , taskConjectureLabel = Marker "prop2" , taskConjecture = TermSymbol ( SymbolPredicate ( PredicateRelation @@ -57,7 +57,7 @@ { taskDirectness = Direct , taskHypotheses = [ - ( Marker "first_proposition" + ( Marker "prop1" , Quantified Universally ( Scope ( TermSymbol @@ -79,7 +79,7 @@ ) ) ] - , taskConjectureLabel = Marker "third_proposition" + , taskConjectureLabel = Marker "prop3" , taskConjecture = TermSymbol ( SymbolPredicate ( PredicateRelation @@ -96,7 +96,7 @@ { taskDirectness = Direct , taskHypotheses = [ - ( Marker "first_proposition" + ( Marker "prop1" , Quantified Universally ( Scope ( TermSymbol @@ -118,7 +118,7 @@ ) ) ] - , taskConjectureLabel = Marker "fourth_proposition" + , taskConjectureLabel = Marker "prop4" , taskConjecture = Quantified Universally ( Scope ( TermSymbol @@ -143,7 +143,7 @@ { taskDirectness = Direct , taskHypotheses = [ - ( Marker "third_proposition" + ( Marker "prop3" , Quantified Universally ( Scope ( TermSymbol @@ -165,7 +165,7 @@ ) ) , - ( Marker "second_proposition" + ( Marker "prop2" , Quantified Universally ( Scope ( TermSymbol @@ -187,7 +187,7 @@ ) ) , - ( Marker "first_proposition" + ( Marker "prop1" , Quantified Universally ( Scope ( TermSymbol @@ -209,7 +209,7 @@ ) ) , - ( Marker "fourth_proposition1" + ( Marker "prop41" , Quantified Universally ( Scope ( TermSymbol @@ -231,7 +231,7 @@ ) ) ] - , taskConjectureLabel = Marker "fourth_proposition" + , taskConjectureLabel = Marker "prop4" , taskConjecture = TermSymbol ( SymbolPredicate ( PredicateRelation @@ -248,7 +248,7 @@ { taskDirectness = Direct , taskHypotheses = [ - ( Marker "fourth_proposition" + ( Marker "prop4" , Quantified Universally ( Scope ( TermSymbol @@ -270,7 +270,7 @@ ) ) , - ( Marker "third_proposition" + ( Marker "prop3" , Quantified Universally ( Scope ( TermSymbol @@ -292,7 +292,7 @@ ) ) , - ( Marker "second_proposition" + ( Marker "prop2" , Quantified Universally ( Scope ( TermSymbol @@ -314,7 +314,7 @@ ) ) , - ( Marker "first_proposition" + ( Marker "prop1" , Quantified Universally ( Scope ( TermSymbol @@ -336,7 +336,7 @@ ) ) ] - , taskConjectureLabel = Marker "fifth_proposition" + , taskConjectureLabel = Marker "prop5" , taskConjecture = TermSymbol ( SymbolPredicate ( PredicateRelation |