Python make_nat_value Examples

Programming Language: Python

Namespace/Package Name: tvm.relay.testing

Method/Function: make_nat_value

Examples at hotexamples.com: 2

Python make_nat_value - 2 examples found. These are the top rated real world Python examples of tvm.relay.testing.make_nat_value extracted from open source projects. You can rate examples to help us improve the quality of examples.

Example #1

Show file

File: test_adt.py Project: wujiaqi6630/tvm_1004

def test_nat_value():
    assert count(make_nat_value(p, 10)) == 10
    assert count(intrp.evaluate(s(s(z())))) == 2

Example #2

Show file

def test_nat_value():
    assert count(make_nat_value(p, 10)) == 10
    assert count(eval(s(s(z())))) == 2