Thanks to visit codestin.com
Credit goes to github.com

Skip to content

adsharma/Typpete

 
 

Repository files navigation

Typpete

SMT-based Static Type Inference for Python 3.x

Installation

Typpete has been tested with Python 3.5+ To install, follow these steps:

  • pip install .

Usage

You can run the inference with the following command

$ typpete --help
$ typpete [flags] <filename>

Example:

$ typpete test.py  # writes output to inference_output
$ typpete -l DEBUG test.py  # additional log messages
$ typpete -i test.py  # overwrite source. WARNING: This could lose comments and formatting!
# test.py
def foo(a):
    i = 200
    a["foo"] = 10
    return i

produces:

from typing import Dict

def foo(a: Dict[(str, int)]) -> int:
    i: int = 200
    a['foo'] = 10
    return i

About

No description, website, or topics provided.

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages

  • Python 100.0%