Diff of /Test/examples/learn_pyke.tst [2aac52] .. [2922d1] Maximize Restore

  Switch to unified view

a/Test/examples/learn_pyke.tst b/Test/examples/learn_pyke.tst
...
...
5
    >>> import os
5
    >>> import os
6
    >>> new_path = os.path.join(os.path.dirname(os.path.dirname(pyke.__file__)),
6
    >>> new_path = os.path.join(os.path.dirname(os.path.dirname(pyke.__file__)),
7
    ...                         'examples/learn_pyke')
7
    ...                         'examples/learn_pyke')
8
    >>> sys.path.append(new_path)
8
    >>> sys.path.append(new_path)
9
9
10
    >>> import run
10
    >>> import driver
11
    >>> from io import StringIO
11
    >>> from io import StringIO
12
    >>> import sys
12
    >>> import sys
13
13
14
    >>> sys.stdin = StringIO('8\n2\n2\n13\n')
14
    >>> sys.stdin = StringIO('8\n2\n2\n13\n')
15
    >>> run.run()
15
    >>> driver.run()
16
    ______________________________________________________________________________
16
    ______________________________________________________________________________
17
    Assume that the following two patterns are contained in different rules
17
    Assume that the following two patterns are contained in different rules
18
    and that none of the pattern variables are initially bound to values:
18
    and that none of the pattern variables are initially bound to values:
19
    <BLANKLINE>
19
    <BLANKLINE>
20
    pattern 1: ((ho, $_, ($a, $a)), ($a, $a, $b), ($a, *$b))
20
    pattern 1: ((ho, $_, ($a, $a)), ($a, $a, $b), ($a, *$b))