source: examples/python_tests/access_rt2 @ c3c73bd

Name	Size	Rev	Age	Author	Last Change
../
access.save	685 bytes ​	bf68132	12 years	Mei	1) get example directory to work with yap with use_malloc option 2) …
attr.py	4.7 KB ​	646e57e	12 years	Mei	1) add partial proof
query.py	3.1 KB ​	646e57e	12 years	Mei	1) add partial proof
README	1.8 KB ​	bde4e91	12 years	Mei	1) add creddy_internal.h
run_test	692 bytes ​	f824a9e	12 years	Mei	1) add more doc to python_tests
setup.py	398 bytes ​	08c8a53	12 years	Mei	1) take out accidentally committed setup.py changes

Property mode set to 040000