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/encoding tasks.golden | |
| parent | 15deff4df111d86c84d808f1c9cc4e30013287d0 (diff) | |
| parent | 7a80b75aeaf7fd6e8828b843fa58664f11451833 (diff) | |
Merge pull request #1 from adelon/main
Update Fork
Diffstat (limited to 'test/golden/byRef/encoding tasks.golden')
| -rw-r--r-- | test/golden/byRef/encoding tasks.golden | 34 |
1 files changed, 17 insertions, 17 deletions
diff --git a/test/golden/byRef/encoding tasks.golden b/test/golden/byRef/encoding tasks.golden index 75c9e78..47513ec 100644 --- a/test/golden/byRef/encoding tasks.golden +++ b/test/golden/byRef/encoding tasks.golden @@ -1,22 +1,22 @@ -fof(first_proposition,conjecture,fa=fa). +fof(prop1,conjecture,fa=fa). ------------------ -fof(second_proposition,conjecture,fb=fb). -fof(first_proposition,axiom,![Xa]:Xa=Xa). +fof(prop2,conjecture,fb=fb). +fof(prop1,axiom,![Xa]:Xa=Xa). ------------------ -fof(third_proposition,conjecture,fc=fc). -fof(first_proposition,axiom,![Xa]:Xa=Xa). +fof(prop3,conjecture,fc=fc). +fof(prop1,axiom,![Xa]:Xa=Xa). ------------------ -fof(fourth_proposition,conjecture,![Xd]:Xd=Xd). -fof(first_proposition,axiom,![Xa]:Xa=Xa). +fof(prop4,conjecture,![Xd]:Xd=Xd). +fof(prop1,axiom,![Xa]:Xa=Xa). ------------------ -fof(fourth_proposition,conjecture,fe=fe). -fof(third_proposition,axiom,![Xc]:Xc=Xc). -fof(second_proposition,axiom,![Xb]:Xb=Xb). -fof(first_proposition,axiom,![Xa]:Xa=Xa). -fof(fourth_proposition1,axiom,![Xd]:Xd=Xd). +fof(prop4,conjecture,fe=fe). +fof(prop3,axiom,![Xc]:Xc=Xc). +fof(prop2,axiom,![Xb]:Xb=Xb). +fof(prop1,axiom,![Xa]:Xa=Xa). +fof(prop41,axiom,![Xd]:Xd=Xd). ------------------ -fof(fifth_proposition,conjecture,ff=ff). -fof(fourth_proposition,axiom,![Xe]:Xe=Xe). -fof(third_proposition,axiom,![Xc]:Xc=Xc). -fof(second_proposition,axiom,![Xb]:Xb=Xb). -fof(first_proposition,axiom,![Xa]:Xa=Xa).
\ No newline at end of file +fof(prop5,conjecture,ff=ff). +fof(prop4,axiom,![Xe]:Xe=Xe). +fof(prop3,axiom,![Xc]:Xc=Xc). +fof(prop2,axiom,![Xb]:Xb=Xb). +fof(prop1,axiom,![Xa]:Xa=Xa).
\ No newline at end of file |