Exemple #1
0
def testTooManyArgs():
    ripl = get_ripl()
    assert_ripl_annotation_succeeds(ripl.predict, '(- 1 1 1)')
Exemple #2
0
def testExceptionAnnotated():
    ripl = get_ripl()
    assert_ripl_annotation_succeeds(ripl.predict, 'a')
Exemple #3
0
def testTooFewArgs():
    ripl = get_ripl()
    assert_ripl_annotation_succeeds(ripl.predict, '(-)')
Exemple #4
0
def testLargeStack():
    ripl = get_ripl()
    ripl.assume('f', '(lambda (i) (if (= i 0) a (f (- i 1))))')
    assert_ripl_annotation_succeeds(ripl.predict, '(f 20)')
Exemple #5
0
def testLambda():
    ripl = get_ripl()
    ripl.assume('err', '(lambda () a)')
    assert_ripl_annotation_succeeds(ripl.predict, '(err)')
Exemple #6
0
def testNoSPRef():
    ripl = get_ripl()
    assert_ripl_annotation_succeeds(ripl.predict, '(1 + 1)')
Exemple #7
0
def testSymbolNotFound():
    ripl = get_ripl()
    assert_ripl_annotation_succeeds(ripl.predict, 'a')