ISO Acceptance Tests

alice.tuprolog.IsoAcceptanceFixture
sectionright()wrong()ignores()exceptions()
1. Term unification[!] 39
java.text.ParseException: Can't find tag: table
at fit.Parse.findMatchingEndTag(Unknown Source)
at fit.Parse.<init>(Unknown Source)
at fit.Parse.<init>(Unknown Source)
at alice.tuprolog.IsoAcceptanceFixture.run(IsoAcceptanceFixture.java:28)
at alice.tuprolog.IsoAcceptanceFixture.right(IsoAcceptanceFixture.java:40)
at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at sun.reflect.NativeMethodAccessorImpl.invoke(Unknown Source)
at sun.reflect.DelegatingMethodAccessorImpl.invoke(Unknown Source)
at java.lang.reflect.Method.invoke(Unknown Source)
at fit.TypeAdapter.invoke(Unknown Source)
at fit.TypeAdapter.get(Unknown Source)
at fit.Fixture.check(Unknown Source)
at fit.ColumnFixture.check(Unknown Source)
at fit.ColumnFixture.doCell(Unknown Source)
at fit.Fixture.doCells(Unknown Source)
at fit.Fixture.doRow(Unknown Source)
at fit.ColumnFixture.doRow(Unknown Source)
at alice.tuprolog.IsoAcceptanceFixture.doRow(IsoAcceptanceFixture.java:77)
at fit.Fixture.doRows(Unknown Source)
at fit.ColumnFixture.doRows(Unknown Source)
at fit.Fixture.doTable(Unknown Source)
at fit.Fixture.interpretTables(Unknown Source)
at fit.Fixture.doTables(Unknown Source)
at fit.FileRunner.process(Unknown Source)
at fit.FileRunner.run(Unknown Source)
at fit.FileRunner.main(Unknown Source)
5 expected
0 actual
0 5 expected
0 actual
2. Type testing 44
java.text.ParseException: Can't find tag: table
at fit.Parse.findMatchingEndTag(Unknown Source)
at fit.Parse.<init>(Unknown Source)
at fit.Parse.<init>(Unknown Source)
at alice.tuprolog.IsoAcceptanceFixture.run(IsoAcceptanceFixture.java:28)
at alice.tuprolog.IsoAcceptanceFixture.right(IsoAcceptanceFixture.java:40)
at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at sun.reflect.NativeMethodAccessorImpl.invoke(Unknown Source)
at sun.reflect.DelegatingMethodAccessorImpl.invoke(Unknown Source)
at java.lang.reflect.Method.invoke(Unknown Source)
at fit.TypeAdapter.invoke(Unknown Source)
at fit.TypeAdapter.get(Unknown Source)
at fit.Fixture.check(Unknown Source)
at fit.ColumnFixture.check(Unknown Source)
at fit.ColumnFixture.doCell(Unknown Source)
at fit.Fixture.doCells(Unknown Source)
at fit.Fixture.doRow(Unknown Source)
at fit.ColumnFixture.doRow(Unknown Source)
at alice.tuprolog.IsoAcceptanceFixture.doRow(IsoAcceptanceFixture.java:77)
at fit.Fixture.doRows(Unknown Source)
at fit.ColumnFixture.doRows(Unknown Source)
at fit.Fixture.doTable(Unknown Source)
at fit.Fixture.interpretTables(Unknown Source)
at fit.Fixture.doTables(Unknown Source)
at fit.FileRunner.process(Unknown Source)
at fit.FileRunner.run(Unknown Source)
at fit.FileRunner.main(Unknown Source)
0 0 0
3. Term comparison[!] 14
java.text.ParseException: Can't find tag: table
at fit.Parse.findMatchingEndTag(Unknown Source)
at fit.Parse.<init>(Unknown Source)
at fit.Parse.<init>(Unknown Source)
at alice.tuprolog.IsoAcceptanceFixture.run(IsoAcceptanceFixture.java:28)
at alice.tuprolog.IsoAcceptanceFixture.right(IsoAcceptanceFixture.java:40)
at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at sun.reflect.NativeMethodAccessorImpl.invoke(Unknown Source)
at sun.reflect.DelegatingMethodAccessorImpl.invoke(Unknown Source)
at java.lang.reflect.Method.invoke(Unknown Source)
at fit.TypeAdapter.invoke(Unknown Source)
at fit.TypeAdapter.get(Unknown Source)
at fit.Fixture.check(Unknown Source)
at fit.ColumnFixture.check(Unknown Source)
at fit.ColumnFixture.doCell(Unknown Source)
at fit.Fixture.doCells(Unknown Source)
at fit.Fixture.doRow(Unknown Source)
at fit.ColumnFixture.doRow(Unknown Source)
at alice.tuprolog.IsoAcceptanceFixture.doRow(IsoAcceptanceFixture.java:77)
at fit.Fixture.doRows(Unknown Source)
at fit.ColumnFixture.doRows(Unknown Source)
at fit.Fixture.doTable(Unknown Source)
at fit.Fixture.interpretTables(Unknown Source)
at fit.Fixture.doTables(Unknown Source)
at fit.FileRunner.process(Unknown Source)
at fit.FileRunner.run(Unknown Source)
at fit.FileRunner.main(Unknown Source)
0 0 1 expected
0 actual
4. Term creation and decomposition[!] 67
java.text.ParseException: Can't find tag: table
at fit.Parse.findMatchingEndTag(Unknown Source)
at fit.Parse.<init>(Unknown Source)
at fit.Parse.<init>(Unknown Source)
at alice.tuprolog.IsoAcceptanceFixture.run(IsoAcceptanceFixture.java:28)
at alice.tuprolog.IsoAcceptanceFixture.right(IsoAcceptanceFixture.java:40)
at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at sun.reflect.NativeMethodAccessorImpl.invoke(Unknown Source)
at sun.reflect.DelegatingMethodAccessorImpl.invoke(Unknown Source)
at java.lang.reflect.Method.invoke(Unknown Source)
at fit.TypeAdapter.invoke(Unknown Source)
at fit.TypeAdapter.get(Unknown Source)
at fit.Fixture.check(Unknown Source)
at fit.ColumnFixture.check(Unknown Source)
at fit.ColumnFixture.doCell(Unknown Source)
at fit.Fixture.doCells(Unknown Source)
at fit.Fixture.doRow(Unknown Source)
at fit.ColumnFixture.doRow(Unknown Source)
at alice.tuprolog.IsoAcceptanceFixture.doRow(IsoAcceptanceFixture.java:77)
at fit.Fixture.doRows(Unknown Source)
at fit.ColumnFixture.doRows(Unknown Source)
at fit.Fixture.doTable(Unknown Source)
at fit.Fixture.interpretTables(Unknown Source)
at fit.Fixture.doTables(Unknown Source)
at fit.FileRunner.process(Unknown Source)
at fit.FileRunner.run(Unknown Source)
at fit.FileRunner.main(Unknown Source)
2 expected
0 actual
19 expected
0 actual
0
5. Arithmetic evaluation[!] 9
java.text.ParseException: Can't find tag: table
at fit.Parse.findMatchingEndTag(Unknown Source)
at fit.Parse.<init>(Unknown Source)
at fit.Parse.<init>(Unknown Source)
at alice.tuprolog.IsoAcceptanceFixture.run(IsoAcceptanceFixture.java:28)
at alice.tuprolog.IsoAcceptanceFixture.right(IsoAcceptanceFixture.java:40)
at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at sun.reflect.NativeMethodAccessorImpl.invoke(Unknown Source)
at sun.reflect.DelegatingMethodAccessorImpl.invoke(Unknown Source)
at java.lang.reflect.Method.invoke(Unknown Source)
at fit.TypeAdapter.invoke(Unknown Source)
at fit.TypeAdapter.get(Unknown Source)
at fit.Fixture.check(Unknown Source)
at fit.ColumnFixture.check(Unknown Source)
at fit.ColumnFixture.doCell(Unknown Source)
at fit.Fixture.doCells(Unknown Source)
at fit.Fixture.doRow(Unknown Source)
at fit.ColumnFixture.doRow(Unknown Source)
at alice.tuprolog.IsoAcceptanceFixture.doRow(IsoAcceptanceFixture.java:77)
at fit.Fixture.doRows(Unknown Source)
at fit.ColumnFixture.doRows(Unknown Source)
at fit.Fixture.doTable(Unknown Source)
at fit.Fixture.interpretTables(Unknown Source)
at fit.Fixture.doTables(Unknown Source)
at fit.FileRunner.process(Unknown Source)
at fit.FileRunner.run(Unknown Source)
at fit.FileRunner.main(Unknown Source)
0 1 expected
0 actual
0
6. Arithmetic comparison[!] 23
java.text.ParseException: Can't find tag: table
at fit.Parse.findMatchingEndTag(Unknown Source)
at fit.Parse.<init>(Unknown Source)
at fit.Parse.<init>(Unknown Source)
at alice.tuprolog.IsoAcceptanceFixture.run(IsoAcceptanceFixture.java:28)
at alice.tuprolog.IsoAcceptanceFixture.right(IsoAcceptanceFixture.java:40)
at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at sun.reflect.NativeMethodAccessorImpl.invoke(Unknown Source)
at sun.reflect.DelegatingMethodAccessorImpl.invoke(Unknown Source)
at java.lang.reflect.Method.invoke(Unknown Source)
at fit.TypeAdapter.invoke(Unknown Source)
at fit.TypeAdapter.get(Unknown Source)
at fit.Fixture.check(Unknown Source)
at fit.ColumnFixture.check(Unknown Source)
at fit.ColumnFixture.doCell(Unknown Source)
at fit.Fixture.doCells(Unknown Source)
at fit.Fixture.doRow(Unknown Source)
at fit.ColumnFixture.doRow(Unknown Source)
at alice.tuprolog.IsoAcceptanceFixture.doRow(IsoAcceptanceFixture.java:77)
at fit.Fixture.doRows(Unknown Source)
at fit.ColumnFixture.doRows(Unknown Source)
at fit.Fixture.doTable(Unknown Source)
at fit.Fixture.interpretTables(Unknown Source)
at fit.Fixture.doTables(Unknown Source)
at fit.FileRunner.process(Unknown Source)
at fit.FileRunner.run(Unknown Source)
at fit.FileRunner.main(Unknown Source)
1 expected
0 actual
6 expected
0 actual
0
7. Clause retrival and information[!] 17
java.text.ParseException: Can't find tag: table
at fit.Parse.findMatchingEndTag(Unknown Source)
at fit.Parse.<init>(Unknown Source)
at fit.Parse.<init>(Unknown Source)
at alice.tuprolog.IsoAcceptanceFixture.run(IsoAcceptanceFixture.java:28)
at alice.tuprolog.IsoAcceptanceFixture.right(IsoAcceptanceFixture.java:40)
at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at sun.reflect.NativeMethodAccessorImpl.invoke(Unknown Source)
at sun.reflect.DelegatingMethodAccessorImpl.invoke(Unknown Source)
at java.lang.reflect.Method.invoke(Unknown Source)
at fit.TypeAdapter.invoke(Unknown Source)
at fit.TypeAdapter.get(Unknown Source)
at fit.Fixture.check(Unknown Source)
at fit.ColumnFixture.check(Unknown Source)
at fit.ColumnFixture.doCell(Unknown Source)
at fit.Fixture.doCells(Unknown Source)
at fit.Fixture.doRow(Unknown Source)
at fit.ColumnFixture.doRow(Unknown Source)
at alice.tuprolog.IsoAcceptanceFixture.doRow(IsoAcceptanceFixture.java:77)
at fit.Fixture.doRows(Unknown Source)
at fit.ColumnFixture.doRows(Unknown Source)
at fit.Fixture.doTable(Unknown Source)
at fit.Fixture.interpretTables(Unknown Source)
at fit.Fixture.doTables(Unknown Source)
at fit.FileRunner.process(Unknown Source)
at fit.FileRunner.run(Unknown Source)
at fit.FileRunner.main(Unknown Source)
7 expected
0 actual
5 expected
0 actual
3 expected
0 actual
8. Clause creation and destruction[!] 37
java.text.ParseException: Can't find tag: table
at fit.Parse.findMatchingEndTag(Unknown Source)
at fit.Parse.<init>(Unknown Source)
at fit.Parse.<init>(Unknown Source)
at alice.tuprolog.IsoAcceptanceFixture.run(IsoAcceptanceFixture.java:28)
at alice.tuprolog.IsoAcceptanceFixture.right(IsoAcceptanceFixture.java:40)
at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at sun.reflect.NativeMethodAccessorImpl.invoke(Unknown Source)
at sun.reflect.DelegatingMethodAccessorImpl.invoke(Unknown Source)
at java.lang.reflect.Method.invoke(Unknown Source)
at fit.TypeAdapter.invoke(Unknown Source)
at fit.TypeAdapter.get(Unknown Source)
at fit.Fixture.check(Unknown Source)
at fit.ColumnFixture.check(Unknown Source)
at fit.ColumnFixture.doCell(Unknown Source)
at fit.Fixture.doCells(Unknown Source)
at fit.Fixture.doRow(Unknown Source)
at fit.ColumnFixture.doRow(Unknown Source)
at alice.tuprolog.IsoAcceptanceFixture.doRow(IsoAcceptanceFixture.java:77)
at fit.Fixture.doRows(Unknown Source)
at fit.ColumnFixture.doRows(Unknown Source)
at fit.Fixture.doTable(Unknown Source)
at fit.Fixture.interpretTables(Unknown Source)
at fit.Fixture.doTables(Unknown Source)
at fit.FileRunner.process(Unknown Source)
at fit.FileRunner.run(Unknown Source)
at fit.FileRunner.main(Unknown Source)
13 expected
0 actual
15 expected
0 actual
0
9. All solutions[!] 80
java.text.ParseException: Can't find tag: table
at fit.Parse.findMatchingEndTag(Unknown Source)
at fit.Parse.<init>(Unknown Source)
at fit.Parse.<init>(Unknown Source)
at alice.tuprolog.IsoAcceptanceFixture.run(IsoAcceptanceFixture.java:28)
at alice.tuprolog.IsoAcceptanceFixture.right(IsoAcceptanceFixture.java:40)
at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at sun.reflect.NativeMethodAccessorImpl.invoke(Unknown Source)
at sun.reflect.DelegatingMethodAccessorImpl.invoke(Unknown Source)
at java.lang.reflect.Method.invoke(Unknown Source)
at fit.TypeAdapter.invoke(Unknown Source)
at fit.TypeAdapter.get(Unknown Source)
at fit.Fixture.check(Unknown Source)
at fit.ColumnFixture.check(Unknown Source)
at fit.ColumnFixture.doCell(Unknown Source)
at fit.Fixture.doCells(Unknown Source)
at fit.Fixture.doRow(Unknown Source)
at fit.ColumnFixture.doRow(Unknown Source)
at alice.tuprolog.IsoAcceptanceFixture.doRow(IsoAcceptanceFixture.java:77)
at fit.Fixture.doRows(Unknown Source)
at fit.ColumnFixture.doRows(Unknown Source)
at fit.Fixture.doTable(Unknown Source)
at fit.Fixture.interpretTables(Unknown Source)
at fit.Fixture.doTables(Unknown Source)
at fit.FileRunner.process(Unknown Source)
at fit.FileRunner.run(Unknown Source)
at fit.FileRunner.main(Unknown Source)
26 expected
0 actual
4 expected
0 actual
4 expected
0 actual
10. Stream selection and control[!] 0
java.text.ParseException: Can't find tag: table
at fit.Parse.findMatchingEndTag(Unknown Source)
at fit.Parse.<init>(Unknown Source)
at fit.Parse.<init>(Unknown Source)
at alice.tuprolog.IsoAcceptanceFixture.run(IsoAcceptanceFixture.java:28)
at alice.tuprolog.IsoAcceptanceFixture.right(IsoAcceptanceFixture.java:40)
at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at sun.reflect.NativeMethodAccessorImpl.invoke(Unknown Source)
at sun.reflect.DelegatingMethodAccessorImpl.invoke(Unknown Source)
at java.lang.reflect.Method.invoke(Unknown Source)
at fit.TypeAdapter.invoke(Unknown Source)
at fit.TypeAdapter.get(Unknown Source)
at fit.Fixture.check(Unknown Source)
at fit.ColumnFixture.check(Unknown Source)
at fit.ColumnFixture.doCell(Unknown Source)
at fit.Fixture.doCells(Unknown Source)
at fit.Fixture.doRow(Unknown Source)
at fit.ColumnFixture.doRow(Unknown Source)
at alice.tuprolog.IsoAcceptanceFixture.doRow(IsoAcceptanceFixture.java:77)
at fit.Fixture.doRows(Unknown Source)
at fit.ColumnFixture.doRows(Unknown Source)
at fit.Fixture.doTable(Unknown Source)
at fit.Fixture.interpretTables(Unknown Source)
at fit.Fixture.doTables(Unknown Source)
at fit.FileRunner.process(Unknown Source)
at fit.FileRunner.run(Unknown Source)
at fit.FileRunner.main(Unknown Source)
7 expected
0 actual
0 0
11. Character input and output error 0 0 0
12. Byte input and output error 0 0 0
13. Term input and output error 0 0 0
14. Logic and control[!] 16
java.text.ParseException: Can't find tag: table
at fit.Parse.findMatchingEndTag(Unknown Source)
at fit.Parse.<init>(Unknown Source)
at fit.Parse.<init>(Unknown Source)
at alice.tuprolog.IsoAcceptanceFixture.run(IsoAcceptanceFixture.java:28)
at alice.tuprolog.IsoAcceptanceFixture.right(IsoAcceptanceFixture.java:40)
at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at sun.reflect.NativeMethodAccessorImpl.invoke(Unknown Source)
at sun.reflect.DelegatingMethodAccessorImpl.invoke(Unknown Source)
at java.lang.reflect.Method.invoke(Unknown Source)
at fit.TypeAdapter.invoke(Unknown Source)
at fit.TypeAdapter.get(Unknown Source)
at fit.Fixture.check(Unknown Source)
at fit.ColumnFixture.check(Unknown Source)
at fit.ColumnFixture.doCell(Unknown Source)
at fit.Fixture.doCells(Unknown Source)
at fit.Fixture.doRow(Unknown Source)
at fit.ColumnFixture.doRow(Unknown Source)
at alice.tuprolog.IsoAcceptanceFixture.doRow(IsoAcceptanceFixture.java:77)
at fit.Fixture.doRows(Unknown Source)
at fit.ColumnFixture.doRows(Unknown Source)
at fit.Fixture.doTable(Unknown Source)
at fit.Fixture.interpretTables(Unknown Source)
at fit.Fixture.doTables(Unknown Source)
at fit.FileRunner.process(Unknown Source)
at fit.FileRunner.run(Unknown Source)
at fit.FileRunner.main(Unknown Source)
2 expected
0 actual
2 expected
0 actual
0
15. Atomic term processing[!] 144
java.text.ParseException: Can't find tag: table
at fit.Parse.findMatchingEndTag(Unknown Source)
at fit.Parse.<init>(Unknown Source)
at fit.Parse.<init>(Unknown Source)
at alice.tuprolog.IsoAcceptanceFixture.run(IsoAcceptanceFixture.java:28)
at alice.tuprolog.IsoAcceptanceFixture.right(IsoAcceptanceFixture.java:40)
at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at sun.reflect.NativeMethodAccessorImpl.invoke(Unknown Source)
at sun.reflect.DelegatingMethodAccessorImpl.invoke(Unknown Source)
at java.lang.reflect.Method.invoke(Unknown Source)
at fit.TypeAdapter.invoke(Unknown Source)
at fit.TypeAdapter.get(Unknown Source)
at fit.Fixture.check(Unknown Source)
at fit.ColumnFixture.check(Unknown Source)
at fit.ColumnFixture.doCell(Unknown Source)
at fit.Fixture.doCells(Unknown Source)
at fit.Fixture.doRow(Unknown Source)
at fit.ColumnFixture.doRow(Unknown Source)
at alice.tuprolog.IsoAcceptanceFixture.doRow(IsoAcceptanceFixture.java:77)
at fit.Fixture.doRows(Unknown Source)
at fit.ColumnFixture.doRows(Unknown Source)
at fit.Fixture.doTable(Unknown Source)
at fit.Fixture.interpretTables(Unknown Source)
at fit.Fixture.doTables(Unknown Source)
at fit.FileRunner.process(Unknown Source)
at fit.FileRunner.run(Unknown Source)
at fit.FileRunner.main(Unknown Source)
9 expected
0 actual
9 expected
0 actual
8 expected
0 actual
16. Implementation defined hooks[!] 8
java.text.ParseException: Can't find tag: table
at fit.Parse.findMatchingEndTag(Unknown Source)
at fit.Parse.<init>(Unknown Source)
at fit.Parse.<init>(Unknown Source)
at alice.tuprolog.IsoAcceptanceFixture.run(IsoAcceptanceFixture.java:28)
at alice.tuprolog.IsoAcceptanceFixture.right(IsoAcceptanceFixture.java:40)
at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at sun.reflect.NativeMethodAccessorImpl.invoke(Unknown Source)
at sun.reflect.DelegatingMethodAccessorImpl.invoke(Unknown Source)
at java.lang.reflect.Method.invoke(Unknown Source)
at fit.TypeAdapter.invoke(Unknown Source)
at fit.TypeAdapter.get(Unknown Source)
at fit.Fixture.check(Unknown Source)
at fit.ColumnFixture.check(Unknown Source)
at fit.ColumnFixture.doCell(Unknown Source)
at fit.Fixture.doCells(Unknown Source)
at fit.Fixture.doRow(Unknown Source)
at fit.ColumnFixture.doRow(Unknown Source)
at alice.tuprolog.IsoAcceptanceFixture.doRow(IsoAcceptanceFixture.java:77)
at fit.Fixture.doRows(Unknown Source)
at fit.ColumnFixture.doRows(Unknown Source)
at fit.Fixture.doTable(Unknown Source)
at fit.Fixture.interpretTables(Unknown Source)
at fit.Fixture.doTables(Unknown Source)
at fit.FileRunner.process(Unknown Source)
at fit.FileRunner.run(Unknown Source)
at fit.FileRunner.main(Unknown Source)
1 expected
0 actual
5 expected
0 actual
0
17. Simple arithmetic functors[!] 30
java.text.ParseException: Can't find tag: table
at fit.Parse.findMatchingEndTag(Unknown Source)
at fit.Parse.<init>(Unknown Source)
at fit.Parse.<init>(Unknown Source)
at alice.tuprolog.IsoAcceptanceFixture.run(IsoAcceptanceFixture.java:28)
at alice.tuprolog.IsoAcceptanceFixture.right(IsoAcceptanceFixture.java:40)
at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
at sun.reflect.DelegatingMethodAccessorImpl.invoke(Unknown Source)
at java.lang.reflect.Method.invoke(Unknown Source)
at fit.TypeAdapter.invoke(Unknown Source)
at fit.TypeAdapter.get(Unknown Source)
at fit.Fixture.check(Unknown Source)
at fit.ColumnFixture.check(Unknown Source)
at fit.ColumnFixture.doCell(Unknown Source)
at fit.Fixture.doCells(Unknown Source)
at fit.Fixture.doRow(Unknown Source)
at fit.ColumnFixture.doRow(Unknown Source)
at alice.tuprolog.IsoAcceptanceFixture.doRow(IsoAcceptanceFixture.java:77)
at fit.Fixture.doRows(Unknown Source)
at fit.ColumnFixture.doRows(Unknown Source)
at fit.Fixture.doTable(Unknown Source)
at fit.Fixture.interpretTables(Unknown Source)
at fit.Fixture.doTables(Unknown Source)
at fit.FileRunner.process(Unknown Source)
at fit.FileRunner.run(Unknown Source)
at fit.FileRunner.main(Unknown Source)
6 expected
0 actual
25 expected
0 actual
0
18. Other arithmetic functors[!] 21
java.text.ParseException: Can't find tag: table
at fit.Parse.findMatchingEndTag(Unknown Source)
at fit.Parse.<init>(Unknown Source)
at fit.Parse.<init>(Unknown Source)
at alice.tuprolog.IsoAcceptanceFixture.run(IsoAcceptanceFixture.java:28)
at alice.tuprolog.IsoAcceptanceFixture.right(IsoAcceptanceFixture.java:40)
at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
at sun.reflect.DelegatingMethodAccessorImpl.invoke(Unknown Source)
at java.lang.reflect.Method.invoke(Unknown Source)
at fit.TypeAdapter.invoke(Unknown Source)
at fit.TypeAdapter.get(Unknown Source)
at fit.Fixture.check(Unknown Source)
at fit.ColumnFixture.check(Unknown Source)
at fit.ColumnFixture.doCell(Unknown Source)
at fit.Fixture.doCells(Unknown Source)
at fit.Fixture.doRow(Unknown Source)
at fit.ColumnFixture.doRow(Unknown Source)
at alice.tuprolog.IsoAcceptanceFixture.doRow(IsoAcceptanceFixture.java:77)
at fit.Fixture.doRows(Unknown Source)
at fit.ColumnFixture.doRows(Unknown Source)
at fit.Fixture.doTable(Unknown Source)
at fit.Fixture.interpretTables(Unknown Source)
at fit.Fixture.doTables(Unknown Source)
at fit.FileRunner.process(Unknown Source)
at fit.FileRunner.run(Unknown Source)
at fit.FileRunner.main(Unknown Source)
6 expected
0 actual
17 expected
0 actual
0
19. Bitwise functors[!] 5
java.text.ParseException: Can't find tag: table
at fit.Parse.findMatchingEndTag(Unknown Source)
at fit.Parse.<init>(Unknown Source)
at fit.Parse.<init>(Unknown Source)
at alice.tuprolog.IsoAcceptanceFixture.run(IsoAcceptanceFixture.java:28)
at alice.tuprolog.IsoAcceptanceFixture.right(IsoAcceptanceFixture.java:40)
at sun.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
at sun.reflect.DelegatingMethodAccessorImpl.invoke(Unknown Source)
at java.lang.reflect.Method.invoke(Unknown Source)
at fit.TypeAdapter.invoke(Unknown Source)
at fit.TypeAdapter.get(Unknown Source)
at fit.Fixture.check(Unknown Source)
at fit.ColumnFixture.check(Unknown Source)
at fit.ColumnFixture.doCell(Unknown Source)
at fit.Fixture.doCells(Unknown Source)
at fit.Fixture.doRow(Unknown Source)
at fit.ColumnFixture.doRow(Unknown Source)
at alice.tuprolog.IsoAcceptanceFixture.doRow(IsoAcceptanceFixture.java:77)
at fit.Fixture.doRows(Unknown Source)
at fit.ColumnFixture.doRows(Unknown Source)
at fit.Fixture.doTable(Unknown Source)
at fit.Fixture.interpretTables(Unknown Source)
at fit.Fixture.doTables(Unknown Source)
at fit.FileRunner.process(Unknown Source)
at fit.FileRunner.run(Unknown Source)
at fit.FileRunner.main(Unknown Source)
0 10 expected
0 actual
7 expected
0 actual

How many sections were successful?

Run the tests!

fit.Summary
counts 18 right, 30 wrong, 0 ignored, 16 exceptions
input file D:\Silvia\Merge_Tesi\Tesi\test\isoAcceptanceTests.html
input update Tue Dec 23 03:02:00 CET 2008
output file D:\Silvia\Merge_Tesi\Tesi\test\report_Montanari\isoAcceptanceTests.html
run date Wed Sep 28 12:47:45 CEST 2011
run elapsed time 0:00.12