summaryrefslogtreecommitdiff
path: root/Test/dafny0
ModeNameSize
-rw-r--r--AdvancedLHS.dfy1450logplain
-rw-r--r--Answer78667logplain
-rw-r--r--Array.dfy6877logplain
-rw-r--r--BadFunction.dfy376logplain
-rw-r--r--Basics.dfy5103logplain
-rw-r--r--CallStmtTests.dfy320logplain
-rw-r--r--ChainingDisjointTests.dfy904logplain
-rw-r--r--CoPredicates.dfy862logplain
-rw-r--r--Coinductive.dfy3073logplain
-rw-r--r--Compilation.dfy1314logplain
-rw-r--r--Comprehensions.dfy1174logplain
-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.dfy1722logplain
-rw-r--r--LetExpr.dfy4114logplain
-rw-r--r--LiberalEquality.dfy917logplain
-rw-r--r--LoopModifies.dfy6796logplain
-rw-r--r--Maps.dfy3883logplain
-rw-r--r--Modules0.dfy7443logplain
-rw-r--r--Modules1.dfy1999logplain
-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.dfy881logplain
-rw-r--r--PredExpr.dfy1785logplain
-rw-r--r--Predicates.dfy3166logplain
-rw-r--r--Refinement.dfy3700logplain
-rw-r--r--RefinementErrors.dfy1579logplain
-rw-r--r--ResolutionErrors.dfy11045logplain
-rw-r--r--ReturnErrors.dfy732logplain
-rw-r--r--ReturnTests.dfy1123logplain
-rw-r--r--Simple.dfy1231logplain
-rw-r--r--Skeletons.dfy943logplain
-rw-r--r--SmallTests.dfy15459logplain
-rw-r--r--SplitExpr.dfy1841logplain
-rw-r--r--Termination.dfy6798logplain
-rw-r--r--TypeAntecedents.dfy2645logplain
-rw-r--r--TypeParameters.dfy3624logplain
-rw-r--r--TypeTests.dfy3738logplain
-rw-r--r--runtest.bat1537logplain
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-30 19:27:32 +0000