Skip to content

Echtzeitsysteme/gips-tests

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

GIPS Tests

GIPS is an open-source framework for Graph-Based (M)ILP Problem Specification. This repository holds some GIPS test projects.

Setup

  • Install GIPS as described in its repository.
  • Launch a runtime workspace (while using a runtime Eclipse) as stated in the eMoflon::IBeX installation steps. (Please refer to the installation steps of GIPS above.)
  • Clone this Git repository to your local machine and import it into Eclipse: File -> Import -> General -> Existing Projects into Workspace. Import all projects.
  • Build all your projects with the black eMoflon hammer. Sometimes, it is required to trigger a cleaning in Eclipse (Project -> Clean... -> Clean all projects).

Requirements

Currently, all of the tests use the Gurobi ILP solver, which is a commercial solution. Thus, you have to install and configure Gurobi or change the configuration of all tests in the GlobalTestConfig file from GUROBI to another solver.

Repository/Project structure

Project name Type Purpose
gips.ilp.lpoutput GIPSL Tests the LP output generation (e.g., logs)
gips.ilp.timeout.* GIPSL set Tests the time limit behaviour of the ILP solvers
gips.multilayeredinheritence.* GIPSL Tests the correct behaviour of GIPS for multi-layered inheritence in classes
gips.null* GIPSL set Test project and metamodel to trigger a NPE bug in GIPS
gips.sort.* GIPSL set A simple test to create a sorted linked-list
gips.scheduling.* GIPSL set Test project and metamodel to plan generic task scheduling
gipsl.all.build.* GIPSL set Multiple projects with the same metamodel to test individual language features
gipsl.imports.* GIPSL set Multiple projects to test the import functionality
gips(l).*bug.* GIPSL set Multiple projects to triggern known bugs (fixed or not fixed)
gipsl.scribble GIPSL Scribble project to debug, e.g., the validator - does not contain tests
stringrulegipsl GIPSL Tests a specific bug with missing default values for the data type EString in GT rules
test.suite.gips Test suite Test suite with a global test runner to run all tests in this repo
test.suite.utils Utilities Utilities for the tests that are also needed by the GIPSL projects above

License

This project is licensed under the GNU General Public License v3.0 - see the LICENSE file for more details.

About

Test projects for the GIPS framework.

Topics

Resources

License

Stars

Watchers

Forks

Languages