suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Rackety

Browse Source
This commit is contained in:
Robby Findler 2012-02-06 09:13:26 -06:00
parent b3584fff5c
commit 811a9227c3
1 changed files with 7 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
collects/redex/examples/r6rs/README
View File

@ -2,24 +2,24 @@ This directory a the PLT Redex implementation of the
R6RS operational semantics and a test suite for the
semantics.
== r6rs.ss: the semantics itself.
== r6rs.rkt: the semantics itself.
== r6rs-tests.ss: the test suite for the semantics. Use:
== r6rs-tests.rkt: the test suite for the semantics. Use:
racket -t r6rs-tests.ss -m
racket -t r6rs-tests.rkt -m
to run the tests and see a single period shown per test
run (each test that explores more than 100 states shows a
colon for each 100 states it explores). To see a more
verbose output (that shows each test), use:
racket -t r6rs-tests.ss -m #t
racket -t r6rs-tests.rkt -m #t
== show-examples.ss: use this file to explore particular
== show-examples.rkt: use this file to explore particular
examples in a GUI. Its content shows how to use it and
gives a few examples. Either run it in DrRacket's module
language, or like this from the commandline:
gracket show-examples.ss
gracket show-examples.rkt
== test.ss: test suite infrastructure
== test.rkt: test suite infrastructure