Echtzeitsysteme/gips-tests
1
0
Fork 0
mirror of https://github.com/Echtzeitsysteme/gips-tests.git synced 2024-05-20 12:00:56 +00:00
Code Issues Packages Projects Releases Wiki Activity
268 commits 13 branches 0 tags 7.2 MiB
Commit graph

268 commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Maximilian Kratz a6ff6e7a33
Merge pull request #67 from Echtzeitsysteme/hotfix/fixes-wrong-rs-clear 
Fixes broken ResourceSet reset for all ResourceSet-based model generators
 2024-04-19 12:57:40 +02:00
Maximilian Kratz 0648c0fb08 Fixes all remaining resource set based model generator resets 2024-04-19 12:54:50 +02:00
Maximilian Kratz c7e0424a89 Fixes the wrong clearing of the resource set within a model generator 2024-04-19 12:48:30 +02:00
Maximilian Kratz 3187d6fa0e
Merge pull request #63 from Echtzeitsysteme/hotfix/gipsl-all-build-complex-project 
Makes the project `gipsl.all.build.complex` compilable again
 2024-04-19 09:06:08 +02:00
Maximilian Kratz 9a98cbe0e8 Merge branch 'main' into hotfix/gipsl-all-build-complex-project 2024-04-19 08:59:21 +02:00
Maximilian Kratz f248f3a412
Merge pull request #62 from Echtzeitsysteme/hotfix/lower_bound_fix 
- added lower bounds constraint for the free integer variable
 2024-04-19 08:58:45 +02:00
SebastianE 52802dc326 - added lower bounds constraint for the free integer variable 
- Explanation: The equivalence constraint forces the free variabe fv >= 1 iff the mapping variable mv >= 1. But if mv is not 1, then fv is allowed to have literally any value other than values > 0. In the Test it is checked, if fv == 0, when mv == 0. This will only work if fv is a binary variable, otherwise it might or might not work depending on the random choice of the used solver, since fv can still have valid values in [-9999, 0] and not violate the initial constraint. To fix that i have added a simple lower bound to the specifaction, that forces fv >= 0. In this case fv will behave just like a binary variable and be 0 in case mv == 0.
 2024-04-18 20:02:36 +02:00
Maximilian Kratz 666166eb3b Adds TODOs to all parts of the complex GIPSL specification that break the compilation process 2024-04-18 15:02:46 +02:00
Maximilian Kratz 55633be68c
Merge pull request #61 from Echtzeitsysteme/feature/test-correct-emoflon-termination 
Adds a test for testing the correct termination of the eMoflon::IBeX-GT API
 2024-04-05 15:15:45 +02:00
Maximilian Kratz ae57136527 Adds a timeout to the test case 
When running in the complete test suite, the test gets stuck
 2024-04-03 13:07:43 +02:00
Maximilian Kratz e51a604c57 Adds a project and a test case to check correct eMoflon API termination 2024-04-03 12:31:09 +02:00
Maximilian Kratz ecb69b9858 LP output test: fixes possible null pointer exception in termination 2024-04-03 10:27:11 +02:00
Maximilian Kratz 530750c4a3 Enforces the correct code style 2024-03-29 08:26:57 +01:00
Maximilian Kratz 3021dcaf93
Merge pull request #60 from Echtzeitsysteme/hotfix/api-termination 
Terminate the GIPS API after each test run
 2024-03-29 08:24:52 +01:00
Maximilian Kratz 0526c0f650 Terminate the GIPS API after each test run 2024-03-29 08:19:42 +01:00
Maximilian Kratz ff67b6eafd
Merge pull request #59 from Echtzeitsysteme/feature/add-test-for-project-package-name-bug 
Add a test to trigger the project name == package name bug
 2024-03-08 08:44:36 +01:00
Maximilian Kratz 3d4d785e83 Changes the name again to trigger the bug 2024-03-08 08:43:36 +01:00
Maximilian Kratz 3e2a18327c Fixes wrong name of the new project 2024-03-08 08:37:01 +01:00
Maximilian Kratz c50cdb3ea4 Adds project package name bug test 2024-03-08 08:33:55 +01:00
Maximilian Kratz d2adefcce9 Simplifies the objective (the *other* bug was also fixed with the PR) 2023-11-15 15:26:44 +01:00
Maximilian Kratz 05ebc3ef60
Merge pull request #56 from Echtzeitsysteme/feature/adds-test-for-missing-patternsumexpr-in-obj 
Adds a test case for the compiler error of the missing PatternSumExpr in the objectives
 2023-11-15 15:17:01 +01:00
Maximilian Kratz fd1ff0ea0e Adds a test case for the compiler error of the missing PatternSumExpr in the objectives 2023-11-15 15:13:56 +01:00
Maximilian Kratz c7c07a2d8d
Merge pull request #51 from Echtzeitsysteme/feature/remove-duplex-host-guest-edges 
Removes duplex host edges in all GIPSL specifications
 2023-04-06 15:51:57 +02:00
Maximilian Kratz 0c7e4eea2c Removes duplex host edges in all GIPSL specifications 
gipsl.all.build.model: EOpposite for host + guests and removes duplex edges in GIPSL specifications
Removes duplex host edges in all other GIPSL projects
 2023-04-06 15:43:38 +02:00
Maximilian Kratz 54fcd38532 Code formatter + adds new generic scheduling to README.md 2023-03-06 13:22:59 +01:00
Maximilian Kratz c81bc884c6
Merge pull request #50 from Echtzeitsysteme/feature/gen-scheduling-port 
Adds tests for a generic scheduling variant + one scenario from the ES exercise
 2023-03-06 13:19:44 +01:00
Maximilian Kratz 83b4a397ec Fixes missing EOpposite in metamodel 2023-03-06 13:00:49 +01:00
Maximilian Kratz e535de47a5 Merge branch 'main' into feature/gen-scheduling-port 2023-03-06 12:52:33 +01:00
Maximilian Kratz 8ecf0f746a Migrates generic scheduling from EDF branch 2023-03-06 12:52:27 +01:00
Maximilian Kratz c61f37e610 Adds a first metamodel draft for scheduling 
Adds the GIPSL project with an implementation start


Adds a local objective


Adds some test cases + fixes GIPSL specification


Extends tests for EDF checking + fixed objective in GIPSL specification


Moves validation to a separate class


Adds a test for task 3.1 on EDF


Adds a generic scheduling implementation + tests
 2023-03-06 12:39:35 +01:00
Maximilian Kratz 32eb445fe5 MANIFEST changes: JDK17 + new formatter 2023-02-23 16:09:54 +01:00
Maximilian Kratz 38bf641a48 Fixes a missing Math.abs for a test (Gurobi v10.0.1) 2023-02-03 16:43:12 +01:00
Maximilian Kratz 4ab39b9ac1
Merge pull request #49 from Echtzeitsysteme/feature/adds-npe-typeindexer-tests 
Adds a test to trigger a NPE in the `TypeIndexer`
 2023-01-19 13:08:12 +01:00
Maximilian Kratz 5c42ea803d Adds missing changes in plugin.xml 2023-01-19 13:05:43 +01:00
Maximilian Kratz d42540ffe2 Adds new projects to README.md 2023-01-18 16:09:20 +01:00
Maximilian Kratz 06a66d94ac Adds a pre-check + clean-up 2023-01-18 10:19:45 +01:00
Maximilian Kratz af2d0f2201 Adds basic test projects with a case 2023-01-18 10:16:51 +01:00
Maximilian Kratz 5f6cfab95b
Merge pull request #48 from Echtzeitsysteme/feature/smaller-changes-doc-formatting 
Feature/smaller changes doc formatting
 2023-01-13 15:59:18 +01:00
Maximilian Kratz 035819398e Update README 2023-01-13 15:58:51 +01:00
Maximilian Kratz 10b23332eb Update MANIFEST.MF line endings 
to stop the never ending changing on Linux-based systems.
 2023-01-13 15:56:10 +01:00
Maximilian Kratz 1d769b8f49
Merge pull request #46 from Echtzeitsysteme/feature/multiple-vars-in-sum-test 
Multiple vars in sum with variations (test)
 2023-01-13 15:53:20 +01:00
Maximilian Kratz 6c6837ce40 Merge branch 'main' into feature/multiple-vars-in-sum-test 2023-01-13 15:50:06 +01:00
Maximilian Kratz 9a37078493
Merge pull request #29 from Echtzeitsysteme/feature/constant-term-transformation-bug 
Adds a GIPSL specification to trigger the (at least one) transformation bug
 2023-01-13 15:49:40 +01:00
Maximilian Kratz e6cc5ba5cf Merge branch 'main' into feature/constant-term-transformation-bug 2023-01-13 15:48:16 +01:00
Maximilian Kratz 16987fd61c
Merge pull request #30 from Echtzeitsysteme/feature/scaling-objectives-tests 
Adds more detailed tests for scaling objective functions
 2023-01-13 15:47:40 +01:00
Maximilian Kratz 45a09b6b88 Merge branch 'main' into feature/scaling-objectives-tests 2023-01-13 15:40:25 +01:00
Maximilian Kratz dfb2dc2852
Merge pull request #28 from Echtzeitsysteme/feature/pattern-2xmapping-codegen-bug 
Adds specification to trigger a code gen bug with `pattern.. + mapping.. + mapping.. == const`
 2023-01-13 15:40:02 +01:00
Maximilian Kratz 658336fba6 Adds a test to check correct behavior of the pattern mapping bug (fixed) 2023-01-13 15:34:01 +01:00
Maximilian Kratz 7401f33b3b Merge branch 'main' into feature/pattern-2xmapping-codegen-bug 2023-01-13 15:22:08 +01:00
Maximilian Kratz c17a2bb2c2 Fixes wrong test case 2023-01-13 15:20:44 +01:00