source: examples/python_tests/acme_friend_rt1 @ 669b481

Name	Size	Rev	Age	Author	Last Change
../
setup.py	645 bytes ​	7211a95	12 years	Mei	1) add more python examples 2) add the missing linking role and …
run_test	775 bytes ​	669b481	12 years	Mei	1) finish test conversion from creddy-prover to python 2) update the …
README	1.8 KB ​	7211a95	12 years	Mei	1) add more python examples 2) add the missing linking role and …
query.py	2.8 KB ​	7211a95	12 years	Mei	1) add more python examples 2) add the missing linking role and …
friend.save	810 bytes ​	7211a95	12 years	Mei	1) add more python examples 2) add the missing linking role and …
attr.py	2.7 KB ​	669b481	12 years	Mei	1) finish test conversion from creddy-prover to python 2) update the …

Property mode set to 040000