GitXplorerGitXplorer
M

syntax-checker-checker

public
1 stars
0 forks
0 issues

Commits

List of commits on branch master.
Unverified
02518271745a801f94dc88000cfae6d7c4a65d31

Create README.md

committed 8 years ago
Unverified
e0fb8b99c7aef0a28dd9b998a8a751567821aa56

Remove debug output

committed 8 years ago
Unverified
249db8efb38bcc41b22d3e7cbc184b5be3fb0264

Bugfix

committed 8 years ago
Unverified
a67cdd419ec6308b75c17c0dae92e3e18b1190c3

Added restrictions as command line arguments

committed 9 years ago
Unverified
2e3d316cf060a11a85986b5fa3410850944458e0

Bugfixes

committed 9 years ago
Unverified
55c36682d122eeefd2487bdc56a2101b855044d2

Merge https://github.com/MathiasVP/syntax-checker-checker

committed 9 years ago

README

The README file for this repository.

syntax-checker-checker

Testing syntax checkers for the Programming Language course at Aarhus University

Usage

Mathiass-MacBook-Pro:TestSyntaxChecker mathias$ ./main
main: Usage:         path/to/syntax/checker.scm pos|neg n [restrics]
       	pos:         Run positive tests
       	neg:   		 Run negative tests
       	n:     		 Number of tests
       	size > 0:    Maximum size for largest testcase
       	[restricts]: Do not generate these syntactic constructs.
       	The possible values are:
       		-toplevelform
       		-toplevel-definition
       		-toplevel-expression
       		-expression
       		-number
       		-boolean
       		-char
       		-string
       		-time
       		-if
       		-and
       		-or
       		-cond
       		-case
       		-let
       		-let*
       		-letrec
       		-begin
       		-unless
       		-quote
       		-application
       		-variable
       		-cond-clause-immediate
       		-cond-clause-guarded
       		-cond-clause-guarded-impl
       		-case-clause
       		-let-binding
       		-let*-binding
       		-letrec-binding
       		-trace-lambda
       		-lambda
       		-quote-number
       		-quote-boolean
       		-quote-char
       		-quote-string
       		-quote-symbol
       		-quote-empty
       		-quote-pair

Note

Negative testcase generation is currently bugged :(