summaryrefslogtreecommitdiff
path: root/Test/dafny0/Trait
ModeNameSize
-rw-r--r--TraitBasix.dfy3145logplain
-rw-r--r--TraitBasix.dfy.expect638logplain
-rw-r--r--TraitCompile.dfy2223logplain
-rw-r--r--TraitCompile.dfy.expect353logplain
-rw-r--r--TraitExample.dfy3663logplain
-rw-r--r--TraitExample.dfy.expect137logplain
-rw-r--r--TraitExtend.dfy882logplain
-rw-r--r--TraitExtend.dfy.expect287logplain
-rw-r--r--TraitMultiModule.dfy553logplain
-rw-r--r--TraitMultiModule.dfy.expect349logplain
-rw-r--r--TraitOverride0.dfy1503logplain
-rw-r--r--TraitOverride0.dfy.expect547logplain
-rw-r--r--TraitOverride1.dfy2875logplain
-rw-r--r--TraitOverride1.dfy.expect62logplain
-rw-r--r--TraitPolymorphism.dfy1071logplain
-rw-r--r--TraitPolymorphism.dfy.expect323logplain
-rw-r--r--TraitSpecsOverride0.dfy1590logplain
-rw-r--r--TraitSpecsOverride0.dfy.expect192logplain
-rw-r--r--TraitUsingParentMembers.dfy907logplain
-rw-r--r--TraitUsingParentMembers.dfy.expect289logplain
-rw-r--r--Traits-Fields.dfy532logplain
-rw-r--r--Traits-Fields.dfy.expect124logplain
-rw-r--r--TraitsDecreases.dfy3686logplain
-rw-r--r--TraitsDecreases.dfy.expect1641logplain
-rw-r--r--TraitsMultipleInheritance.dfy489logplain
-rw-r--r--TraitsMultipleInheritance.dfy.expect140logplain