source: examples/python_tests @ a59bc06

Name	Size	Rev	Age	Author	Last Change
../
access_rt2		646e57e	12 years	Mei	1) add partial proof
acme_friend_rt1		646e57e	12 years	Mei	1) add partial proof
acme_multi_rt0		646e57e	12 years	Mei	1) add partial proof
acme_rockets_intersection_rt0		646e57e	12 years	Mei	1) add partial proof
acme_rockets_rt0		bf68132	12 years	Mei	1) get example directory to work with yap with use_malloc option 2) …
alice_rt1		646e57e	12 years	Mei	1) add partial proof
alumni2_rt1		646e57e	12 years	Mei	1) add partial proof
alumni3_rt1		646e57e	12 years	Mei	1) add partial proof
alumni_rt1		646e57e	12 years	Mei	1) add partial proof
balltime_rt2		646e57e	12 years	Mei	1) add partial proof
basic_attribute		315ab8d	12 years	Mei	1) remove accidental file commits
basic_id		646e57e	12 years	Mei	1) add partial proof
evaluator_rt1		646e57e	12 years	Mei	1) add partial proof
experiment_create_rt0		646e57e	12 years	Mei	1) add partial proof
experiment_multi_rt0		646e57e	12 years	Mei	1) add partial proof
file_read_rt2		646e57e	12 years	Mei	1) add partial proof
fruits_rt2		646e57e	12 years	Mei	1) add partial proof
leader_rt1		646e57e	12 years	Mei	1) add partial proof
partial_proof_rt1		a59bc06	12 years	Mei	1) tweak partial proof's example output
payraise_rt1		646e57e	12 years	Mei	1) add partial proof
allout.save	2.2 KB ​	646e57e	12 years	Mei	1) add partial proof
Makefile	932 bytes ​	646e57e	12 years	Mei	1) add partial proof
README	1.0 KB ​	e3462b4	12 years	Mei	1) make regression test to use just runcheck (hide runall) 2) alter …

Property mode set to 040000