Viewing all changes in revision 213.1.141.
- Committer: Peter G. Jensen
- Date: 2020-07-03 09:19:50 UTC
- mto: This revision was merged to the branch mainline in revision 225.
- Revision ID: root@petergjoel.dk-20200703091950-0wdbe4bezt4obe0t
added simple test-script and test models
- files added:
- run_tests.sh
- test_models
- test_models/FMS2-untimed
- test_models/Kanban2-test001
- test_models/MAPK-test001
- test_models/abp-test001
- test_models/abp-test002
- test_models/abp-test003
- test_models/abp-test004
- test_models/abp-test005
- test_models/abp-test006
- test_models/abp-test007
- test_models/abp-test008
- test_models/arithmetic-test001
- test_models/arithmetic-test002
- test_models/arithmetic-test003
- test_models/arithmetic-test004
- test_models/arithmetic-test005
- test_models/arithmetic-test006
- test_models/arithmetic-test007
- test_models/combined-test001
- test_models/combined-test002
- test_models/combined-test003
- test_models/combined-test004
- test_models/combined-test005
- test_models/combined-test006
- test_models/combined-test007
- test_models/composition-prime-test001
- test_models/composition-prime-test002
- test_models/composition-prime-test003
- test_models/composition-prime-test004
- test_models/composition-prime-test005
- test_models/composition-test001
- test_models/composition-test002
- test_models/composition-test003
- test_models/composition-test004
- test_models/composition-test005
- test_models/composition-test006
- test_models/composition-test007
- test_models/composition-test008
- test_models/composition-test009
- test_models/composition-test010
- test_models/composition-test011
- test_models/composition-test012
- test_models/composition-test013
- test_models/composition-test014
- test_models/composition-test015
- test_models/constant-test001
- test_models/constant-test002
- test_models/continuous-test001
- test_models/continuous-test002
- test_models/continuous-test003
- test_models/continuous-test004
- test_models/continuous-test005
- test_models/continuous-test006
- test_models/continuous-test007
- test_models/continuous-test008
- test_models/continuous-test009
- test_models/deadlock-test001
- test_models/deadlock-test002
- test_models/deadlock-test003
- test_models/deadlock-test004
- test_models/deadlock-test005
- test_models/deadlock-test006
- test_models/deadlock-test007
- test_models/deadlock-test008
- test_models/deadlock-test009
- test_models/deadlock-test010
- test_models/deadlock-test011
- test_models/deadlock-test012
- test_models/deadlock-test013
- test_models/deadlock-test014
- test_models/deadlock-test015
- test_models/deadlock-test016
- test_models/deadlock-test017
- test_models/deadlock-test018
- test_models/deadlock-test019
- test_models/deadlock-test020
- test_models/deadlock-test021
- test_models/discrete-test-009
- test_models/discrete-test001
- test_models/discrete-test002
- test_models/discrete-test003
- test_models/discrete-test004
- test_models/discrete-test005
- test_models/discrete-test006
- test_models/discrete-test007
- test_models/discrete-test008
- test_models/discrete-test009
- test_models/discrete-test010
- test_models/discrete-test011
- test_models/discrete-test012
- test_models/division-test001
- test_models/division-test002
- test_models/error-conjunction-bug-test001
- test_models/error-conjunction-reducer-test002
- test_models/error-encoder-test-001
- test_models/exercise-test001
- test_models/exercise-test002
- test_models/exercise-test003
- test_models/exercise-test004
- test_models/exercise-test005
- test_models/exercise-test006
- test_models/exercise-test007
- test_models/exercise-test008
- test_models/exercise-test009
- test_models/exercise-test010
- test_models/extra-test-001-liveness
- test_models/extra-test-002-search-order
- test_models/extra-test-003-maintanance
- test_models/extra-test-004-burger
- test_models/extra-test-004-transfusion
- test_models/extra-test-005-liveness
- test_models/extra-test-006-liveness
- test_models/extra-test-007-liveness
- test_models/fms-test001
- test_models/inclusion-test001
- test_models/inclusion-test002
- test_models/inclusion-test003
- test_models/inclusion-test004
- test_models/inclusion-test005
- test_models/inclusion-test006
- test_models/inclusion-test007
- test_models/inhibitors-test001
- test_models/inhibitors-test002
- test_models/inhibitors-test003
- test_models/inhibitors-test004
- test_models/invariants-test001
- test_models/invariants-test002
- test_models/invariants-test003
- test_models/invariants-test004
- test_models/invariants-test005
- test_models/invariants-test006
- test_models/invariants-test007
- test_models/invariants-test008
- test_models/invariants-test009
- test_models/invariants-test010
- test_models/invariants-test011
- test_models/lightcross-text001
- test_models/liveness-test001
- test_models/liveness-test002
- test_models/liveness-test003
- test_models/orphans-test001
- test_models/orphans-test002
- test_models/orphans-test003
- test_models/orphans-test004
- test_models/other-test001
- test_models/other-test002
- test_models/other-test003
- test_models/other-test004
- test_models/other-test005
- test_models/other-test006
- test_models/other-test007
- test_models/other-test008
- test_models/other-test009
- test_models/other-test010
- test_models/other-test011
- test_models/other-test012
- test_models/other-test013
- test_models/other-test014
- test_models/other-test015
- test_models/prime-test001
- test_models/prime-test0019
- test_models/prime-test002
- test_models/prime-test0020
- test_models/prime-test0021
- test_models/prime-test0022
- test_models/prime-test003
- test_models/prime-test004
- test_models/prime-test005
- test_models/prime-test006
- test_models/prime-test007
- test_models/prime-test008
- test_models/prime-test009
- test_models/prime-test010
- test_models/prime-test011
- test_models/prime-test012
- test_models/prime-test013
- test_models/prime-test014
- test_models/prime-test015
- test_models/prime-test016
- test_models/prime-test017
- test_models/prime-test018
- test_models/prime-test019
- test_models/prime-test020
- test_models/prime-test023
- test_models/prime-test024
- test_models/productline-test001
- test_models/productline-test002
- test_models/productline-test003
- test_models/productline-test004
- test_models/productline-test005
- test_models/query-test001
- test_models/query-test002
- test_models/query-test003
- test_models/query-test004
- test_models/query-test005
- test_models/reduction-001
- test_models/reduction-002
- test_models/reduction-003
- test_models/reduction-004
- test_models/reduction-005
- test_models/reduction-006
- test_models/reduction-007
- test_models/reduction-008-house
- test_models/reduction-009
- test_models/reduction-010
- test_models/reduction-011
- test_models/reduction-012
- test_models/reduction-013
- test_models/reduction-014
- test_models/reduction-015
- test_models/reduction-016
- test_models/reduction-017
- test_models/reduction-018
- test_models/reduction-019-deadlock
- test_models/reduction-020-deadlock
- test_models/reduction-021-deadlock
- test_models/reduction-022-deadlock
- test_models/reduction-023-deadlock
- test_models/reduction-024
- test_models/reduction-025
- test_models/reduction-026
- test_models/reduction-027
- test_models/reduction-028
- test_models/reduction-029
- test_models/reduction-030
- test_models/reduction-031
- test_models/reduction-032
- test_models/reduction-033
- test_models/reduction-034
- test_models/reduction-035
- test_models/reduction-036
- test_models/reduction-037
- test_models/reduction-038
- test_models/reduction-039
- test_models/reduction-040
- test_models/reduction-041
- test_models/reduction-042
- test_models/reduction-043
- test_models/reduction-044
- test_models/reduction-045
- test_models/reduction-046
- test_models/reduction-047
- test_models/reduction-048
- test_models/reduction-049
- test_models/reduction-050
- test_models/shortest-path-test001
- test_models/shortest-path-test002
- test_models/sim-test001
- test_models/sim-test002
- test_models/simple-test001
- test_models/simple-test002
- test_models/simple-test003
- test_models/simple-test004
- test_models/simple-test005
- test_models/simple-test006
- test_models/simple-test007
- test_models/simple-test008
- test_models/simple-test009
- test_models/simple-test010
- test_models/simple-test011
- test_models/simple-test012
- test_models/simple-test013
- test_models/simple-test014
- test_models/simple-test015
- test_models/simple-test016
- test_models/simple-test017
- test_models/simple-test018
- test_models/simple-test019
- test_models/simple-test020
- test_models/subsetsum-test001
- test_models/subsetsum-test002
- test_models/subsetsum-test003
- test_models/subsetsum-test004
- test_models/subsetsum-test005
- test_models/task-graph-test001
- test_models/trace-test001
- test_models/trace-test002
- test_models/trace-test003
- test_models/trace-test004
- test_models/trace-test005
- test_models/trace-test006
- test_models/trace-test007
- test_models/trace-test008
- test_models/trace-test009
- test_models/train-simple-test001
- test_models/train-simple-test002
- test_models/train-simple-test003
- test_models/train-simple-test004
- test_models/train-simple-test005
- test_models/transInv-test001
- test_models/transInv-test002
- test_models/transInv-test003
- test_models/transInv-test004
- test_models/transInv-test005
- test_models/transport-test001
- test_models/transport-test002
- test_models/transport-test003
- test_models/transport-test004
- test_models/transport-test005
- test_models/transport-test006
- test_models/transport-test007
- test_models/transport-test008
- test_models/transport-test009
- test_models/transport-test010
- test_models/transport-test011
- test_models/transport-test012
- test_models/transport-test013
- test_models/transport-test014
- test_models/transport-test015
- test_models/transport-test016
- test_models/transport-test017
- test_models/transport-test018
- test_models/transport-test019
- test_models/transport-test020
- test_models/transport-test021
- test_models/transport-test022
- test_models/transport-test023
- test_models/tricky-test001
- test_models/tricky-test002
- test_models/tricky-test003
- test_models/tricky-test004
- test_models/untimed-reductions-A-test001
- test_models/untimed-reductions-A-test002
- test_models/untimed-reductions-A-test003
- test_models/untimed-reductions-A-test004
- test_models/untimed-reductions-B-test001
- test_models/untimed-reductions-B-test002
- test_models/untimed-reductions-B-test003
- test_models/untimed-reductions-B-test004
- test_models/untimed-reductions-B-test005
- test_models/untimed-reductions-C-test001
- test_models/untimed-reductions-C-test002
- test_models/untimed-reductions-C-test003
- test_models/untimed-reductions-C-test004
- test_models/untimed-reductions-D-test001
- test_models/untimed-reductions-D-test002
- test_models/untimed-reductions-E-test001
- test_models/untimed-reductions-jacob-A-test001
- test_models/untimed-reductions-jacob-B-test001
- test_models/untimed-reductions-jacob-C-test001
- test_models/untimed-reductions-jacob-D1-test001
- test_models/untimed-reductions-jacob-D2-test001
- test_models/untimed-reductions-jacob-E-test001
- test_models/untimed-reductions-mads-test001
- test_models/untimed-reductions-mads-test002
- test_models/untimed-reductions-mads-test003
- test_models/untimed-reductions-mads-test004
- test_models/untimed-reductions-mads-test005
- test_models/untimed-reductions-mads-test006
- test_models/untimed-reductions-mads-test007
- test_models/untimed-reductions-mads-test008
- test_models/untimed-reductions-mads-test009
- test_models/untimed-test001
- test_models/untimed-test002
- test_models/untimed-test003
- test_models/untimed-test004
- test_models/untimed-test005
- test_models/untimed-test006-philosophers
- test_models/untimed-test007-swimming-pool
- test_models/untimed-test008
- test_models/untimed-test009
- test_models/untimed-test010
- test_models/untimed-test011
- test_models/urgency-test001
- test_models/urgency-test002
- test_models/urgency-test003
- test_models/urgency-test004
- test_models/urgency-test005
- test_models/urgency-test006
- test_models/urgency-test007
- test_models/urgency-test008
- test_models/urgency-test009
- test_models/urgency-test010
- test_models/urgency-test011
- test_models/urgency-test012
- test_models/urgency-test013
- test_models/urgency-test014
- test_models/urgency-test015
- test_models/urgency-test016
- test_models/urgency-test017
- test_models/weighted-test001
- test_models/weighted-test002
- test_models/weighted-test003
- test_models/weighted-test004
- test_models/workflow-test001
- test_models/workflow-test002
- test_models/workflow-test003
- test_models/workflow-test004
- test_models/workflow-test005
- test_models/workflow-test006
- test_models/workflow-test007
- test_models/workflow-test008
- test_models/workflow-test009
- test_models/workflow-test010
- test_models/workflow-test011
- test_models/workflow-test012
- test_models/workflow-test013
- test_models/workflow-test014
- test_models/workflow-test015
- test_models/workflow-test016
expand all
collapse all
added
removed
