Ejemplos de make_nat_value en Python

Lenguaje de programación: Python

Namespace/Package Name: tvm.relay.testing

Método / Función: make_nat_value

Ejemplos en hotexamples.com: 2

Python make_nat_value - 2 ejemplos encontrados. Estos son los ejemplos en Python del mundo real mejor valorados de tvm.relay.testing.make_nat_value extraídos de proyectos de código abierto. Puedes valorar ejemplos para ayudarnos a mejorar la calidad de los ejemplos.

Ejemplo n.º 1

Mostrar archivo

Archivo: test_adt.py Proyecto: wujiaqi6630/tvm_1004

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

Ejemplo n.º 2

Mostrar archivo

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