eclipse-viatra / org.eclipse.viatra

Main components of the VIATRA framework
https://eclipse.dev/viatra
Eclipse Public License 2.0
0 stars 1 forks source link

Provide an ability to test Rete pattern matching with a predefined Rete structure #66

Open eclipse-viatra-bot opened 5 months ago

eclipse-viatra-bot commented 5 months ago

| --- | --- | | Bugzilla Link | 518436 | | Status | NEW | | Importance | P3 enhancement | | Reported | Jun 19, 2017 03:44 EDT | | Modified | Feb 08, 2018 07:54 EDT | | Version | 1.6.0 | | Reporter | Zoltan Ujhelyi |

Description

As seen in bug 518434, there are some very tricky issues related to specific Rete network structures that is almost impossible to test, as the final Rete structure is decided by the planner. Furthermore, even if we find a pattern definition for such cases, there is no guarantee that the test would always provide the same structure.

It would be beneficial for testing reasons to have a way to set a manually created Rete recipes to the engine for such cases.