summaryrefslogtreecommitdiff
path: root/Test/dafny0
ModeNameSize
-rw-r--r--AdvancedLHS.dfy1450logplain
-rw-r--r--Answer87452logplain
-rw-r--r--Array.dfy6877logplain
-rw-r--r--BadFunction.dfy376logplain
-rw-r--r--Basics.dfy5103logplain
-rw-r--r--Calculations.dfy581logplain
-rw-r--r--CallStmtTests.dfy320logplain
-rw-r--r--ChainingDisjointTests.dfy904logplain
-rw-r--r--CoPredicates.dfy989logplain
-rw-r--r--Coinductive.dfy3073logplain
-rw-r--r--Compilation.dfy2039logplain
-rw-r--r--Comprehensions.dfy1270logplain
-rw-r--r--ControlStructures.dfy5333logplain
-rw-r--r--Corecursion.dfy1157logplain
-rw-r--r--DTypes.dfy3914logplain
-rw-r--r--Datatypes.dfy5577logplain
-rw-r--r--Definedness.dfy6235logplain
-rw-r--r--EqualityTypes.dfy2537logplain
-rw-r--r--FunctionSpecifications.dfy1866logplain
-rw-r--r--IteratorResolution.dfy3616logplain
-rw-r--r--Iterators.dfy5739logplain
-rw-r--r--LetExpr.dfy4114logplain
-rw-r--r--LiberalEquality.dfy917logplain
-rw-r--r--LoopModifies.dfy6796logplain
-rw-r--r--Maps.dfy4059logplain
-rw-r--r--Modules0.dfy7443logplain
-rw-r--r--Modules1.dfy1999logplain
-rw-r--r--Modules2.dfy1550logplain
-rw-r--r--ModulesCycle.dfy154logplain
-rw-r--r--MultiDimArray.dfy2259logplain
-rw-r--r--MultiSets.dfy3409logplain
-rw-r--r--NatTypes.dfy2811logplain
-rw-r--r--NoTypeArgs.dfy1689logplain
-rw-r--r--NonGhostQuantifiers.dfy6963logplain
-rw-r--r--Parallel.dfy7520logplain
-rw-r--r--ParallelResolveErrors.dfy3065logplain
-rw-r--r--ParseErrors.dfy1920logplain
-rw-r--r--PredExpr.dfy1785logplain
-rw-r--r--Predicates.dfy3166logplain
-rw-r--r--Refinement.dfy3700logplain
-rw-r--r--RefinementErrors.dfy1579logplain
-rw-r--r--RefinementModificationChecking.dfy433logplain
-rw-r--r--ResolutionErrors.dfy11627logplain
-rw-r--r--ReturnErrors.dfy732logplain
-rw-r--r--ReturnTests.dfy1123logplain
-rw-r--r--Simple.dfy1231logplain
-rw-r--r--Skeletons.dfy943logplain
-rw-r--r--SmallTests.dfy14809logplain
-rw-r--r--SplitExpr.dfy1841logplain
-rw-r--r--Superposition.dfy1447logplain
-rw-r--r--TailCalls.dfy2257logplain
-rw-r--r--Termination.dfy6798logplain
-rw-r--r--TypeAntecedents.dfy2645logplain
-rw-r--r--TypeParameters.dfy3624logplain
-rw-r--r--TypeTests.dfy3738logplain
-rw-r--r--runtest.bat1866logplain