source: examples/python_tests @ f2d67a5

Name	Size	Rev	Age	Author	Last Change
../
payraise_rt1		f2d67a5	12 years	Mei	1) put back that yap info line in the saved example output
partial_proof_rt1		f2d67a5	12 years	Mei	1) put back that yap info line in the saved example output
leader_rt1		f2d67a5	12 years	Mei	1) put back that yap info line in the saved example output
fruits_rt2		f2d67a5	12 years	Mei	1) put back that yap info line in the saved example output
file_read_rt2		f2d67a5	12 years	Mei	1) put back that yap info line in the saved example output
experiment_multi_rt0		f2d67a5	12 years	Mei	1) put back that yap info line in the saved example output
experiment_create_rt0		f2d67a5	12 years	Mei	1) put back that yap info line in the saved example output
evaluator_rt1		f2d67a5	12 years	Mei	1) put back that yap info line in the saved example output
basic_id		f2d67a5	12 years	Mei	1) put back that yap info line in the saved example output
basic_attribute		f2d67a5	12 years	Mei	1) put back that yap info line in the saved example output
balltime_rt2		f2d67a5	12 years	Mei	1) put back that yap info line in the saved example output
alumni_rt1		f2d67a5	12 years	Mei	1) put back that yap info line in the saved example output
alumni3_rt1		f2d67a5	12 years	Mei	1) put back that yap info line in the saved example output
alumni2_rt1		f2d67a5	12 years	Mei	1) put back that yap info line in the saved example output
alice_rt1		f2d67a5	12 years	Mei	1) put back that yap info line in the saved example output
acme_rockets_rt0		f2d67a5	12 years	Mei	1) put back that yap info line in the saved example output
acme_rockets_intersection_rt0		f2d67a5	12 years	Mei	1) put back that yap info line in the saved example output
acme_multi_rt0		f2d67a5	12 years	Mei	1) put back that yap info line in the saved example output
acme_friend_rt1		f2d67a5	12 years	Mei	1) put back that yap info line in the saved example output
access_rt2		f2d67a5	12 years	Mei	1) put back that yap info line in the saved example output
README	1.0 KB ​	e3462b4	12 years	Mei	1) make regression test to use just runcheck (hide runall) 2) alter …
Makefile	932 bytes ​	646e57e	12 years	Mei	1) add partial proof
allout.save	2.2 KB ​	646e57e	12 years	Mei	1) add partial proof

Property mode set to 040000