Skip to content

Latest commit

 

History

17 Commits

Folders and files

NameName
Last commit message
Last commit date
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

IGUANA case studies

Case studies for use with IGUANA (currently only contains the Calendar example).

To use with IGUANA you will need to invoke the setup.sh Bash script in the root directory of this repo. This requires:

  • The IGUANA_HOME environment variable to be set to the root directory of IGUANA on your system;
  • The IGUANA_CASESTUDIES_HOME environment variable to be set to the root directory of wherever you have checked this particular repository out.

The setup.sh script sets up the relevant symlinks so that your IGUANA installation can use the case studies provided by this repository.

Project specific IGUANA (Java) code should be placed in the iguana directory, which will be added to IGUANA as the package org.iguanatool.ext

About

A repository of case studies for the IGUANA test generation tool.

Resources

Stars

0 stars

Watchers

1 watching

Forks

Releases

Packages

Contributors

Languages