source: examples/python_tests/partial_proof_rt1 @ 11ca336

Name	Size	Rev	Age	Author	Last Change
../
setup.py	921 bytes ​	da73657	12 years	Mei	1) example for partial proof
run_test	792 bytes ​	11ca336	11 years	Mei	1) tweak example's output
rocket.save	3.0 KB ​	f2d67a5	12 years	Mei	1) put back that yap info line in the saved example output
README	1.7 KB ​	da73657	12 years	Mei	1) example for partial proof
query.py	4.8 KB ​	da73657	12 years	Mei	1) example for partial proof
dump_db.py	430 bytes ​	da73657	12 years	Mei	1) example for partial proof
attr.py	4.7 KB ​	da73657	12 years	Mei	1) example for partial proof

Property mode set to 040000