source: examples/python_tests/partial_proof_rt1 @ 446b3ce

Name	Size	Rev	Age	Author	Last Change
../
setup.py	921 bytes ​	da73657	12 years	Mei	1) example for partial proof
run_test	778 bytes ​	05acf45	12 years	Mei	1) make diff skip that "Restoring file" output line that appears when …
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