Skip to content

Added all Missing ELK Algorithms to the Language Server. #300

Added all Missing ELK Algorithms to the Language Server.

Added all Missing ELK Algorithms to the Language Server. #300

GitHub Actions / Test Report succeeded Oct 14, 2024 in 1s

1390 passed, 0 failed and 4 skipped

Tests passed successfully

Report Passed Failed Skipped Time
test/de.cau.cs.kieler.cli.test/target/surefire-reports/TEST-de.cau.cs.kieler.cli.test.DiagramCLITest.xml 3✅ 14s
test/de.cau.cs.kieler.cli.test/target/surefire-reports/TEST-de.cau.cs.kieler.cli.test.GeneralCLITest.xml 13✅ 63s
test/de.cau.cs.kieler.cli.test/target/surefire-reports/TEST-de.cau.cs.kieler.cli.test.SCChartsCLITest.xml 9✅ 38s
test/de.cau.cs.kieler.esterel.test/target/surefire-reports/TEST-de.cau.cs.kieler.esterel.test.compiler.EsterelSCLCompilationTest.xml 4✅ 2s
test/de.cau.cs.kieler.esterel.test/target/surefire-reports/TEST-de.cau.cs.kieler.esterel.test.compiler.SCCCompilationTest.xml 1⚪ 2s
test/de.cau.cs.kieler.esterel.test/target/surefire-reports/TEST-de.cau.cs.kieler.esterel.test.parser.EsterelParserTest.xml 2✅ 2s
test/de.cau.cs.kieler.esterel.test/target/surefire-reports/TEST-de.cau.cs.kieler.esterel.test.simulation.BerryEsterelSimulationTest.xml 1✅ 3s
test/de.cau.cs.kieler.esterel.test/target/surefire-reports/TEST-de.cau.cs.kieler.esterel.test.simulation.EsterelSCLSimulationTest.xml 6✅ 5s
test/de.cau.cs.kieler.kexpressions.text.test/target/surefire-reports/TEST-de.cau.cs.kieler.kexpressions.text.test.KExtStandaloneParserTest.xml 2✅ 103ms
test/de.cau.cs.kieler.kexpressions.text.test/target/surefire-reports/TEST-de.cau.cs.kieler.kexpressions.text.test.KExtTest.xml 1320✅ 2s
test/de.cau.cs.kieler.lustre.test/target/surefire-reports/TEST-de.cau.cs.kieler.lustre.test.compiler.LustreToSCCControlflowTransformationTest.xml 1✅ 2s
test/de.cau.cs.kieler.lustre.test/target/surefire-reports/TEST-de.cau.cs.kieler.lustre.test.compiler.LustreToSCCTransformationTest.xml 1✅ 6s
test/de.cau.cs.kieler.lustre.test/target/surefire-reports/TEST-de.cau.cs.kieler.lustre.test.parser.LustreParserTest.xml 2✅ 2s
test/de.cau.cs.kieler.lustre.test/target/surefire-reports/TEST-de.cau.cs.kieler.lustre.test.simulation.LustreSccControlFlowSimulationTest.xml 1✅ 375ms
test/de.cau.cs.kieler.lustre.test/target/surefire-reports/TEST-de.cau.cs.kieler.lustre.test.simulation.LustreSccSimulationTest.xml 1✅ 727ms
test/de.cau.cs.kieler.lustre.test/target/surefire-reports/TEST-de.cau.cs.kieler.lustre.test.simulation.LustreV6SimulationTest.xml 1⚪ 91ms
test/de.cau.cs.kieler.sccharts.test.simulation/target/surefire-reports/TEST-de.cau.cs.kieler.sccharts.test.simulation.SCChartsSimulationMustFailTest.xml 3ms
test/de.cau.cs.kieler.sccharts.test.simulation/target/surefire-reports/TEST-de.cau.cs.kieler.sccharts.test.simulation.SCChartsSimulationTest.xml 12✅ 12s
test/de.cau.cs.kieler.sccharts.test.simulation/target/surefire-reports/TEST-de.cau.cs.kieler.sccharts.test.simulation.SCChartsStatebasedCSimulationTest.xml 1s
test/de.cau.cs.kieler.sccharts.test/target/surefire-reports/TEST-de.cau.cs.kieler.sccharts.test.compiler.SCChartsNetlistTransformationTest.xml 4✅ 339ms
test/de.cau.cs.kieler.sccharts.test/target/surefire-reports/TEST-de.cau.cs.kieler.sccharts.test.compiler.SCChartsNormalizationTest.xml 4✅ 7s
test/de.cau.cs.kieler.sccharts.test/target/surefire-reports/TEST-de.cau.cs.kieler.sccharts.test.compiler.SCGDependencyTest.xml 2⚪ 49ms
test/de.cau.cs.kieler.sccharts.test/target/surefire-reports/TEST-de.cau.cs.kieler.sccharts.test.structure.SCChartsReferencesTest.xml 2✅ 64ms
test/de.cau.cs.kieler.sccharts.test/target/surefire-reports/TEST-de.cau.cs.kieler.sccharts.test.structure.SCChartsSerializerTest.xml 2✅ 3s
test/de.cau.cs.kieler.sccharts.test/target/surefire-reports/TEST-de.cau.cs.kieler.sccharts.test.synthesis.DataflowSynthesisTest.xml 17ms

✅ test/de.cau.cs.kieler.cli.test/target/surefire-reports/TEST-de.cau.cs.kieler.cli.test.DiagramCLITest.xml

3 tests were completed in 14s with 3 passed, 0 failed and 0 skipped.

Test suite Passed Failed Skipped Time
de.cau.cs.kieler.cli.test.DiagramCLITest 3✅ 14s

✅ test/de.cau.cs.kieler.cli.test/target/surefire-reports/TEST-de.cau.cs.kieler.cli.test.GeneralCLITest.xml

13 tests were completed in 63s with 13 passed, 0 failed and 0 skipped.

Test suite Passed Failed Skipped Time
de.cau.cs.kieler.cli.test.GeneralCLITest 13✅ 63s

✅ test/de.cau.cs.kieler.cli.test/target/surefire-reports/TEST-de.cau.cs.kieler.cli.test.SCChartsCLITest.xml

9 tests were completed in 38s with 9 passed, 0 failed and 0 skipped.

Test suite Passed Failed Skipped Time
de.cau.cs.kieler.cli.test.SCChartsCLITest 9✅ 38s

✅ test/de.cau.cs.kieler.esterel.test/target/surefire-reports/TEST-de.cau.cs.kieler.esterel.test.compiler.EsterelSCLCompilationTest.xml

4 tests were completed in 2s with 4 passed, 0 failed and 0 skipped.

Test suite Passed Failed Skipped Time
de.cau.cs.kieler.esterel.test.compiler.EsterelSCLCompilationTest 4✅ 2s

✅ test/de.cau.cs.kieler.esterel.test/target/surefire-reports/TEST-de.cau.cs.kieler.esterel.test.compiler.SCCCompilationTest.xml

1 tests were completed in 2s with 0 passed, 0 failed and 1 skipped.

Test suite Passed Failed Skipped Time
de.cau.cs.kieler.esterel.test.compiler.SCCCompilationTest 1⚪ 2s

✅ test/de.cau.cs.kieler.esterel.test/target/surefire-reports/TEST-de.cau.cs.kieler.esterel.test.parser.EsterelParserTest.xml

2 tests were completed in 2s with 2 passed, 0 failed and 0 skipped.

Test suite Passed Failed Skipped Time
de.cau.cs.kieler.esterel.test.parser.EsterelParserTest 2✅ 2s

✅ test/de.cau.cs.kieler.esterel.test/target/surefire-reports/TEST-de.cau.cs.kieler.esterel.test.simulation.BerryEsterelSimulationTest.xml

1 tests were completed in 3s with 1 passed, 0 failed and 0 skipped.

Test suite Passed Failed Skipped Time
de.cau.cs.kieler.esterel.test.simulation.BerryEsterelSimulationTest 1✅ 3s

✅ test/de.cau.cs.kieler.esterel.test/target/surefire-reports/TEST-de.cau.cs.kieler.esterel.test.simulation.EsterelSCLSimulationTest.xml

6 tests were completed in 5s with 6 passed, 0 failed and 0 skipped.

Test suite Passed Failed Skipped Time
de.cau.cs.kieler.esterel.test.simulation.EsterelSCLSimulationTest 6✅ 5s

✅ test/de.cau.cs.kieler.kexpressions.text.test/target/surefire-reports/TEST-de.cau.cs.kieler.kexpressions.text.test.KExtStandaloneParserTest.xml

2 tests were completed in 103ms with 2 passed, 0 failed and 0 skipped.

Test suite Passed Failed Skipped Time
de.cau.cs.kieler.kexpressions.text.test.KExtStandaloneParserTest 2✅ 103ms

✅ test/de.cau.cs.kieler.kexpressions.text.test/target/surefire-reports/TEST-de.cau.cs.kieler.kexpressions.text.test.KExtTest.xml

1320 tests were completed in 2s with 1320 passed, 0 failed and 0 skipped.

Test suite Passed Failed Skipped Time
de.cau.cs.kieler.kexpressions.text.test.KExtTest 1320✅ 2s

✅ test/de.cau.cs.kieler.lustre.test/target/surefire-reports/TEST-de.cau.cs.kieler.lustre.test.compiler.LustreToSCCControlflowTransformationTest.xml

1 tests were completed in 2s with 1 passed, 0 failed and 0 skipped.

Test suite Passed Failed Skipped Time
de.cau.cs.kieler.lustre.test.compiler.LustreToSCCControlflowTransformationTest 1✅ 2s

✅ test/de.cau.cs.kieler.lustre.test/target/surefire-reports/TEST-de.cau.cs.kieler.lustre.test.compiler.LustreToSCCTransformationTest.xml

1 tests were completed in 6s with 1 passed, 0 failed and 0 skipped.

Test suite Passed Failed Skipped Time
de.cau.cs.kieler.lustre.test.compiler.LustreToSCCTransformationTest 1✅ 6s

✅ test/de.cau.cs.kieler.lustre.test/target/surefire-reports/TEST-de.cau.cs.kieler.lustre.test.parser.LustreParserTest.xml

2 tests were completed in 2s with 2 passed, 0 failed and 0 skipped.

Test suite Passed Failed Skipped Time
de.cau.cs.kieler.lustre.test.parser.LustreParserTest 2✅ 2s

✅ test/de.cau.cs.kieler.lustre.test/target/surefire-reports/TEST-de.cau.cs.kieler.lustre.test.simulation.LustreSccControlFlowSimulationTest.xml

1 tests were completed in 375ms with 1 passed, 0 failed and 0 skipped.

Test suite Passed Failed Skipped Time
de.cau.cs.kieler.lustre.test.simulation.LustreSccControlFlowSimulationTest 1✅ 375ms

✅ test/de.cau.cs.kieler.lustre.test/target/surefire-reports/TEST-de.cau.cs.kieler.lustre.test.simulation.LustreSccSimulationTest.xml

1 tests were completed in 727ms with 1 passed, 0 failed and 0 skipped.

Test suite Passed Failed Skipped Time
de.cau.cs.kieler.lustre.test.simulation.LustreSccSimulationTest 1✅ 727ms

✅ test/de.cau.cs.kieler.lustre.test/target/surefire-reports/TEST-de.cau.cs.kieler.lustre.test.simulation.LustreV6SimulationTest.xml

1 tests were completed in 91ms with 0 passed, 0 failed and 1 skipped.

Test suite Passed Failed Skipped Time
de.cau.cs.kieler.lustre.test.simulation.LustreV6SimulationTest 1⚪ 91ms

✅ test/de.cau.cs.kieler.sccharts.test.simulation/target/surefire-reports/TEST-de.cau.cs.kieler.sccharts.test.simulation.SCChartsSimulationMustFailTest.xml

No tests found

Test suite Passed Failed Skipped Time
de.cau.cs.kieler.sccharts.test.simulation.SCChartsSimulationMustFailTest 3ms

✅ test/de.cau.cs.kieler.sccharts.test.simulation/target/surefire-reports/TEST-de.cau.cs.kieler.sccharts.test.simulation.SCChartsSimulationTest.xml

12 tests were completed in 12s with 12 passed, 0 failed and 0 skipped.

Test suite Passed Failed Skipped Time
de.cau.cs.kieler.sccharts.test.simulation.SCChartsSimulationTest 12✅ 12s

✅ test/de.cau.cs.kieler.sccharts.test.simulation/target/surefire-reports/TEST-de.cau.cs.kieler.sccharts.test.simulation.SCChartsStatebasedCSimulationTest.xml

No tests found

Test suite Passed Failed Skipped Time
de.cau.cs.kieler.sccharts.test.simulation.SCChartsStatebasedCSimulationTest 1s

✅ test/de.cau.cs.kieler.sccharts.test/target/surefire-reports/TEST-de.cau.cs.kieler.sccharts.test.compiler.SCChartsNetlistTransformationTest.xml

4 tests were completed in 339ms with 4 passed, 0 failed and 0 skipped.

Test suite Passed Failed Skipped Time
de.cau.cs.kieler.sccharts.test.compiler.SCChartsNetlistTransformationTest 4✅ 339ms

✅ test/de.cau.cs.kieler.sccharts.test/target/surefire-reports/TEST-de.cau.cs.kieler.sccharts.test.compiler.SCChartsNormalizationTest.xml

4 tests were completed in 7s with 4 passed, 0 failed and 0 skipped.

Test suite Passed Failed Skipped Time
de.cau.cs.kieler.sccharts.test.compiler.SCChartsNormalizationTest 4✅ 7s

✅ test/de.cau.cs.kieler.sccharts.test/target/surefire-reports/TEST-de.cau.cs.kieler.sccharts.test.compiler.SCGDependencyTest.xml

2 tests were completed in 49ms with 0 passed, 0 failed and 2 skipped.

Test suite Passed Failed Skipped Time
de.cau.cs.kieler.sccharts.test.compiler.SCGDependencyTest 2⚪ 49ms

✅ test/de.cau.cs.kieler.sccharts.test/target/surefire-reports/TEST-de.cau.cs.kieler.sccharts.test.structure.SCChartsReferencesTest.xml

2 tests were completed in 64ms with 2 passed, 0 failed and 0 skipped.

Test suite Passed Failed Skipped Time
de.cau.cs.kieler.sccharts.test.structure.SCChartsReferencesTest 2✅ 64ms

✅ test/de.cau.cs.kieler.sccharts.test/target/surefire-reports/TEST-de.cau.cs.kieler.sccharts.test.structure.SCChartsSerializerTest.xml

2 tests were completed in 3s with 2 passed, 0 failed and 0 skipped.

Test suite Passed Failed Skipped Time
de.cau.cs.kieler.sccharts.test.structure.SCChartsSerializerTest 2✅ 3s

✅ test/de.cau.cs.kieler.sccharts.test/target/surefire-reports/TEST-de.cau.cs.kieler.sccharts.test.synthesis.DataflowSynthesisTest.xml

No tests found

Test suite Passed Failed Skipped Time
de.cau.cs.kieler.sccharts.test.synthesis.DataflowSynthesisTest 17ms