GitHub - XixianLiang/AutoProp: Automatic property extraction (developing)

Info

This project is under developing. For automatic property generation.

Name		Name	Last commit message	Last commit date
Latest commit History 708 Commits
droidbot		droidbot
script_samples		script_samples
.gitignore		.gitignore
LICENSE		LICENSE
README.md		README.md
cached_events.txt		cached_events.txt
example.json		example.json
failed_to_reach_states.json		failed_to_reach_states.json
node_converting.py		node_converting.py
setup.cfg		setup.cfg
setup.py		setup.py
sm.py		sm.py
start.py		start.py
start.sh		start.sh
testing.py		testing.py
utils.py		utils.py