source: examples/python_tests/acme_rockets_rt0 @ 669b481

Name	Size	Rev	Age	Author	Last Change
../
attr.py	1.4 KB ​	5f551d3	12 years	Mei	1) add more python examples
query.py	1.9 KB ​	5f551d3	12 years	Mei	1) add more python examples
README	1.4 KB ​	5f551d3	12 years	Mei	1) add more python examples
rocket.save	550 bytes ​	5f551d3	12 years	Mei	1) add more python examples
run_test	777 bytes ​	669b481	12 years	Mei	1) finish test conversion from creddy-prover to python 2) update the …
setup.py	369 bytes ​	5f551d3	12 years	Mei	1) add more python examples

Property mode set to 040000