1.1 --- a/README.txt Mon Jul 08 00:37:20 2013 +0200
1.2 +++ b/README.txt Sun Oct 06 20:59:52 2013 +0200
1.3 @@ -36,10 +36,9 @@
1.4 -----------
1.5
1.6 Currently, the test.py program is the principal means of compiling and running
1.7 -code. For example, to inspect the logical.py test program (with all
1.8 -optimisations enabled)...
1.9 +code. For example, to inspect the logical.py test program...
1.10
1.11 - python -i test.py tests/logical.py -m -omax
1.12 + python -i test.py tests/logical.py -m
1.13
1.14 ...will provide a number of objects which can then be inspected, notably the
1.15 rm (RSVP machine) object which provides the following methods:
1.16 @@ -51,22 +50,11 @@
1.17
1.18 To run a test and check the output, specify the -t option:
1.19
1.20 - python test.py tests/logical.py -t -omax
1.21 + python test.py tests/logical.py -t
1.22
1.23 To run all tests, use the test_all.py program:
1.24
1.25 - python test_all.py -omax
1.26 -
1.27 -Both programs support optimisations either using the -o flag immediately
1.28 -followed (no space or separator) by a comma-separated list of options (defined
1.29 -in the docs/optimisations.txt document) or by specifying -omax to apply all
1.30 -possible optimisations.
1.31 -
1.32 -It is generally recommended to apply all possible optimisations when
1.33 -generating programs as this dramatically reduces the size of the program and
1.34 -accompanying structures, and it also makes the code generation process
1.35 -substantially faster. Optimisations should not cause programs to fail: they
1.36 -should all always be "safe" to apply.
1.37 + python test_all.py
1.38
1.39 Program Reports/Summaries
1.40 -------------------------
1.41 @@ -75,7 +63,7 @@
1.42 modules present in a given program, with each module's code annotated with
1.43 scope, attribute and inferred type information. For example:
1.44
1.45 - python test.py tests/logical.py -omax -d logical_report
1.46 + python test.py tests/logical.py -d logical_report
1.47
1.48 This should produce a number of files in the logical_report directory.
1.49