Packages

•  package root

  Definition Classes

  root

•  package IVF

  This project is built over the following components

  This project is built over the following components

  • IVF.Model : contains abstract syntax trees and control flow graphs, enables to execute code
  • IVF.Criterion : defines criterion and coverage, useful to test a given program on predefined states set with a criterion
  • IVF.TestGenerator : enables to generate automatically tests from criteria

  Definition Classes

  root

•  package Model

  Contains models necessary to run tests

  Contains models necessary to run tests

  • IVF.Model.AST contains abstract syntax trees
  • IVF.Model.CFG contains control flow graphs
  • IVF.Model.State models a state (valuation for algorithm)

  Definition Classes

  IVF

•  package AST

  Contains abstract syntax tree definitions

  Contains abstract syntax tree definitions

  Definition Classes

  Model

  See also

  IVF.Model.AST

•  package A

  Contains arithmetic expression ASTs and Operators

  Contains arithmetic expression ASTs and Operators

  Definition Classes

  AST

  See also

  IVF.Model.AST.A.Expression

•  package B

  Contains binary expression ASTs and Operators

  Contains binary expression ASTs and Operators

  Definition Classes

  AST

  See also

  IVF.Model.AST.B.Expression

•  package Expression

  Contains binary expressions

•  package Operator
• Expression

IVF.Model.AST

B 