diff options
| author |  Kristóf Marussy <kristof@marussy.com> | 2023-09-11 19:22:26 +0200 |
|---|---|---|
| committer | Kristóf Marussy <kristof@marussy.com> | 2023-09-11 19:22:26 +0200 |
| commit | 4d365b54dad8d066bba2a2b1a05092b4802b9970 (patch) | |
| tree | 12e5ae36b0041463ded54e7a69dcdc9f3662794f /subprojects/language-semantics/src/test/java/tools/refinery/language/semantics/model/ModelGenerationTest.java | |
| parent | fix: build failures after integrating generation (diff) | |
| download | refinery-4d365b54dad8d066bba2a2b1a05092b4802b9970.tar.gz refinery-4d365b54dad8d066bba2a2b1a05092b4802b9970.tar.zst refinery-4d365b54dad8d066bba2a2b1a05092b4802b9970.zip | |
feat: cancellation token for ModelStore
Diffstat (limited to 'subprojects/language-semantics/src/test/java/tools/refinery/language/semantics/model/ModelGenerationTest.java')
| -rw-r--r-- | subprojects/language-semantics/src/test/java/tools/refinery/language/semantics/model/ModelGenerationTest.java | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/subprojects/language-semantics/src/test/java/tools/refinery/language/semantics/model/ModelGenerationTest.java b/subprojects/language-semantics/src/test/java/tools/refinery/language/semantics/model/ModelGenerationTest.java index ecd5d39c..d756099c 100644 --- a/subprojects/language-semantics/src/test/java/tools/refinery/language/semantics/model/ModelGenerationTest.java +++ b/subprojects/language-semantics/src/test/java/tools/refinery/language/semantics/model/ModelGenerationTest.java | |||
| @@ -209,7 +209,7 @@ class ModelGenerationTest { | |||
| 209 | error choiceHasNoIncoming(Choice c) <-> | 209 | error choiceHasNoIncoming(Choice c) <-> |
| 210 | !target(_, c). | 210 | !target(_, c). |
| 211 | 211 | ||
| 212 | scope node = 50..60, Region = 5..10, Statechart = 1. | 212 | scope node = 200..210, Region = 10..*, Choice = 1..*, Statechart = 1. |
| 213 | """); | 213 | """); |
| 214 | assertThat(parsedProblem.errors(), empty()); | 214 | assertThat(parsedProblem.errors(), empty()); |
| 215 | var problem = parsedProblem.problem(); | 215 | var problem = parsedProblem.problem(); |