nitlanguage / nit.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 615fd2f)
tests: add more .res (or skip) for some libs
authorJean Privat <jean@pryen.org>
Thu, 28 Aug 2014 20:06:10 +0000 (16:06 -0400)
committerJean Privat <jean@pryen.org>
Fri, 29 Aug 2014 03:31:04 +0000 (23:31 -0400)
Signed-off-by: Jean Privat <jean@pryen.org>

tests/cc.skip patch | blob | history
tests/exec.skip patch | blob | history
tests/sav/linux_app.res [new file with mode: 0644] patch | blob
tests/sav/linux_assets.res [new file with mode: 0644] patch | blob
tests/sav/mnit_null.res [new file with mode: 0644] patch | blob
tests/sav/puzzle.res [new file with mode: 0644] patch | blob
tests/sav/queens.res [new file with mode: 0644] patch | blob

diff --git a/tests/cc.skip b/tests/cc.skip
index 82cd3d0..2e20b7e 100644 (file)
--- 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 (file)
--- 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 (file)
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 (file)
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 (file)
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 (file)
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 (file)
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
Nit language project; an oo programing language and its tool suite.