rpms/ocaml-ocamlgraph
3
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity
9f346d1442
ocaml-ocamlgraph/ocamlgraph-test.result

575 lines
13 KiB
Plaintext
Raw Normal View History

New upstream release, 1.8.4+dev, where the "+dev" refers to a bug fix that was applied immediately after the 1.8.4 release. Also: - Drop upstreamed patch. - Install graph.cmxs and enable the -debuginfo subpackage. - Update expected test results. - BR ocaml-findlib only, not ocaml-findlib-devel. - Install graph editing tools into -tools subpackage. - Fix the bytecode build.
2014-02-26 14:35:57 +00:00
mkdir -p bin
New upstream release.
2013-05-14 19:43:27 +00:00
ocamlopt.opt -o bin/test-ts unix.cmxa graph.cmxa tests/test_topsort.ml
Initial commit for devel branch.
2008-08-23 20:48:48 +00:00
ocaml graph.cma tests/check.ml
iter:
pre 3
pre 5
pre 4
pre 2
post 2
post 4
post 5
pre 6
post 6
post 3
prefix:
pre 3
pre 6
pre 5
pre 4
pre 2
step:
visit 6
visit 5
visit 4
visit 2
visit 3
visit 1
New upstream release.
2013-05-14 19:43:27 +00:00
bin/test-ts 10
0 1 2
x=0 y=0 num(x)=1 num(y)=1
x-->y=true y-->x=true
x=0 y=1 num(x)=1 num(y)=2
x-->y=true y-->x=false
x=0 y=2 num(x)=1 num(y)=3
x-->y=true y-->x=false
x=1 y=0 num(x)=2 num(y)=1
x-->y=false y-->x=true
x=1 y=1 num(x)=2 num(y)=2
x-->y=true y-->x=true
x=1 y=2 num(x)=2 num(y)=3
x-->y=true y-->x=false
x=2 y=0 num(x)=3 num(y)=1
x-->y=false y-->x=true
x=2 y=1 num(x)=3 num(y)=2
x-->y=false y-->x=true
x=2 y=2 num(x)=3 num(y)=3
x-->y=true y-->x=true
0 1 2
x=0 y=0 num(x)=1 num(y)=1
x-->y=true y-->x=true
x=0 y=1 num(x)=1 num(y)=2
x-->y=false y-->x=false
x=0 y=2 num(x)=1 num(y)=3
x-->y=false y-->x=false
x=1 y=0 num(x)=2 num(y)=1
x-->y=false y-->x=false
x=1 y=1 num(x)=2 num(y)=2
x-->y=true y-->x=true
x=1 y=2 num(x)=2 num(y)=3
x-->y=false y-->x=false
x=2 y=0 num(x)=3 num(y)=1
x-->y=false y-->x=false
x=2 y=1 num(x)=3 num(y)=2
x-->y=false y-->x=false
x=2 y=2 num(x)=3 num(y)=3
x-->y=true y-->x=true
0
x=0 y=0 num(x)=1 num(y)=1
x-->y=true y-->x=true
0 1
x=0 y=0 num(x)=1 num(y)=1
x-->y=true y-->x=true
x=0 y=1 num(x)=1 num(y)=2
x-->y=true y-->x=true
x=1 y=0 num(x)=2 num(y)=1
x-->y=true y-->x=true
x=1 y=1 num(x)=2 num(y)=2
x-->y=true y-->x=true
0 1 2
x=0 y=0 num(x)=1 num(y)=1
x-->y=true y-->x=true
x=0 y=1 num(x)=1 num(y)=2
x-->y=true y-->x=true
x=0 y=2 num(x)=1 num(y)=3
x-->y=true y-->x=false
x=1 y=0 num(x)=2 num(y)=1
x-->y=true y-->x=true
x=1 y=1 num(x)=2 num(y)=2
x-->y=true y-->x=true
x=1 y=2 num(x)=2 num(y)=3
x-->y=true y-->x=false
x=2 y=0 num(x)=3 num(y)=1
x-->y=false y-->x=true
x=2 y=1 num(x)=3 num(y)=2
x-->y=false y-->x=true
x=2 y=2 num(x)=3 num(y)=3
x-->y=true y-->x=true
0 2 1
x=0 y=0 num(x)=1 num(y)=1
x-->y=true y-->x=true
x=0 y=1 num(x)=1 num(y)=3
x-->y=true y-->x=false
x=0 y=2 num(x)=1 num(y)=2
x-->y=true y-->x=true
x=1 y=0 num(x)=3 num(y)=1
x-->y=false y-->x=true
x=1 y=1 num(x)=3 num(y)=3
x-->y=true y-->x=true
x=1 y=2 num(x)=3 num(y)=2
x-->y=false y-->x=true
x=2 y=0 num(x)=2 num(y)=1
x-->y=true y-->x=true
x=2 y=1 num(x)=2 num(y)=3
x-->y=true y-->x=false
x=2 y=2 num(x)=2 num(y)=2
x-->y=true y-->x=true
1 2 0
x=0 y=0 num(x)=3 num(y)=3
x-->y=true y-->x=true
x=0 y=1 num(x)=3 num(y)=1
x-->y=false y-->x=true
x=0 y=2 num(x)=3 num(y)=2
x-->y=false y-->x=true
x=1 y=0 num(x)=1 num(y)=3
x-->y=true y-->x=false
x=1 y=1 num(x)=1 num(y)=1
x-->y=true y-->x=true
x=1 y=2 num(x)=1 num(y)=2
x-->y=true y-->x=true
x=2 y=0 num(x)=2 num(y)=3
x-->y=true y-->x=false
x=2 y=1 num(x)=2 num(y)=1
x-->y=true y-->x=true
x=2 y=2 num(x)=2 num(y)=2
x-->y=true y-->x=true
1 2 3 4 0
x=0 y=0 num(x)=5 num(y)=5
x-->y=true y-->x=true
x=0 y=1 num(x)=5 num(y)=1
x-->y=false y-->x=true
x=0 y=2 num(x)=5 num(y)=2
x-->y=false y-->x=true
x=0 y=3 num(x)=5 num(y)=3
x-->y=false y-->x=false
x=0 y=4 num(x)=5 num(y)=4
x-->y=false y-->x=false
x=1 y=0 num(x)=1 num(y)=5
x-->y=true y-->x=false
x=1 y=1 num(x)=1 num(y)=1
x-->y=true y-->x=true
x=1 y=2 num(x)=1 num(y)=2
x-->y=true y-->x=true
x=1 y=3 num(x)=1 num(y)=3
x-->y=false y-->x=false
x=1 y=4 num(x)=1 num(y)=4
x-->y=false y-->x=false
x=2 y=0 num(x)=2 num(y)=5
x-->y=true y-->x=false
x=2 y=1 num(x)=2 num(y)=1
x-->y=true y-->x=true
x=2 y=2 num(x)=2 num(y)=2
x-->y=true y-->x=true
x=2 y=3 num(x)=2 num(y)=3
x-->y=false y-->x=false
x=2 y=4 num(x)=2 num(y)=4
x-->y=false y-->x=false
x=3 y=0 num(x)=3 num(y)=5
x-->y=false y-->x=false
x=3 y=1 num(x)=3 num(y)=1
x-->y=false y-->x=false
x=3 y=2 num(x)=3 num(y)=2
x-->y=false y-->x=false
x=3 y=3 num(x)=3 num(y)=3
x-->y=true y-->x=true
x=3 y=4 num(x)=3 num(y)=4
x-->y=true y-->x=true
x=4 y=0 num(x)=4 num(y)=5
x-->y=false y-->x=false
x=4 y=1 num(x)=4 num(y)=1
x-->y=false y-->x=false
x=4 y=2 num(x)=4 num(y)=2
x-->y=false y-->x=false
x=4 y=3 num(x)=4 num(y)=3
x-->y=true y-->x=true
x=4 y=4 num(x)=4 num(y)=4
x-->y=true y-->x=true
0 1 2
x=0 y=0 num(x)=1 num(y)=1
x-->y=true y-->x=true
x=0 y=1 num(x)=1 num(y)=2
x-->y=true y-->x=false
x=0 y=2 num(x)=1 num(y)=3
x-->y=true y-->x=false
x=1 y=0 num(x)=2 num(y)=1
x-->y=false y-->x=true
x=1 y=1 num(x)=2 num(y)=2
x-->y=true y-->x=true
x=1 y=2 num(x)=2 num(y)=3
x-->y=true y-->x=true
x=2 y=0 num(x)=3 num(y)=1
x-->y=false y-->x=true
x=2 y=1 num(x)=3 num(y)=2
x-->y=true y-->x=true
x=2 y=2 num(x)=3 num(y)=3
x-->y=true y-->x=true
0 1 2
x=0 y=0 num(x)=1 num(y)=1
x-->y=true y-->x=true
x=0 y=1 num(x)=1 num(y)=2
x-->y=true y-->x=false
x=0 y=2 num(x)=1 num(y)=3
x-->y=true y-->x=false
x=1 y=0 num(x)=2 num(y)=1
x-->y=false y-->x=true
x=1 y=1 num(x)=2 num(y)=2
x-->y=true y-->x=true
x=1 y=2 num(x)=2 num(y)=3
x-->y=true y-->x=true
x=2 y=0 num(x)=3 num(y)=1
x-->y=false y-->x=true
x=2 y=1 num(x)=3 num(y)=2
x-->y=true y-->x=true
x=2 y=2 num(x)=3 num(y)=3
x-->y=true y-->x=true
2 3 0 1
x=0 y=0 num(x)=3 num(y)=3
x-->y=true y-->x=true
x=0 y=1 num(x)=3 num(y)=4
x-->y=true y-->x=true
x=0 y=2 num(x)=3 num(y)=1
x-->y=false y-->x=true
x=0 y=3 num(x)=3 num(y)=2
x-->y=false y-->x=true
x=1 y=0 num(x)=4 num(y)=3
x-->y=true y-->x=true
x=1 y=1 num(x)=4 num(y)=4
x-->y=true y-->x=true
x=1 y=2 num(x)=4 num(y)=1
x-->y=false y-->x=true
x=1 y=3 num(x)=4 num(y)=2
x-->y=false y-->x=true
x=2 y=0 num(x)=1 num(y)=3
x-->y=true y-->x=false
x=2 y=1 num(x)=1 num(y)=4
x-->y=true y-->x=false
x=2 y=2 num(x)=1 num(y)=1
x-->y=true y-->x=true
x=2 y=3 num(x)=1 num(y)=2
x-->y=true y-->x=true
x=3 y=0 num(x)=2 num(y)=3
x-->y=true y-->x=false
x=3 y=1 num(x)=2 num(y)=4
x-->y=true y-->x=false
x=3 y=2 num(x)=2 num(y)=1
x-->y=true y-->x=true
x=3 y=3 num(x)=2 num(y)=2
x-->y=true y-->x=true
0 1 2 3
x=0 y=0 num(x)=1 num(y)=1
x-->y=true y-->x=true
x=0 y=1 num(x)=1 num(y)=2
x-->y=true y-->x=true
x=0 y=2 num(x)=1 num(y)=3
x-->y=true y-->x=false
x=0 y=3 num(x)=1 num(y)=4
x-->y=true y-->x=false
x=1 y=0 num(x)=2 num(y)=1
x-->y=true y-->x=true
x=1 y=1 num(x)=2 num(y)=2
x-->y=true y-->x=true
x=1 y=2 num(x)=2 num(y)=3
x-->y=true y-->x=false
x=1 y=3 num(x)=2 num(y)=4
x-->y=true y-->x=false
x=2 y=0 num(x)=3 num(y)=1
x-->y=false y-->x=true
x=2 y=1 num(x)=3 num(y)=2
x-->y=false y-->x=true
x=2 y=2 num(x)=3 num(y)=3
x-->y=true y-->x=true
x=2 y=3 num(x)=3 num(y)=4
x-->y=true y-->x=true
x=3 y=0 num(x)=4 num(y)=1
x-->y=false y-->x=true
x=3 y=1 num(x)=4 num(y)=2
x-->y=false y-->x=true
x=3 y=2 num(x)=4 num(y)=3
x-->y=true y-->x=true
x=3 y=3 num(x)=4 num(y)=4
x-->y=true y-->x=true
0 1 2 3
x=0 y=0 num(x)=1 num(y)=1
x-->y=true y-->x=true
x=0 y=1 num(x)=1 num(y)=2
x-->y=true y-->x=true
x=0 y=2 num(x)=1 num(y)=3
x-->y=true y-->x=true
x=0 y=3 num(x)=1 num(y)=4
x-->y=true y-->x=true
x=1 y=0 num(x)=2 num(y)=1
x-->y=true y-->x=true
x=1 y=1 num(x)=2 num(y)=2
x-->y=true y-->x=true
x=1 y=2 num(x)=2 num(y)=3
x-->y=true y-->x=true
x=1 y=3 num(x)=2 num(y)=4
x-->y=true y-->x=true
x=2 y=0 num(x)=3 num(y)=1
x-->y=true y-->x=true
x=2 y=1 num(x)=3 num(y)=2
x-->y=true y-->x=true
x=2 y=2 num(x)=3 num(y)=3
x-->y=true y-->x=true
x=2 y=3 num(x)=3 num(y)=4
x-->y=true y-->x=true
x=3 y=0 num(x)=4 num(y)=1
x-->y=true y-->x=true
x=3 y=1 num(x)=4 num(y)=2
x-->y=true y-->x=true
x=3 y=2 num(x)=4 num(y)=3
x-->y=true y-->x=true
x=3 y=3 num(x)=4 num(y)=4
x-->y=true y-->x=true
3 0 1 2 4
x=0 y=0 num(x)=2 num(y)=2
x-->y=true y-->x=true
x=0 y=1 num(x)=2 num(y)=3
x-->y=true y-->x=true
x=0 y=2 num(x)=2 num(y)=4
x-->y=true y-->x=true
x=0 y=3 num(x)=2 num(y)=1
x-->y=false y-->x=true
x=0 y=4 num(x)=2 num(y)=5
x-->y=true y-->x=false
x=1 y=0 num(x)=3 num(y)=2
x-->y=true y-->x=true
x=1 y=1 num(x)=3 num(y)=3
x-->y=true y-->x=true
x=1 y=2 num(x)=3 num(y)=4
x-->y=true y-->x=true
x=1 y=3 num(x)=3 num(y)=1
x-->y=false y-->x=true
x=1 y=4 num(x)=3 num(y)=5
x-->y=true y-->x=false
x=2 y=0 num(x)=4 num(y)=2
x-->y=true y-->x=true
x=2 y=1 num(x)=4 num(y)=3
x-->y=true y-->x=true
x=2 y=2 num(x)=4 num(y)=4
x-->y=true y-->x=true
x=2 y=3 num(x)=4 num(y)=1
x-->y=false y-->x=true
x=2 y=4 num(x)=4 num(y)=5
x-->y=true y-->x=false
x=3 y=0 num(x)=1 num(y)=2
x-->y=true y-->x=false
x=3 y=1 num(x)=1 num(y)=3
x-->y=true y-->x=false
x=3 y=2 num(x)=1 num(y)=4
x-->y=true y-->x=false
x=3 y=3 num(x)=1 num(y)=1
x-->y=true y-->x=true
x=3 y=4 num(x)=1 num(y)=5
x-->y=true y-->x=false
x=4 y=0 num(x)=5 num(y)=2
x-->y=false y-->x=true
x=4 y=1 num(x)=5 num(y)=3
x-->y=false y-->x=true
x=4 y=2 num(x)=5 num(y)=4
x-->y=false y-->x=true
x=4 y=3 num(x)=5 num(y)=1
x-->y=false y-->x=true
x=4 y=4 num(x)=5 num(y)=5
x-->y=true y-->x=true
0 1 2 3 4 5 6
x=0 y=0 num(x)=1 num(y)=1
x-->y=true y-->x=true
x=0 y=1 num(x)=1 num(y)=2
x-->y=true y-->x=true
x=0 y=2 num(x)=1 num(y)=3
x-->y=true y-->x=false
x=0 y=3 num(x)=1 num(y)=4
x-->y=true y-->x=false
x=0 y=4 num(x)=1 num(y)=5
x-->y=true y-->x=false
x=0 y=5 num(x)=1 num(y)=6
x-->y=true y-->x=false
x=0 y=6 num(x)=1 num(y)=7
x-->y=true y-->x=false
x=1 y=0 num(x)=2 num(y)=1
x-->y=true y-->x=true
x=1 y=1 num(x)=2 num(y)=2
x-->y=true y-->x=true
x=1 y=2 num(x)=2 num(y)=3
x-->y=true y-->x=false
x=1 y=3 num(x)=2 num(y)=4
x-->y=true y-->x=false
x=1 y=4 num(x)=2 num(y)=5
x-->y=true y-->x=false
x=1 y=5 num(x)=2 num(y)=6
x-->y=true y-->x=false
x=1 y=6 num(x)=2 num(y)=7
x-->y=true y-->x=false
x=2 y=0 num(x)=3 num(y)=1
x-->y=false y-->x=true
x=2 y=1 num(x)=3 num(y)=2
x-->y=false y-->x=true
x=2 y=2 num(x)=3 num(y)=3
x-->y=true y-->x=true
x=2 y=3 num(x)=3 num(y)=4
x-->y=true y-->x=true
x=2 y=4 num(x)=3 num(y)=5
x-->y=true y-->x=false
x=2 y=5 num(x)=3 num(y)=6
x-->y=true y-->x=false
x=2 y=6 num(x)=3 num(y)=7
x-->y=true y-->x=false
x=3 y=0 num(x)=4 num(y)=1
x-->y=false y-->x=true
x=3 y=1 num(x)=4 num(y)=2
x-->y=false y-->x=true
x=3 y=2 num(x)=4 num(y)=3
x-->y=true y-->x=true
x=3 y=3 num(x)=4 num(y)=4
x-->y=true y-->x=true
x=3 y=4 num(x)=4 num(y)=5
x-->y=true y-->x=false
x=3 y=5 num(x)=4 num(y)=6
x-->y=true y-->x=false
x=3 y=6 num(x)=4 num(y)=7
x-->y=true y-->x=false
x=4 y=0 num(x)=5 num(y)=1
x-->y=false y-->x=true
x=4 y=1 num(x)=5 num(y)=2
x-->y=false y-->x=true
x=4 y=2 num(x)=5 num(y)=3
x-->y=false y-->x=true
x=4 y=3 num(x)=5 num(y)=4
x-->y=false y-->x=true
x=4 y=4 num(x)=5 num(y)=5
x-->y=true y-->x=true
x=4 y=5 num(x)=5 num(y)=6
x-->y=true y-->x=true
x=4 y=6 num(x)=5 num(y)=7
x-->y=true y-->x=true
x=5 y=0 num(x)=6 num(y)=1
x-->y=false y-->x=true
x=5 y=1 num(x)=6 num(y)=2
x-->y=false y-->x=true
x=5 y=2 num(x)=6 num(y)=3
x-->y=false y-->x=true
x=5 y=3 num(x)=6 num(y)=4
x-->y=false y-->x=true
x=5 y=4 num(x)=6 num(y)=5
x-->y=true y-->x=true
x=5 y=5 num(x)=6 num(y)=6
x-->y=true y-->x=true
x=5 y=6 num(x)=6 num(y)=7
x-->y=true y-->x=true
x=6 y=0 num(x)=7 num(y)=1
x-->y=false y-->x=true
x=6 y=1 num(x)=7 num(y)=2
x-->y=false y-->x=true
x=6 y=2 num(x)=7 num(y)=3
x-->y=false y-->x=true
x=6 y=3 num(x)=7 num(y)=4
x-->y=false y-->x=true
x=6 y=4 num(x)=7 num(y)=5
x-->y=true y-->x=true
x=6 y=5 num(x)=7 num(y)=6
x-->y=true y-->x=true
x=6 y=6 num(x)=7 num(y)=7
x-->y=true y-->x=true
0 1 2 3 4 5 6
x=0 y=0 num(x)=1 num(y)=1
x-->y=true y-->x=true
x=0 y=1 num(x)=1 num(y)=2
x-->y=true y-->x=true
x=0 y=2 num(x)=1 num(y)=3
x-->y=true y-->x=false
x=0 y=3 num(x)=1 num(y)=4
x-->y=true y-->x=false
x=0 y=4 num(x)=1 num(y)=5
x-->y=true y-->x=false
x=0 y=5 num(x)=1 num(y)=6
x-->y=true y-->x=false
x=0 y=6 num(x)=1 num(y)=7
x-->y=true y-->x=false
x=1 y=0 num(x)=2 num(y)=1
x-->y=true y-->x=true
x=1 y=1 num(x)=2 num(y)=2
x-->y=true y-->x=true
x=1 y=2 num(x)=2 num(y)=3
x-->y=true y-->x=false
x=1 y=3 num(x)=2 num(y)=4
x-->y=true y-->x=false
x=1 y=4 num(x)=2 num(y)=5
x-->y=true y-->x=false
x=1 y=5 num(x)=2 num(y)=6
x-->y=true y-->x=false
x=1 y=6 num(x)=2 num(y)=7
x-->y=true y-->x=false
x=2 y=0 num(x)=3 num(y)=1
x-->y=false y-->x=true
x=2 y=1 num(x)=3 num(y)=2
x-->y=false y-->x=true
x=2 y=2 num(x)=3 num(y)=3
x-->y=true y-->x=true
x=2 y=3 num(x)=3 num(y)=4
x-->y=true y-->x=true
x=2 y=4 num(x)=3 num(y)=5
x-->y=true y-->x=true
x=2 y=5 num(x)=3 num(y)=6
x-->y=true y-->x=true
x=2 y=6 num(x)=3 num(y)=7
x-->y=true y-->x=true
x=3 y=0 num(x)=4 num(y)=1
x-->y=false y-->x=true
x=3 y=1 num(x)=4 num(y)=2
x-->y=false y-->x=true
x=3 y=2 num(x)=4 num(y)=3
x-->y=true y-->x=true
x=3 y=3 num(x)=4 num(y)=4
x-->y=true y-->x=true
x=3 y=4 num(x)=4 num(y)=5
x-->y=true y-->x=true
x=3 y=5 num(x)=4 num(y)=6
x-->y=true y-->x=true
x=3 y=6 num(x)=4 num(y)=7
x-->y=true y-->x=true
x=4 y=0 num(x)=5 num(y)=1
x-->y=false y-->x=true
x=4 y=1 num(x)=5 num(y)=2
x-->y=false y-->x=true
x=4 y=2 num(x)=5 num(y)=3
x-->y=true y-->x=true
x=4 y=3 num(x)=5 num(y)=4
x-->y=true y-->x=true
x=4 y=4 num(x)=5 num(y)=5
x-->y=true y-->x=true
x=4 y=5 num(x)=5 num(y)=6
x-->y=true y-->x=true
x=4 y=6 num(x)=5 num(y)=7
x-->y=true y-->x=true
x=5 y=0 num(x)=6 num(y)=1
x-->y=false y-->x=true
x=5 y=1 num(x)=6 num(y)=2
x-->y=false y-->x=true
x=5 y=2 num(x)=6 num(y)=3
x-->y=true y-->x=true
x=5 y=3 num(x)=6 num(y)=4
x-->y=true y-->x=true
x=5 y=4 num(x)=6 num(y)=5
x-->y=true y-->x=true
x=5 y=5 num(x)=6 num(y)=6
x-->y=true y-->x=true
x=5 y=6 num(x)=6 num(y)=7
x-->y=true y-->x=true
x=6 y=0 num(x)=7 num(y)=1
x-->y=false y-->x=true
x=6 y=1 num(x)=7 num(y)=2
x-->y=false y-->x=true
x=6 y=2 num(x)=7 num(y)=3
x-->y=true y-->x=true
x=6 y=3 num(x)=7 num(y)=4
x-->y=true y-->x=true
x=6 y=4 num(x)=7 num(y)=5
x-->y=true y-->x=true
x=6 y=5 num(x)=7 num(y)=6
x-->y=true y-->x=true
x=6 y=6 num(x)=7 num(y)=7
x-->y=true y-->x=true
All tests succeeded.
Reference in New Issue Copy Permalink