diff options
Diffstat (limited to 'systemtest/testcases_mandatory/test_select/oracle/unary_induction.rasql')
-rw-r--r-- | systemtest/testcases_mandatory/test_select/oracle/unary_induction.rasql | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/systemtest/testcases_mandatory/test_select/oracle/unary_induction.rasql b/systemtest/testcases_mandatory/test_select/oracle/unary_induction.rasql new file mode 100644 index 0000000..00fe3ec --- /dev/null +++ b/systemtest/testcases_mandatory/test_select/oracle/unary_induction.rasql @@ -0,0 +1 @@ + @ @H@ @HH@ @HHH@ @H""@ @H"""@@ @H"""H@ @H""""H@ @H""""""@@ @HH"""""@ @HH"""""""@ @HH""""""""@ @HHH""""""""@ @HHH""""""""""@ @HHHH"""""""""@ @HHHH""""""""""@ @HHHHH"""""""""" @HHHHHH""""""""""@ @HHHHHHH""""""""""@ @HHHHHHH""""""""""@ @HHHHHHH""""""""""" @HHHHHHHHH""""""""""@ @HHHHHHHHH""""""""""@ @HHHHHHHHHH""""""""""" @HHHHHHHHHH""""""""""" @HHHHHHHHHHH"""""""""""@ @HHHHHHHHHHHH""""""""""@ @\HHHHHHHHHHHH""""""""""" @\HHHHHHHHHHHH""""""""""" \\HHHHHHHHHHHH"""""""""""@ @\\HHHHHHHHHHHH"""""""""""@ @\\HHHHHHHHHHHH""""""""""""" \\\\HHHHHHHHHHH""""""""""""" @\\\\HHHHHHHHHH""""""""""""""@ @\\\\\HHHHHHHHH""""""""""""""@ \\\\\\HHHHHHHHH""""""""""""""" \\\\\\\HHHHHHHH""""""""""""""" @\\\\\\\HHHHHHHH""""""""""""H@ \\\\\\\\HHHHHHHH""""HHHHHHHHH@ @\\\\\\\\HHHHHHHH"""HHHHHHHHHHH@ @\\\\\\\\HHHHHHHH""HHHHHHHHHHHH@ @\\\\\\\\HHHHHHH"""HHHHHHHHHHHH@ \\\\\\\\\HHHHHHH"""HHHHHHHHHHHHH@ @\\\\\\\\\\HHHHHH""""HHHHHHHH"HHH@ @\\\\\\\\\\HHHHHH""""HHHHHHH""HHHH@ \\\\\\\\\\\HHHHHH""""HHHHHHH"HHHHHH@ \\\\\\\\\\\HHHHHH""""HHHHHHH"HHHHHH@ @\\\\\\\\\\\HHHHHH""""HHHHHH""HHHHHHH@ @\\\\\\H\\\\HHHHHH"""""HHHHHH""HHHHHHHH@ \\\\\\\H\\\\HHHHHH""""""HHHHH""HHHHHHHH@ @\\\\\\H\\\\HHHHH"""""""HHHHH""HHHHHHHHH@ @\\\\\\H\\\\HHHHH"""""""HHHHH""HHHHHHHHHH@ @\\\\\\\H\\\HHHHH""""""HHHH""HHHHHHHHHHHH@ @H\\\\\\H\\\HHHHH""""""HHHH""HHHHHHHHHHHHH@ @H\\\\\\H\\\HHHHH""""""HHHH""HHHHHHHHHHHHH@ @HH\\\\\H\\\HHHHH""""""HHHH""HHHHHHHHHHHHHH@ @HH\\\\\HH\\HHHH"""""""HHHH""HHHHH"HHHHHHHHH@ @HH\\\\\HH\\HHHH"""""""HHH"""HHHHH"HHHHHHHHH@ @HH\\\\\HH\\HHHH"""""""HHH""HHHHHH"HHHHHHHHHH@ @HHHH\\\\\HH\HHHH"""""""HH"""HHHHHH"HHHHHHHHHH@ @HHHH\\\\\HHHHHHHH""""""HH""HHHHHH""HHHHHHHHHHH@ @HHHH\\\\\HHHHHHHH"""""HHH""HHHHHH""HHHHHHHHHHH@ @HHHH\\\\\HHHHHHHH""""""HH""HHHHHHH""HHHHHHHHHHHH@ @HHH"\\\\\HHHHHHHH""""""HH""HHHHHHH""HHHHHHHHHHHH@ @HH""\\\\\\HHHHHHH""""""HH"HHHHHHH"""HHHHHHHHHHHH@ @HHH""\\\\\\HHHHHHH""""""HHHHHHHHHH""HHHHHHHHHHHHHH@ @HHH""H\\\\\HHHHHHH""""""HHHHHHHHHH""HHHHHHHHHHHHHH@ @HHH""H\\\\\HHHHHHH"""""HHHHHHHHH""HHHHHHHHHHHHHHH@ @HHH"""\\\\\HHHHHHH"""""HHHHHHHHH""HHHHHHHHHHHHHHH"@ @HHHHH""H\\\\HHHHHHH"""""HHHHHHHH""HHHHHHHHHHHHHHHH"@ @HHHHH""H\\\\\HHHHH"""""""HHHHHHHH""HHHHHHHHHHHHHHHH"" @HHHHH"""\\\\\HHHHH"""""""HHHHHHH"""HHHHHHHHHHHHHHH""" @HHHHHH""H\\\\HHHHH""""""""HHHHHH""HHHHHHHHHHHHHHHH""" @HHHHHHH""HH\\HHHHHH"""""""HHHHH"""HHHHHHHHHHHHHHHH"""@ @HHHHHHH"""H\\HHHHHH"""""""HHHHH"""HHHHHHHHHHHHHHHH"""@ @HHHHHHHH""HHHHHHHHH"""""""HHHHH""HHHHHHHHHHHHHHHH""""" @HHHHHHHHH""HHHHHHHHH"""""""HHHH"""HHHHHHHHHHHHHHHH""""" @HHHHHHHHH"""HHHHHHHH"""""""HHHH""HHHHHHHHHHHHHHHHH""""" @HHHHHHHHHH""HHHHHHHH"""""""HHH"""HHHHHHHHHHHHHHHH"""""" @HHHHHHHHHH""HHHHHHHH""""""""HHH""HHHHHHHHHHHHHHHH""""""" @HHHHHHHHHHH"""HHHHHHH""""""""HHH""HHHHHHHHHHHHHHH"""""""" @HHHHHHHHHHHH""HHHHHHH""""""""HHH""HHHHHHHHHHHHHH""""""""@ @HHHHHHHHHHHHH""HHHHHH""""""""HHH"HHHHHHHHHHHHH""""""""""@ @HHHHHHHHHHHHH""HHHHHH""""""""HHHHHHHHHHHHHHH""""""""""""@ @HHHHHHHHHHHHHH"""HHHH""""""""HHHHHHHHHHHHHH"""""""""""""@ @HHHHHHHHHHHHHHH""HHHH""""""""HHHHHHHHHHHHH"""""""""""""" @HHHHHHH"HHHHHHHH"HHHH""""""""HHHHHHHHHHHH""""""""""""""@ @HHHHHHH"HHHHHHHHHHHHH"""""""""HHHHHHHHHH"""""""""""""""@ @HHHHHHHHH"HHHHHHHHHHHH"""""""""HHHHHHHHH""""""""""""""""@ @HHHHHHHHH"HHHHHHHHHHHHH""""""""HHHHHHHH""""""""""""""""" @HHHHHHHHH""HHHHH\HHHHHH"""""""""HHHHHHHH""""HHHHHH"H""""@ @HHHHHHHHH""HHHHH\\HHHHH"""""""""HHHHHHH""""HHHHHHHH"""""@ @HHHHHHHHHH""HHH\\\HH"HH""""""""HHHHHHHH"""HHHHHHH"HH"""" @HHHHHHHHHH""HHH\\\\H""H"""""""HHHHHHH"""HHHHHHH""HH"""" @HHHHHHHHHH"""HH\\\\HH"""""""""HHHHHHH"HHHHHHHHH"HHH"""@ @HHHHHHHHHHH""HH\\\\\H"""""""""HHHHHHHHHHHHHHHH""HHH"""@ @HHHHHHHHHHHHH""HH\\\\HH""""""""HHHHHHHHHHHHHHHH""HHHH"" @HHHHHHHHHHHHH""HH\\\\HH""""""""HHHHHHHHHHHHHHHH""HHHH"" @HHHHHHHHHHHHHH""H\\\\\HH""""""HHHHHHHHHHHHHHHH""HHHH"" @HHHHHHHHHHHHHH""H\\\\\HH"""""HHHHHHHHHHHHHHH"""HHHHH@ @HHHHHHHHHHHHHHH""\\\\\HH"""""HHHHHHHHHHHHHHH""HHHHHH@ @HHHHHHHH"HHHHHH""\\\\\HHH"""""HHHHHHHHHHHHHHH""HHHHHH@ @HHHHHHHH"HHHHHHH"\\\\\\HH"""""HHHHHHHHHHHHHH""HHHHHHH@ @HHHHHHHH""HHHHHH"\\\\\\HH""""""HHHHHHHHHHHHHH""HHHHHHH@ @HHHHHHHH""HHHHHH""\\\\\HH""""""HHHHHHHHH\\HH"""HHHHHHH@ @HHHHHHHH"""HHHHHH"\\\\\HH""""""HHHHHHHH\\\\H""HHHHHHHH@ @HHHHHHHHH""HHHHHH"\\\\HHH"""""HHHHHHH\\\\\""HHHHHHHHH@ @@@@@@@@@ @HHHHHHHHH""HHHHHHH\\\\HHH"""""HHHHHHH\\\\\"HHHHHHHHHH@ @@@@@@@@@@ @@@"@@@ @HHHHHHHHHH"HHHHHHH\\\\HHH"""""HHHHHH\\\\\\H\\HHHHHHHH@ @@@"@ @@@@@@ @HHHHHHHHHH""HHHHHHH\\HHHH"""""HHHHH\\\\\\H\\\HHHHHHHHH@ @@@""""""@ @@@@@@@@ @@@@@ @HHHHHHHHHH""HHHH\HHH\HHHH""""HHHHHH\\\\\\\\\\\HHHHHHHH" @@@""""""""""""""@@@@@@""""""""""""""""""""""""""""@@ @HHHHHHHHHH""HHH\\\HHHHHH"""""HHHHHH\\\\\\\\\\\\HHHHHHH" @""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""@@ @@@@@@@@@@@@@@@@@ @HHHHHHHHHH""HHH\\\HHHHHH"""""HHHHH\\\\\\\\\\\\\HHHH"HH"@ @"""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""@@ @@@@@66‚‚‚‚‚‚‚‚‚‚‚‚‚66@@@@@ @HHHHHHHHHH"""HH\\\HHH"HH""""""HHHHH\\\\\\\\\\\\\HHH""HH"" @"""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""@@ @@@6‚‚‚‚‚‚‚‚‚‚‚‚‚‚‚‚‚‚‚‚‚‚‚‚66@@@ @HHHHHHHHHHH""HH\\\\HH""H""""""HHHH\\\"\\\\\\\\\\HHH""HH"" @"""""""""""""""""""""""""""HHHHHHHHHHHHHH"""""""HHHHHHHHHHHHHHHHHHHHHH"""""""""""""@@@6‚‚‚‚‚‚‚‚‚‚‚‚‚‚‚‚‚‚‚‚‚‚‚‚‚‚‚‚‚‚66@@@ @HHHHHHHHHHH"""H\\\\HHH""""""""HHHH\\\"\\\\\\\\\\HH""HHH""@ @"""""""""""""""""""""""""""""""HHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHH"""""""""""@@@6‚‚‚‚‚‚‚‚6666 |