Echtzeitsysteme/gips-tests
1
0
Fork 0
mirror of https://github.com/Echtzeitsysteme/gips-tests.git synced 2025-03-28 00:53:03 +00:00
Code Issues Projects Releases Packages Wiki Activity
Test projects for the GIPS framework.
456 commits 11 branches 1 tag 24 MiB
Find a file
Exact
Maximilian Kratz 77ba9b5743 Source format + organize imports
2025-03-21 14:26:58 +01:00
genericgraphmetamodel Source format + organize imports 2025-03-21 14:26:58 +01:00
gips.enumequals Fixes some count() operators that should be sum(...) instead 2025-02-03 10:05:58 +01:00
gips.enummodel Adds an executable test for the enum equal project 2024-11-19 12:34:48 +01:00
gips.generic.scheduling Adds a test case to check if the GIPS API can save a file ... 2025-03-19 16:18:07 +01:00
gips.generic.scheduling.codegenintreducebug + changed the scheduling.codegenintreducebug test specification to fit new grammar 2025-01-25 22:34:12 +01:00
gips.generic.scheduling.constantdivbug + changed the scheduling.constantdivbug test specification to fit new grammar 2025-01-25 22:35:45 +01:00
gips.gttermination + added notEmpty() not specification -> test seems to work 2025-01-28 11:28:32 +01:00
gips.ilp.lpoutput Fixes some count() operators that should be sum(...) instead 2025-02-03 10:05:58 +01:00
gips.ilp.solver fix: test for original stdout after multi-threaded gurobi init 2025-02-26 17:08:29 +01:00
gips.ilp.threads Adapts the necessary project to the new solver config 2025-03-20 10:51:13 +01:00
gips.ilp.timeout Adapts the necessary project to the new solver config 2025-03-20 10:51:13 +01:00
gips.ilp.timeout.clsnotinmodel Fixes some count() operators that should be sum(...) instead 2025-02-03 10:05:58 +01:00
gips.ilp.timeout.timeoutmodel Meta: resolves Eclipse warnings (build path warnings, etc.) 2024-11-12 14:18:55 +01:00
gips.launchconfig Fixes some count() operators that should be sum(...) instead 2025-02-03 10:05:58 +01:00
gips.multilayeredinheritence + added missing explicit variable value references to the respective test projects 2025-01-27 12:10:57 +01:00
gips.multilayeredinheritencemodel Meta: resolves Eclipse warnings (build path warnings, etc.) 2024-11-12 14:18:55 +01:00
gips.multilayeredinheritencersinit + added missing explicit variable value references to the respective test projects 2025-01-27 12:10:57 +01:00
gips.nullmodel Meta: resolves Eclipse warnings (build path warnings, etc.) 2024-11-12 14:18:55 +01:00
gips.nullproject + changed the nullproject test specification to fit new grammar 2025-01-25 23:38:30 +01:00
gips.scheduling.taskmodel Meta: resolves Eclipse warnings (build path warnings, etc.) 2024-11-12 14:18:55 +01:00
gips.sort + added another small sanity check for the improved constant feature 2025-01-31 20:32:48 +01:00
gips.sort.listmodel Meta: resolves Eclipse warnings (build path warnings, etc.) 2024-11-12 14:18:55 +01:00
gips.sort.patternreg + changed the sort.patternreg test specification to fit new grammar 2025-01-25 23:45:15 +01:00
gips.xmiinit Merge branch 'main' into feature/hipe-path-options-no-reset 2025-03-17 14:59:37 +01:00
gipsl.all.build.and + added missing explicit variable value references to the respective test projects 2025-01-27 19:34:26 +01:00
gipsl.all.build.booleanbrackets + added missing explicit variable value references to the respective test projects 2025-01-27 19:34:26 +01:00
gipsl.all.build.complex Fixes some count() operators that should be sum(...) instead 2025-02-03 10:05:58 +01:00
gipsl.all.build.count + added missing explicit variable value references to the respective test projects 2025-01-27 19:34:26 +01:00
gipsl.all.build.equals.fxeqctrafo + added missing explicit variable value references to the respective test projects 2025-01-27 19:34:26 +01:00
gipsl.all.build.filter + added missing explicit variable value references to the respective test projects 2025-01-27 19:34:26 +01:00
gipsl.all.build.filter.serial Adjustments after merge: update to GIPSL v1.5 + renaming of classes 2025-03-21 10:19:20 +01:00
gipsl.all.build.implication + added missing explicit variable value references to the respective test projects 2025-01-27 19:34:26 +01:00
gipsl.all.build.implicationstatic + changed the build.implicationstatic test specification to fit new grammar 2025-01-26 01:48:09 +01:00
gipsl.all.build.inheritedtypecontext + changed the build.inheritedtypecontext test specification to fit new grammar 2025-01-26 01:49:48 +01:00
gipsl.all.build.model Extends the test case to also test bound boolean variables 2024-11-21 17:14:29 +01:00
gipsl.all.build.nogt + changed the build.nogt test specification to fit new grammar 2025-01-26 01:51:54 +01:00
gipsl.all.build.not + added missing explicit variable value references to the respective test projects 2025-01-27 19:34:26 +01:00
gipsl.all.build.notempty Adjustments after merge: update to GIPSL v1.5 + renaming of classes 2025-03-21 10:31:55 +01:00
gipsl.all.build.notequal + added missing explicit variable value references to the respective test projects 2025-01-27 19:34:26 +01:00
gipsl.all.build.objbug + added missing explicit variable value references to the respective test projects 2025-01-27 19:34:26 +01:00
gipsl.all.build.objbugb Source format + organize imports 2025-03-21 14:26:58 +01:00
gipsl.all.build.objective + added missing explicit variable value references to the respective test projects 2025-01-27 19:34:26 +01:00
gipsl.all.build.objective.max + added missing explicit variable value references to the respective test projects 2025-01-27 23:01:21 +01:00
gipsl.all.build.objective.min + added missing explicit variable value references to the respective test projects 2025-01-27 23:01:21 +01:00
gipsl.all.build.objective.scaling + added missing explicit variable value references to the respective test projects 2025-01-27 23:01:21 +01:00
gipsl.all.build.objectivemapping + added missing explicit variable value references to the respective test projects 2025-01-27 23:01:21 +01:00
gipsl.all.build.objectivepatternsumbug + added missing explicit variable value references to the respective test projects 2025-01-27 23:01:21 +01:00
gipsl.all.build.or.a + added missing explicit variable value references to the respective test projects 2025-01-27 23:01:21 +01:00
gipsl.all.build.or.b + added missing explicit variable value references to the respective test projects 2025-01-27 23:01:21 +01:00
gipsl.all.build.or.extendedorconstant + added missing explicit variable value references to the respective test projects 2025-01-27 23:01:21 +01:00
gipsl.all.build.or.extendedortrue + added missing explicit variable value references to the respective test projects 2025-01-27 23:01:21 +01:00
gipsl.all.build.resourceinit.infthenopt + added missing explicit variable value references to the respective test projects 2025-01-27 23:01:21 +01:00
gipsl.all.build.resourceinit.infthenoptobjective + added missing explicit variable value references to the respective test projects 2025-01-27 23:01:21 +01:00
gipsl.all.build.resourcesetinit + added missing explicit variable value references to the respective test projects 2025-01-27 23:01:21 +01:00
gipsl.all.build.resourcesinit.optthenvallog + added missing explicit variable value references to the respective test projects 2025-01-27 23:01:21 +01:00
gipsl.all.build.simple + added missing explicit variable value references to the respective test projects 2025-01-27 23:01:21 +01:00
gipsl.all.build.sumesum + added missing explicit variable value references to the respective test projects 2025-01-27 23:01:21 +01:00
gipsl.all.build.sumvalue + added missing explicit variable value references to the respective test projects 2025-01-27 23:01:21 +01:00
gipsl.all.build.sumvalueinf + added missing explicit variable value references to the respective test projects 2025-01-27 23:01:21 +01:00
gipsl.all.build.vardoubleimpl + added missing explicit variable value references to the respective test projects 2025-01-27 23:01:21 +01:00
gipsl.all.build.varequivalence + added missing explicit variable value references to the respective test projects 2025-01-27 23:01:21 +01:00
gipsl.all.build.varlimit + added missing explicit variable value references to the respective test projects 2025-01-27 23:01:21 +01:00
gipsl.all.build.varmappingsum.sumfreevar + added missing explicit variable value references to the respective test projects 2025-01-27 23:01:21 +01:00
gipsl.all.build.varmappingsum.sumfreevarattr + added missing explicit variable value references to the respective test projects 2025-01-27 23:01:21 +01:00
gipsl.all.build.varmappingsum.sumfreevarmapping + added missing explicit variable value references to the respective test projects 2025-01-27 23:01:21 +01:00
gipsl.all.build.varmappingsum.sumfreevarmult + added missing explicit variable value references to the respective test projects 2025-01-27 23:01:21 +01:00
gipsl.all.build.varmappingsum.sumfreevarmultb + added missing explicit variable value references to the respective test projects 2025-01-27 23:01:21 +01:00
gipsl.all.build.varnamebug + added missing explicit variable value references to the respective test projects 2025-01-27 23:01:21 +01:00
gipsl.all.build.vars + added missing explicit variable value references to the respective test projects 2025-01-27 23:01:21 +01:00
gipsl.all.build.varsbooleanbug Source format + organize imports 2025-03-21 14:26:58 +01:00
gipsl.all.build.varsmappingsum + added missing explicit variable value references to the respective test projects 2025-01-27 23:01:21 +01:00
gipsl.all.build.varsobjective + added missing explicit variable value references to the respective test projects 2025-01-27 23:01:21 +01:00
gipsl.all.build.varsparameter + added missing explicit variable value references to the respective test projects 2025-01-27 23:01:21 +01:00
gipsl.all.build.varssum + added missing explicit variable value references to the respective test projects 2025-01-27 23:01:21 +01:00
gipsl.all.build.xor + added missing explicit variable value references to the respective test projects 2025-01-27 23:01:21 +01:00
gipsl.imports.importmodel Meta: resolves Eclipse warnings (build path warnings, etc.) 2024-11-12 14:18:55 +01:00
gipsl.imports.sub + added missing explicit variable value references to the respective test projects 2025-01-27 12:10:57 +01:00
gipsl.imports.supera Removes all unnecessary ILP solver vars + launch configs in all tests 2025-01-22 13:31:24 +01:00
gipsl.imports.superb Meta: resolves Eclipse warnings (build path warnings, etc.) 2024-11-12 14:18:55 +01:00
gipsl.scribble + changed the scribble/solverconfig test specification to fit new grammar 2025-01-26 23:26:50 +01:00
gipsl.solverconfig Adds test to check optional ILP solver config block 2024-12-20 10:38:36 +01:00
gipsl.sortconstanttermbug + added missing explicit variable value references to the respective test projects 2025-01-27 12:10:57 +01:00
gipsl.sortpatternmappingbug + added missing explicit variable value references to the respective test projects 2025-01-27 12:10:57 +01:00
gipsl.string.compare + added missing explicit variable value references to the respective test projects 2025-01-27 12:10:57 +01:00
gipsl.string.compare.filter + added missing explicit variable value references to the respective test projects 2025-01-27 12:10:57 +01:00
gipsl.string.compare.nonmappingcontext + added missing explicit variable value references to the respective test projects 2025-01-27 12:10:57 +01:00
gipsl.string.stringmodel Updates projects to current test setup 2024-11-22 08:37:41 +01:00
gipsprojectpackagenamebug + changed the gipsprojectpackagenamebug/shortestpath/stringrulegipsl test specification to fit new grammar 2025-01-26 23:42:49 +01:00
shortestpath Source format + organize imports 2025-03-21 14:26:58 +01:00
stringmetamodel Source format + organize imports 2025-03-21 14:26:58 +01:00
stringrulegipsl + changed the gipsprojectpackagenamebug/shortestpath/stringrulegipsl test specification to fit new grammar 2025-01-26 23:42:49 +01:00
test.suite.gips Source format + organize imports 2025-03-21 14:26:58 +01:00
test.suite.utils Source format + organize imports 2025-03-21 14:26:58 +01:00
.gitignore Adds trace cache to the .gitignore 2025-03-18 13:13:48 +01:00
CITATION.cff Adds CITATION.cff + LICENSE + content in README.md 2022-05-13 15:19:21 +02:00
LICENSE Adds CITATION.cff + LICENSE + content in README.md 2022-05-13 15:19:21 +02:00
README.md Adapts README.md to include the new projects 2024-12-23 18:31:39 +01:00

README.md

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
shortestpath + genericgraphmetamodel GIPSL + Metamodel Generic GIPSL implementation to find the shortest path in a generic graph
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.