Uses of Record Class
org.ek9lang.compiler.symbolic.ConstructVerdict

Packages that use ConstructVerdict

Package	Description
org.ek9lang.compiler.symbolic

Uses of ConstructVerdict in org.ek9lang.compiler.symbolic

Methods in org.ek9lang.compiler.symbolic that return ConstructVerdict

Modifier and Type	Method	Description
ConstructVerdict	SymbolicEngine.verify(FunctionSymbol function)	Verify one function/program body: report the branches it proves dead and the counterexamples it finds for its undischarged obligations (divide-by-zero and callee-require violations).