dat logo




Lam Programs     Abs Programs
   

Write the abs/lam program here:


Analysis options (Select an input type and then the analysis method. Check Verbose option for more details)

Verbose
Input Type:    Abs program      Lam program
Analyzers:     
  • Fix-point 1.0
  • Mutations and flashbacks (FID are uppercase, VID are lowercase, functions have at least one parameter)
  • Fix-point 2.0