From: Jean Privat Date: Thu, 28 Aug 2014 20:06:10 +0000 (-0400) Subject: tests: add more .res (or skip) for some libs X-Git-Tag: v0.6.8~1^2~4 X-Git-Url: http://nitlanguage.org tests: add more .res (or skip) for some libs Signed-off-by: Jean Privat --- diff --git a/tests/cc.skip b/tests/cc.skip index 82cd3d0..2e20b7e 100644 --- a/tests/cc.skip +++ b/tests/cc.skip @@ -5,3 +5,6 @@ posix_ext physical_interface_for_mpd_on_rpi blink input +android_app +android_assets +opengles1 diff --git a/tests/exec.skip b/tests/exec.skip index 7346138..b4d2b33 100644 --- a/tests/exec.skip +++ b/tests/exec.skip @@ -2,3 +2,4 @@ example_exec_ls leapfrog_curses websocket_server converter +show_basedir diff --git a/tests/sav/linux_app.res b/tests/sav/linux_app.res new file mode 100644 index 0000000..92405d4 --- /dev/null +++ b/tests/sav/linux_app.res @@ -0,0 +1,2 @@ +../lib/mnit_linux/linux_app.nit:28,16--31: Redef Error: a virtual type cannot be refined. +../lib/mnit_linux/linux_app.nit:29,16--29: Redef Error: a virtual type cannot be refined. diff --git a/tests/sav/linux_assets.res b/tests/sav/linux_assets.res new file mode 100644 index 0000000..92405d4 --- /dev/null +++ b/tests/sav/linux_assets.res @@ -0,0 +1,2 @@ +../lib/mnit_linux/linux_app.nit:28,16--31: Redef Error: a virtual type cannot be refined. +../lib/mnit_linux/linux_app.nit:29,16--29: Redef Error: a virtual type cannot be refined. diff --git a/tests/sav/mnit_null.res b/tests/sav/mnit_null.res new file mode 100644 index 0000000..31c5498 --- /dev/null +++ b/tests/sav/mnit_null.res @@ -0,0 +1,3 @@ +GET injected_input_stream /dev/null +END OF INPUTS +END OF INPUT diff --git a/tests/sav/puzzle.res b/tests/sav/puzzle.res new file mode 100644 index 0000000..e8bb145 --- /dev/null +++ b/tests/sav/puzzle.res @@ -0,0 +1,27 @@ +Usage: puzzle [--configs] initial... + +--configs: search and time solutions with various configurations of solvers. +initial: an initial configuration (letters for the tiles, and dot for the hole). eg: + + 8-puzzle: + + goal (0): abcdefgh. + easy (4): abce.fdgh + medium (10): eabf.cdgh + hard (20): feacbh.dg + harder (31): hfgbedc.a + + 15-puzzle: + goal (0): abcdefghijklmno. + easy (30): bacdefghijlkmno. + medium (40): fg.jacoheldnibmk + hard (55): kleg.mondcafjhbi + harder (61): lomgkcend.afjhbi + + 24-puzzle: + goal (0): abcdefghijklmnopqrstuvwx. + easy (55): giabcjekmdhrtflqsownpuv.x + medium (75): giabcjekmdrtwulhs.vnqofpx + hard (79): giabcjekmdrtw.uhsvnlqofpx + harder (80): giabcjekmdrt.wuhsvnlqofpx + diff --git a/tests/sav/queens.res b/tests/sav/queens.res new file mode 100644 index 0000000..e3658cd --- /dev/null +++ b/tests/sav/queens.res @@ -0,0 +1,922 @@ +The 8-queens problem ++--------+ +|.......Q| +|...Q....| +|Q.......| +|..Q.....| +|.....Q..| +|.Q......| +|......Q.| +|....Q...| ++--------+ ++--------+ +|.......Q| +|..Q.....| +|Q.......| +|.....Q..| +|.Q......| +|....Q...| +|......Q.| +|...Q....| ++--------+ ++--------+ +|.......Q| +|.Q......| +|....Q...| +|..Q.....| +|Q.......| +|......Q.| +|...Q....| +|.....Q..| ++--------+ ++--------+ +|.......Q| +|.Q......| +|...Q....| +|Q.......| +|......Q.| +|....Q...| +|..Q.....| +|.....Q..| ++--------+ ++--------+ +|......Q.| +|....Q...| +|..Q.....| +|Q.......| +|.....Q..| +|.......Q| +|.Q......| +|...Q....| ++--------+ ++--------+ +|......Q.| +|...Q....| +|.Q......| +|.......Q| +|.....Q..| +|Q.......| +|..Q.....| +|....Q...| ++--------+ ++--------+ +|......Q.| +|...Q....| +|.Q......| +|....Q...| +|.......Q| +|Q.......| +|..Q.....| +|.....Q..| ++--------+ ++--------+ +|......Q.| +|..Q.....| +|.......Q| +|.Q......| +|....Q...| +|Q.......| +|.....Q..| +|...Q....| ++--------+ ++--------+ +|......Q.| +|..Q.....| +|Q.......| +|.....Q..| +|.......Q| +|....Q...| +|.Q......| +|...Q....| ++--------+ ++--------+ +|......Q.| +|.Q......| +|.....Q..| +|..Q.....| +|Q.......| +|...Q....| +|.......Q| +|....Q...| ++--------+ ++--------+ +|......Q.| +|.Q......| +|...Q....| +|Q.......| +|.......Q| +|....Q...| +|..Q.....| +|.....Q..| ++--------+ ++--------+ +|......Q.| +|Q.......| +|..Q.....| +|.......Q| +|.....Q..| +|...Q....| +|.Q......| +|....Q...| ++--------+ ++--------+ +|.....Q..| +|.......Q| +|.Q......| +|...Q....| +|Q.......| +|......Q.| +|....Q...| +|..Q.....| ++--------+ ++--------+ +|.....Q..| +|...Q....| +|......Q.| +|Q.......| +|.......Q| +|.Q......| +|....Q...| +|..Q.....| ++--------+ ++--------+ +|.....Q..| +|...Q....| +|......Q.| +|Q.......| +|..Q.....| +|....Q...| +|.Q......| +|.......Q| ++--------+ ++--------+ +|.....Q..| +|...Q....| +|.Q......| +|.......Q| +|....Q...| +|......Q.| +|Q.......| +|..Q.....| ++--------+ ++--------+ +|.....Q..| +|...Q....| +|Q.......| +|....Q...| +|.......Q| +|.Q......| +|......Q.| +|..Q.....| ++--------+ ++--------+ +|.....Q..| +|..Q.....| +|......Q.| +|...Q....| +|Q.......| +|.......Q| +|.Q......| +|....Q...| ++--------+ ++--------+ +|.....Q..| +|..Q.....| +|......Q.| +|.Q......| +|.......Q| +|....Q...| +|Q.......| +|...Q....| ++--------+ ++--------+ +|.....Q..| +|..Q.....| +|......Q.| +|.Q......| +|...Q....| +|.......Q| +|Q.......| +|....Q...| ++--------+ ++--------+ +|.....Q..| +|..Q.....| +|....Q...| +|.......Q| +|Q.......| +|...Q....| +|.Q......| +|......Q.| ++--------+ ++--------+ +|.....Q..| +|..Q.....| +|....Q...| +|......Q.| +|Q.......| +|...Q....| +|.Q......| +|.......Q| ++--------+ ++--------+ +|.....Q..| +|..Q.....| +|Q.......| +|.......Q| +|....Q...| +|.Q......| +|...Q....| +|......Q.| ++--------+ ++--------+ +|.....Q..| +|..Q.....| +|Q.......| +|.......Q| +|...Q....| +|.Q......| +|......Q.| +|....Q...| ++--------+ ++--------+ +|.....Q..| +|..Q.....| +|Q.......| +|......Q.| +|....Q...| +|.......Q| +|.Q......| +|...Q....| ++--------+ ++--------+ +|.....Q..| +|.Q......| +|......Q.| +|Q.......| +|...Q....| +|.......Q| +|....Q...| +|..Q.....| ++--------+ ++--------+ +|.....Q..| +|.Q......| +|......Q.| +|Q.......| +|..Q.....| +|....Q...| +|.......Q| +|...Q....| ++--------+ ++--------+ +|.....Q..| +|Q.......| +|....Q...| +|.Q......| +|.......Q| +|..Q.....| +|......Q.| +|...Q....| ++--------+ ++--------+ +|....Q...| +|.......Q| +|...Q....| +|Q.......| +|......Q.| +|.Q......| +|.....Q..| +|..Q.....| ++--------+ ++--------+ +|....Q...| +|.......Q| +|...Q....| +|Q.......| +|..Q.....| +|.....Q..| +|.Q......| +|......Q.| ++--------+ ++--------+ +|....Q...| +|......Q.| +|...Q....| +|Q.......| +|..Q.....| +|.......Q| +|.....Q..| +|.Q......| ++--------+ ++--------+ +|....Q...| +|......Q.| +|.Q......| +|.....Q..| +|..Q.....| +|Q.......| +|.......Q| +|...Q....| ++--------+ ++--------+ +|....Q...| +|......Q.| +|.Q......| +|.....Q..| +|..Q.....| +|Q.......| +|...Q....| +|.......Q| ++--------+ ++--------+ +|....Q...| +|......Q.| +|.Q......| +|...Q....| +|.......Q| +|Q.......| +|..Q.....| +|.....Q..| ++--------+ ++--------+ +|....Q...| +|......Q.| +|Q.......| +|...Q....| +|.Q......| +|.......Q| +|.....Q..| +|..Q.....| ++--------+ ++--------+ +|....Q...| +|......Q.| +|Q.......| +|..Q.....| +|.......Q| +|.....Q..| +|...Q....| +|.Q......| ++--------+ ++--------+ +|....Q...| +|..Q.....| +|.......Q| +|...Q....| +|......Q.| +|Q.......| +|.....Q..| +|.Q......| ++--------+ ++--------+ +|....Q...| +|..Q.....| +|Q.......| +|......Q.| +|.Q......| +|.......Q| +|.....Q..| +|...Q....| ++--------+ ++--------+ +|....Q...| +|..Q.....| +|Q.......| +|.....Q..| +|.......Q| +|.Q......| +|...Q....| +|......Q.| ++--------+ ++--------+ +|....Q...| +|.Q......| +|.......Q| +|Q.......| +|...Q....| +|......Q.| +|..Q.....| +|.....Q..| ++--------+ ++--------+ +|....Q...| +|.Q......| +|.....Q..| +|Q.......| +|......Q.| +|...Q....| +|.......Q| +|..Q.....| ++--------+ ++--------+ +|....Q...| +|.Q......| +|...Q....| +|......Q.| +|..Q.....| +|.......Q| +|.....Q..| +|Q.......| ++--------+ ++--------+ +|....Q...| +|.Q......| +|...Q....| +|.....Q..| +|.......Q| +|..Q.....| +|Q.......| +|......Q.| ++--------+ ++--------+ +|....Q...| +|Q.......| +|.......Q| +|.....Q..| +|..Q.....| +|......Q.| +|.Q......| +|...Q....| ++--------+ ++--------+ +|....Q...| +|Q.......| +|.......Q| +|...Q....| +|.Q......| +|......Q.| +|..Q.....| +|.....Q..| ++--------+ ++--------+ +|....Q...| +|Q.......| +|...Q....| +|.....Q..| +|.......Q| +|.Q......| +|......Q.| +|..Q.....| ++--------+ ++--------+ +|...Q....| +|.......Q| +|....Q...| +|..Q.....| +|Q.......| +|......Q.| +|.Q......| +|.....Q..| ++--------+ ++--------+ +|...Q....| +|.......Q| +|Q.......| +|....Q...| +|......Q.| +|.Q......| +|.....Q..| +|..Q.....| ++--------+ ++--------+ +|...Q....| +|.......Q| +|Q.......| +|..Q.....| +|.....Q..| +|.Q......| +|......Q.| +|....Q...| ++--------+ ++--------+ +|...Q....| +|......Q.| +|....Q...| +|..Q.....| +|Q.......| +|.....Q..| +|.......Q| +|.Q......| ++--------+ ++--------+ +|...Q....| +|......Q.| +|....Q...| +|.Q......| +|.....Q..| +|Q.......| +|..Q.....| +|.......Q| ++--------+ ++--------+ +|...Q....| +|......Q.| +|..Q.....| +|.......Q| +|.Q......| +|....Q...| +|Q.......| +|.....Q..| ++--------+ ++--------+ +|...Q....| +|......Q.| +|Q.......| +|.......Q| +|....Q...| +|.Q......| +|.....Q..| +|..Q.....| ++--------+ ++--------+ +|...Q....| +|.....Q..| +|.......Q| +|..Q.....| +|Q.......| +|......Q.| +|....Q...| +|.Q......| ++--------+ ++--------+ +|...Q....| +|.....Q..| +|.......Q| +|.Q......| +|......Q.| +|Q.......| +|..Q.....| +|....Q...| ++--------+ ++--------+ +|...Q....| +|.....Q..| +|Q.......| +|....Q...| +|.Q......| +|.......Q| +|..Q.....| +|......Q.| ++--------+ ++--------+ +|...Q....| +|.Q......| +|.......Q| +|.....Q..| +|Q.......| +|..Q.....| +|....Q...| +|......Q.| ++--------+ ++--------+ +|...Q....| +|.Q......| +|.......Q| +|....Q...| +|......Q.| +|Q.......| +|..Q.....| +|.....Q..| ++--------+ ++--------+ +|...Q....| +|.Q......| +|......Q.| +|....Q...| +|Q.......| +|.......Q| +|.....Q..| +|..Q.....| ++--------+ ++--------+ +|...Q....| +|.Q......| +|......Q.| +|..Q.....| +|.....Q..| +|.......Q| +|....Q...| +|Q.......| ++--------+ ++--------+ +|...Q....| +|.Q......| +|......Q.| +|..Q.....| +|.....Q..| +|.......Q| +|Q.......| +|....Q...| ++--------+ ++--------+ +|...Q....| +|.Q......| +|....Q...| +|.......Q| +|.....Q..| +|Q.......| +|..Q.....| +|......Q.| ++--------+ ++--------+ +|...Q....| +|Q.......| +|....Q...| +|.......Q| +|.....Q..| +|..Q.....| +|......Q.| +|.Q......| ++--------+ ++--------+ +|...Q....| +|Q.......| +|....Q...| +|.......Q| +|.Q......| +|......Q.| +|..Q.....| +|.....Q..| ++--------+ ++--------+ +|..Q.....| +|.......Q| +|...Q....| +|......Q.| +|Q.......| +|.....Q..| +|.Q......| +|....Q...| ++--------+ ++--------+ +|..Q.....| +|......Q.| +|.Q......| +|.......Q| +|.....Q..| +|...Q....| +|Q.......| +|....Q...| ++--------+ ++--------+ +|..Q.....| +|......Q.| +|.Q......| +|.......Q| +|....Q...| +|Q.......| +|...Q....| +|.....Q..| ++--------+ ++--------+ +|..Q.....| +|.....Q..| +|.......Q| +|.Q......| +|...Q....| +|Q.......| +|......Q.| +|....Q...| ++--------+ ++--------+ +|..Q.....| +|.....Q..| +|.......Q| +|Q.......| +|....Q...| +|......Q.| +|.Q......| +|...Q....| ++--------+ ++--------+ +|..Q.....| +|.....Q..| +|.......Q| +|Q.......| +|...Q....| +|......Q.| +|....Q...| +|.Q......| ++--------+ ++--------+ +|..Q.....| +|.....Q..| +|...Q....| +|.Q......| +|.......Q| +|....Q...| +|......Q.| +|Q.......| ++--------+ ++--------+ +|..Q.....| +|.....Q..| +|...Q....| +|Q.......| +|.......Q| +|....Q...| +|......Q.| +|.Q......| ++--------+ ++--------+ +|..Q.....| +|.....Q..| +|.Q......| +|......Q.| +|....Q...| +|Q.......| +|.......Q| +|...Q....| ++--------+ ++--------+ +|..Q.....| +|.....Q..| +|.Q......| +|......Q.| +|Q.......| +|...Q....| +|.......Q| +|....Q...| ++--------+ ++--------+ +|..Q.....| +|.....Q..| +|.Q......| +|....Q...| +|.......Q| +|Q.......| +|......Q.| +|...Q....| ++--------+ ++--------+ +|..Q.....| +|....Q...| +|.......Q| +|...Q....| +|Q.......| +|......Q.| +|.Q......| +|.....Q..| ++--------+ ++--------+ +|..Q.....| +|....Q...| +|......Q.| +|Q.......| +|...Q....| +|.Q......| +|.......Q| +|.....Q..| ++--------+ ++--------+ +|..Q.....| +|....Q...| +|.Q......| +|.......Q| +|.....Q..| +|...Q....| +|......Q.| +|Q.......| ++--------+ ++--------+ +|..Q.....| +|....Q...| +|.Q......| +|.......Q| +|Q.......| +|......Q.| +|...Q....| +|.....Q..| ++--------+ ++--------+ +|..Q.....| +|Q.......| +|......Q.| +|....Q...| +|.......Q| +|.Q......| +|...Q....| +|.....Q..| ++--------+ ++--------+ +|.Q......| +|.......Q| +|.....Q..| +|Q.......| +|..Q.....| +|....Q...| +|......Q.| +|...Q....| ++--------+ ++--------+ +|.Q......| +|......Q.| +|....Q...| +|.......Q| +|Q.......| +|...Q....| +|.....Q..| +|..Q.....| ++--------+ ++--------+ +|.Q......| +|......Q.| +|..Q.....| +|.....Q..| +|.......Q| +|....Q...| +|Q.......| +|...Q....| ++--------+ ++--------+ +|.Q......| +|.....Q..| +|.......Q| +|..Q.....| +|Q.......| +|...Q....| +|......Q.| +|....Q...| ++--------+ ++--------+ +|.Q......| +|.....Q..| +|Q.......| +|......Q.| +|...Q....| +|.......Q| +|..Q.....| +|....Q...| ++--------+ ++--------+ +|.Q......| +|....Q...| +|......Q.| +|...Q....| +|Q.......| +|.......Q| +|.....Q..| +|..Q.....| ++--------+ ++--------+ +|.Q......| +|....Q...| +|......Q.| +|Q.......| +|..Q.....| +|.......Q| +|.....Q..| +|...Q....| ++--------+ ++--------+ +|.Q......| +|...Q....| +|.....Q..| +|.......Q| +|..Q.....| +|Q.......| +|......Q.| +|....Q...| ++--------+ ++--------+ +|Q.......| +|......Q.| +|....Q...| +|.......Q| +|.Q......| +|...Q....| +|.....Q..| +|..Q.....| ++--------+ ++--------+ +|Q.......| +|......Q.| +|...Q....| +|.....Q..| +|.......Q| +|.Q......| +|....Q...| +|..Q.....| ++--------+ ++--------+ +|Q.......| +|.....Q..| +|.......Q| +|..Q.....| +|......Q.| +|...Q....| +|.Q......| +|....Q...| ++--------+ ++--------+ +|Q.......| +|....Q...| +|.......Q| +|.....Q..| +|..Q.....| +|......Q.| +|.Q......| +|...Q....| ++--------+ +Found 92 solutions