Method test_func_entry_num_args

tests/test_z3_ported.py:4388–4390

(self)

class TestFuncInterpEntry:
    def test_func_entry_num_args(self):
        e = FuncEntry()
        assert e.num_args() == 0

    def test_func_entry_as_list(self):
        e = FuncEntry()