Trait « dafny0 « Test - debian-dafny - Debian packaging for Dafny

Mode	Name	Size
-rw-r--r--	TraitBasix.dfy	3145	log plain
-rw-r--r--	TraitBasix.dfy.expect	602	log plain
-rw-r--r--	TraitCompile.dfy	2223	log plain
-rw-r--r--	TraitCompile.dfy.expect	353	log plain
-rw-r--r--	TraitExample.dfy	1627	log plain
-rw-r--r--	TraitExample.dfy.expect	125	log plain
-rw-r--r--	TraitExtend.dfy	882	log plain
-rw-r--r--	TraitExtend.dfy.expect	287	log plain
-rw-r--r--	TraitMultiModule.dfy	553	log plain
-rw-r--r--	TraitMultiModule.dfy.expect	349	log plain
-rw-r--r--	TraitOverride0.dfy	1503	log plain
-rw-r--r--	TraitOverride0.dfy.expect	547	log plain
-rw-r--r--	TraitOverride1.dfy	2875	log plain
-rw-r--r--	TraitOverride1.dfy.expect	62	log plain
-rw-r--r--	TraitPolymorphism.dfy	1071	log plain
-rw-r--r--	TraitPolymorphism.dfy.expect	323	log plain
-rw-r--r--	TraitSpecsOverride0.dfy	1590	log plain
-rw-r--r--	TraitSpecsOverride0.dfy.expect	192	log plain
-rw-r--r--	TraitUsingParentMembers.dfy	907	log plain
-rw-r--r--	TraitUsingParentMembers.dfy.expect	289	log plain
-rw-r--r--	Traits-Fields.dfy	532	log plain
-rw-r--r--	Traits-Fields.dfy.expect	124	log plain
-rw-r--r--	TraitsDecreases.dfy	2788	log plain
-rw-r--r--	TraitsDecreases.dfy.expect	772	log plain
-rw-r--r--	TraitsMultipleInheritance.dfy	489	log plain
-rw-r--r--	TraitsMultipleInheritance.dfy.expect	140	log plain