Commit 56014144 authored by Guy Watson's avatar Guy Watson
Browse files

DRY off binops

parent 17bf60bf
......@@ -52,29 +52,29 @@
[LiteralInt Expr ([v = (random 10000)])
#:prop choice-weight 3]
[Noop Expr ([e : Expr])]
[Binop Expr () ;; use l and r here
[Binop Expr ([l : Expr] [r : Expr]) ;; use l and r here
#:prop choice-weight 30 ;; default is 10
#:prop may-be-generated #f]
[Equal Binop ([l : Expr] [r : Expr])]
[NotEqual Binop ([l : Expr] [r : Expr])]
[Addition Binop ([l : Expr] [r : Expr])]
[Subtraction Binop ([l : Expr] [r : Expr])]
[Multiplication Binop ([l : Expr] [r : Expr])]
[DivisionSigned Binop ([l : Expr] [r : Expr])]
[DivisionUnsigned Binop ([l : Expr] [r : Expr])]
[LessThanSigned Binop ([l : Expr] [r : Expr])]
[LessThanUnsigned Binop ([l : Expr] [r : Expr])]
[GreaterThanSigned Binop ([l : Expr] [r : Expr])]
[GreaterThanUnsigned Binop ([l : Expr] [r : Expr])]
[LessThanOrEqualSigned Binop ([l : Expr] [r : Expr])]
[LessThanOrEqualUnsigned Binop ([l : Expr] [r : Expr])]
[GreaterThanOrEqualSigned Binop ([l : Expr] [r : Expr])]
[GreaterThanOrEqualUnsigned Binop ([l : Expr] [r : Expr])]
[RemainderSigned Binop ([l : Expr] [r : Expr])]
[RemainderUnsigned Binop ([l : Expr] [r : Expr])]
[And Binop ([l : Expr] [r : Expr])]
[Or Binop ([l : Expr] [r : Expr])]
[Xor Binop ([l : Expr] [r : Expr])]
[Equal Binop ()]
[NotEqual Binop ()]
[Addition Binop ()]
[Subtraction Binop ()]
[Multiplication Binop ()]
[DivisionSigned Binop ()]
[DivisionUnsigned Binop ()]
[LessThanSigned Binop ()]
[LessThanUnsigned Binop ()]
[GreaterThanSigned Binop ()]
[GreaterThanUnsigned Binop ()]
[LessThanOrEqualSigned Binop ()]
[LessThanOrEqualUnsigned Binop ()]
[GreaterThanOrEqualSigned Binop ()]
[GreaterThanOrEqualUnsigned Binop ()]
[RemainderSigned Binop ()]
[RemainderUnsigned Binop ()]
[And Binop ()]
[Or Binop ()]
[Xor Binop ()]
[Unop Expr ()
#:prop choice-weight 20
#:prop may-be-generated #f]
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment