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

Change probabilities back to roughly what they were before testing and bugs

parent c49b6ea4
...@@ -77,11 +77,9 @@ ...@@ -77,11 +77,9 @@
#:prop choice-weight 20 #:prop choice-weight 20
#:prop may-be-generated #f] #:prop may-be-generated #f]
[Testop Expr ([expr : Expr]) ;;Testops take one operand but return a boolean (i32) [Testop Expr ([expr : Expr]) ;;Testops take one operand but return a boolean (i32)
#:prop choice-weight 50
#:prop may-be-generated #f] #:prop may-be-generated #f]
[Addition Binop () [Addition Binop ()]
#:prop choice-weight 50]
[Subtraction Binop ()] [Subtraction Binop ()]
[Multiplication Binop ()] [Multiplication Binop ()]
[Division Binop ([sign = (choose-random-sign)])] ;;These signs only matter for ints, not floats [Division Binop ([sign = (choose-random-sign)])] ;;These signs only matter for ints, not floats
...@@ -147,14 +145,14 @@ ...@@ -147,14 +145,14 @@
[alignment = (random 4)]) [alignment = (random 4)])
#:prop choice-weight 3] #:prop choice-weight 3]
[LocalGet Expr ([index]) [LocalGet Expr ([index])
#:prop choice-weight 0] ;;todo Change these over to the xsmith reference system once random reference increases are implemented by William #:prop choice-weight 5] ;;todo Change these over to the xsmith reference system once random reference increases are implemented by William
[LocalSet Expr ([val : Expr] [LocalSet Expr ([val : Expr]
[index] [index]
[expr : Expr]) [expr : Expr])
#:prop choice-weight 0] #:prop choice-weight 5]
[LocalTee Expr ([val : Expr] [LocalTee Expr ([val : Expr]
[index]) [index])
#:prop choice-weight 0] #:prop choice-weight 5]
[GlobalDeclaration #f ([name] [GlobalDeclaration #f ([name]
[type] [type]
[initialvalue : Literal]) [initialvalue : Literal])
...@@ -187,7 +185,7 @@ ...@@ -187,7 +185,7 @@
[ForLoop Expr ([initial : Literal] [ForLoop Expr ([initial : Literal]
[loopvar : GlobalSet] [loopvar : GlobalSet]
[loopbody : Expr]) [loopbody : Expr])
#:prop choice-weight 30] #:prop choice-weight 10]
) )
......
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