de.cau.cs.kieler.s.sim.sc.test

Clone Tools
  • last updated a few minutes ago
Constraints
Constraints: committers
 
Constraints: files
Constraints: dates
merged newdiff and master

    • -132
    • +125
    ./testdata/13-seqcon-hierarchy.s
    • binary
    ./testdata/s_sc_validation_headless.execution
  1. … 1595 more files in changeset.
corrected s test data

    • -132
    • +125
    ./testdata/13-seqcon-hierarchy.s
Added SCL option for S Simulation and SyncCharts Simulation

    • binary
    ./testdata/s_sc_validation_headless.execution
  1. … 10 more files in changeset.
update KART option name

    • binary
    ./testdata/s_sc_validation_headless.execution
  1. … 2 more files in changeset.
NEW FEATURE: Added Benchmark / CycleCounter for SC Simulation

    • binary
    ./testdata/s_sc_validation_headless.execution
  1. … 12 more files in changeset.
enhanced test

FIX: pre(?v) = SCC_pre_val[v] and regression test

    • -0
    • +13
    ./testdata/19-valued-signals-pre.eso
    • -0
    • +10
    ./testdata/19-valued-signals-pre.s
  1. … 1 more file in changeset.
kieler.design II

  1. … 24 more files in changeset.
Review KI-28 comments of cds

  1. … 8 more files in changeset.
valued signal test

    • -0
    • +14
    ./testdata/18-valued-signals.eso
    • -0
    • +26
    ./testdata/18-valued-signals.kixs
    • -0
    • +61
    ./testdata/18-valued-signals.s
merge conflict in de.cau.cs.kieler.klighd.krendering\DiagramLayoutManager

    • -0
    • +25
    ./testdata/00-simpletransition-signal.eso
    • -0
    • +16
    ./testdata/00-simpletransition-signal.kixs
    • -0
    • +37
    ./testdata/00-simpletransition-signal.s
    • -80
    • +79
    ./testdata/01-hierarchycommunication.s
    • -100
    • +99
    ./testdata/02-hierarchyimmediatecommunication.s
    • -36
    • +36
    ./testdata/04-simpletransition-inputoutput.s
    • -62
    • +62
    ./testdata/05-simpletransition-inputoutput-communication.s
    • -1
    • +1
    ./testdata/06-simpletransition-inputoutput-immediate.eso
    • -54
    • +87
    ./testdata/06-simpletransition-inputoutput-immediate.s
    • -40
    • +39
    ./testdata/09-simple-normaltermination-transformed.s
  1. … 693 more files in changeset.
slight model test

    • -1
    • +1
    ./testdata/04-simpletransition-inputoutput.s
Minor: slight code cleanup of S regression tests

    • -1
    • +1
    ./testdata/01-hierarchycommunication.s
    • -1
    • +1
    ./testdata/02-hierarchyimmediatecommunication.s
    • -1
    • +1
    ./testdata/04-simpletransition-inputoutput.s
    • -1
    • +1
    ./testdata/05-simpletransition-inputoutput-communication.s
    • -1
    • +1
    ./testdata/06-simpletransition-inputoutput-immediate.s
    • -1
    • +1
    ./testdata/09-simple-normaltermination-transformed.s
    • -1
    • +1
    ./testdata/10-simple-normaltermination.s
Fixed: two test cases fixed

    • -1
    • +1
    ./testdata/06-simpletransition-inputoutput-immediate.eso
    • binary
    ./testdata/s_sc_validation_headless.execution
Updated regression tests for S, added simple transition test

    • -0
    • +25
    ./testdata/00-simpletransition-signal.eso
    • -0
    • +16
    ./testdata/00-simpletransition-signal.kixs
    • -0
    • +37
    ./testdata/00-simpletransition-signal.s
    • -80
    • +79
    ./testdata/01-hierarchycommunication.s
    • -100
    • +99
    ./testdata/02-hierarchyimmediatecommunication.s
    • -36
    • +36
    ./testdata/04-simpletransition-inputoutput.s
    • -62
    • +62
    ./testdata/05-simpletransition-inputoutput-communication.s
    • -54
    • +87
    ./testdata/06-simpletransition-inputoutput-immediate.s
    • -40
    • +39
    ./testdata/09-simple-normaltermination-transformed.s
    • -37
    • +37
    ./testdata/10-simple-normaltermination.s
    • -103
    • +103
    ./testdata/11-signaltest-simple.s
New regression tests for s simulation

    • -0
    • +35
    ./testdata/13-seqcon-hierarchy.eso
    • -0
    • +92
    ./testdata/13-seqcon-hierarchy.kixs
    • -0
    • +247
    ./testdata/13-seqcon-hierarchy.s
    • -0
    • +43
    ./testdata/14-weakabort-hierarchy.eso
    • -0
    • +55
    ./testdata/14-weakabort-hierarchy.kixs
    • -0
    • +139
    ./testdata/14-weakabort-hierarchy.s
    • -0
    • +25
    ./testdata/15-double-hierarchy.eso
    • -0
    • +32
    ./testdata/15-double-hierarchy.kixs
    • -0
    • +82
    ./testdata/15-double-hierarchy.s
    • -0
    • +25
    ./testdata/16-HostCode.eso
    • -0
    • +19
    ./testdata/16-HostCode.s
sequential concurrent simple example

    • -0
    • +16
    ./testdata/12-seqcon-simple.eso
    • -0
    • +47
    ./testdata/12-seqcon-simple.kixs
    • -0
    • +115
    ./testdata/12-seqcon-simple.s
updated regression test

    • -181
    • +23
    ./testdata/10-simple-normaltermination.s
renewed example

new regression test cases

    • -0
    • +41
    ./testdata/07-ABO.eso
    • -0
    • +33
    ./testdata/07-ABO.kixs
    • -0
    • +72
    ./testdata/08-ABRO.eso
    • -0
    • +40
    ./testdata/08-ABRO.kixs
    • -0
    • +107
    ./testdata/08-ABRO.s
    • -0
    • +32
    ./testdata/09-simple-normaltermination-transformed.eso
    • -0
    • +29
    ./testdata/09-simple-normaltermination-transformed.kixs
    • -0
    • +60
    ./testdata/09-simple-normaltermination-transformed.s
    • -0
    • +32
    ./testdata/10-simple-normaltermination.eso
    • -0
    • +22
    ./testdata/10-simple-normaltermination.kixs
    • -0
    • +214
    ./testdata/10-simple-normaltermination.s
    • -0
    • +16
    ./testdata/11-signaltest-simple.eso
    • -0
    • +207
    ./testdata/11-signaltest-simple.s
renamed execution file, deleted obsolete one

    • binary
    ./testdata/automated-simple.execution
    • binary
    ./testdata/s_sc_validation_headless.execution
fixed: corrected test case

new: Esterel-Simulation test

    • -0
    • +40
    ./testdata/03-simple.eso
    • -0
    • +22
    ./testdata/03-simple.s
  1. … 13 more files in changeset.
fixed: pluginid

removed unnecessary file

    • -2
    • +2
    ./testdata/02-hierarchyimmediatecommunication.eso
Added KiemTestRunner and reorganized KiemAutomatedJunitTest class

  1. … 3 more files in changeset.
removed checkstyle warnings

  1. … 3 more files in changeset.
comments

simplified s sc test

new s regression test cases

    • -0
    • +59
    ./testdata/01-hierarchycommunication.eso
    • -0
    • +35
    ./testdata/01-hierarchycommunication.kixs
    • -0
    • +81
    ./testdata/01-hierarchycommunication.s
    • -0
    • +56
    ./testdata/02-hierarchyimmediatecommunication.eso
    • -0
    • +42
    ./testdata/02-hierarchyimmediatecommunication.kixs
    • -0
    • +101
    ./testdata/02-hierarchyimmediatecommunication.s
    • -0
    • +52
    ./testdata/03-goodcycle.kixs
    • -0
    • +50
    ./testdata/04-simpletransition-inputoutput.eso
    • -0
    • +16
    ./testdata/04-simpletransition-inputoutput.kixs
    • -0
    • +37
    ./testdata/04-simpletransition-inputoutput.s
    • -0
    • +28
    ./testdata/05-simpletransition-inputoutput-communication.kixs
    • -0
    • +47
    ./testdata/06-simpletransition-inputoutput-immediate.eso
    • -0
    • +28
    ./testdata/06-simpletransition-inputoutput-immediate.kixs
    • -0
    • +55
    ./testdata/06-simpletransition-inputoutput-immediate.s