Class org.cte.ABCD.fiacre.tests.ABCD4UMLExplorationTest

8

tests

0

failures

0

ignored

3.018s

duration

100%

successful

Tests

Test Duration Result
testComplexEvents 0.328s passed
testExampleDefer 0.284s passed
testPassing 0.051s passed
testPingPong 0.240s passed
testPingPongMultiple 0.228s passed
testPingPongMultipleSigned 0.268s passed
testPingPongMultipleSignedSelect 1.386s passed
testSingleTransitionTypesByLuka 0.233s passed

Standard output

[Converting ../ABCD/examples/uml/uml_pingpongs/pingpong_multiple_signed_select.abcd to fiacre]
------------------------------------------------------------------
[Compiling tmp/pingpong_multiple_signed_select.fcr]
incorrect classpath: /Users/ciprian/Downloads/abcd-tests/build/resources/test
incorrect classpath: /Users/ciprian/Downloads/abcd-tests/build/classes/main/abcd2fiacre
incorrect classpath: /Users/ciprian/Downloads/abcd-tests/build/resources/main
[Exploring program test.compiled.pingpong_multiple_signed_select.Pingpong_multiple_signed_selectRoot]
Exploring program 'test.compiled.pingpong_multiple_signed_select.Pingpong_multiple_signed_selectRoot'.
--------------------Synthesis---------------------
Explored 6 states and 9 transitions in 0.008 seconds.
Exploration ended normally.
Result is stored in file '/Users/ciprian/Downloads/abcd-tests/abcd2fiacre/tmp/test.compiled.pingpong_multiple_signed_select.Pingpong_multiple_signed_selectRoot.confs'.

--------------------Verification---------------------
--------------------Warning---------------------
No warning.
[Reading confs file tmp/test.compiled.pingpong_multiple_signed_select.Pingpong_multiple_signed_selectRoot.confs]
Read configurations 6 and 9 actions.
[Converting ../ABCD/examples/uml/uml_pingpongs/pingpong_multiple_signed.abcd to fiacre]
------------------------------------------------------------------
[Compiling tmp/pingpong_multiple_signed.fcr]
incorrect classpath: /Users/ciprian/Downloads/abcd-tests/build/resources/test
incorrect classpath: /Users/ciprian/Downloads/abcd-tests/build/classes/main/abcd2fiacre
incorrect classpath: /Users/ciprian/Downloads/abcd-tests/build/resources/main
[Exploring program test.compiled.pingpong_multiple_signed.Pingpong_multiple_signedRoot]
Exploring program 'test.compiled.pingpong_multiple_signed.Pingpong_multiple_signedRoot'.
--------------------Synthesis---------------------
Explored 7 states and 9 transitions in 0.002 seconds.
Exploration ended normally.
Result is stored in file '/Users/ciprian/Downloads/abcd-tests/abcd2fiacre/tmp/test.compiled.pingpong_multiple_signed.Pingpong_multiple_signedRoot.confs'.

--------------------Verification---------------------
--------------------Warning---------------------
No warning.
[Reading confs file tmp/test.compiled.pingpong_multiple_signed.Pingpong_multiple_signedRoot.confs]
Read configurations 7 and 9 actions.
[Converting ../ABCD/examples/uml/uml_pingpongs/pingpong.abcd to fiacre]
------------------------------------------------------------------
[Compiling tmp/pingpong.fcr]
incorrect classpath: /Users/ciprian/Downloads/abcd-tests/build/resources/test
incorrect classpath: /Users/ciprian/Downloads/abcd-tests/build/classes/main/abcd2fiacre
incorrect classpath: /Users/ciprian/Downloads/abcd-tests/build/resources/main
[Exploring program test.compiled.pingpong.PingpongRoot]
Exploring program 'test.compiled.pingpong.PingpongRoot'.
--------------------Synthesis---------------------
Explored 3 states and 3 transitions in 0.002 seconds.
Exploration ended normally.
Result is stored in file '/Users/ciprian/Downloads/abcd-tests/abcd2fiacre/tmp/test.compiled.pingpong.PingpongRoot.confs'.

--------------------Verification---------------------
--------------------Warning---------------------
No warning.
[Reading confs file tmp/test.compiled.pingpong.PingpongRoot.confs]
Read configurations 3 and 3 actions.
[Converting ../ABCD/examples/uml/uml_pingpongs/pingpong_multiple.abcd to fiacre]
------------------------------------------------------------------
[Compiling tmp/pingpong_multiple.fcr]
incorrect classpath: /Users/ciprian/Downloads/abcd-tests/build/resources/test
incorrect classpath: /Users/ciprian/Downloads/abcd-tests/build/classes/main/abcd2fiacre
incorrect classpath: /Users/ciprian/Downloads/abcd-tests/build/resources/main
[Exploring program test.compiled.pingpong_multiple.Pingpong_multipleRoot]
Exploring program 'test.compiled.pingpong_multiple.Pingpong_multipleRoot'.
--------------------Synthesis---------------------
Explored 63 states and 103 transitions in 0.009 seconds.
Exploration ended normally.
Result is stored in file '/Users/ciprian/Downloads/abcd-tests/abcd2fiacre/tmp/test.compiled.pingpong_multiple.Pingpong_multipleRoot.confs'.

--------------------Verification---------------------
--------------------Warning---------------------
Final states: 50, 62, 61, 59, 54, 57

[Reading confs file tmp/test.compiled.pingpong_multiple.Pingpong_multipleRoot.confs]
Read configurations 63 and 103 actions.
[Converting ../ABCD/examples/uml/complexEvents.abcd to fiacre]
------------------------------------------------------------------
[Compiling tmp/complexEvents.fcr]
incorrect classpath: /Users/ciprian/Downloads/abcd-tests/build/resources/test
incorrect classpath: /Users/ciprian/Downloads/abcd-tests/build/classes/main/abcd2fiacre
incorrect classpath: /Users/ciprian/Downloads/abcd-tests/build/resources/main
[Exploring program test.compiled.complexevents.ComplexEventsRoot]
Exploring program 'test.compiled.complexevents.ComplexEventsRoot'.
--------------------Synthesis---------------------
Explored 1,416 states and 2,124 transitions in 0.056 seconds.
Exploration ended normally.
Result is stored in file '/Users/ciprian/Downloads/abcd-tests/abcd2fiacre/tmp/test.compiled.complexevents.ComplexEventsRoot.confs'.

--------------------Verification---------------------
--------------------Warning---------------------
No warning.
[Reading confs file tmp/test.compiled.complexevents.ComplexEventsRoot.confs]
Read configurations 1416 and 2124 actions.
[Converting ../ABCD/examples/uml/example_defer.abcd to fiacre]
------------------------------------------------------------------
[Compiling tmp/example_defer.fcr]
incorrect classpath: /Users/ciprian/Downloads/abcd-tests/build/resources/test
incorrect classpath: /Users/ciprian/Downloads/abcd-tests/build/classes/main/abcd2fiacre
incorrect classpath: /Users/ciprian/Downloads/abcd-tests/build/resources/main
[Exploring program test.compiled.example_defer.Example_deferRoot]
Exploring program 'test.compiled.example_defer.Example_deferRoot'.
--------------------Synthesis---------------------
Explored 30 states and 59 transitions in 0.004 seconds.
Exploration ended normally.
Result is stored in file '/Users/ciprian/Downloads/abcd-tests/abcd2fiacre/tmp/test.compiled.example_defer.Example_deferRoot.confs'.

--------------------Verification---------------------
--------------------Warning---------------------
Final states: 26

[Reading confs file tmp/test.compiled.example_defer.Example_deferRoot.confs]
Read configurations 30 and 59 actions.
[Converting ../ABCD/examples/uml/example_single_transition_types_by_luka.abcd to fiacre]
------------------------------------------------------------------
[Compiling tmp/example_single_transition_types_by_luka.fcr]
incorrect classpath: /Users/ciprian/Downloads/abcd-tests/build/resources/test
incorrect classpath: /Users/ciprian/Downloads/abcd-tests/build/classes/main/abcd2fiacre
incorrect classpath: /Users/ciprian/Downloads/abcd-tests/build/resources/main
[Exploring program test.compiled.example_single_transition_types_by_luka.Example_single_transition_types_by_lukaRoot]
Exploring program 'test.compiled.example_single_transition_types_by_luka.Example_single_transition_types_by_lukaRoot'.
--------------------Synthesis---------------------
Explored 90 states and 189 transitions in 0.008 seconds.
Exploration ended normally.
Result is stored in file '/Users/ciprian/Downloads/abcd-tests/abcd2fiacre/tmp/test.compiled.example_single_transition_types_by_luka.Example_single_transition_types_by_lukaRoot.confs'.

--------------------Verification---------------------
--------------------Warning---------------------
Final states: 74, 82

[Reading confs file tmp/test.compiled.example_single_transition_types_by_luka.Example_single_transition_types_by_lukaRoot.confs]
Read configurations 90 and 189 actions.

Standard error

Exploration with: BFSExplorer
The DBM has 0 clocks
Exploration with: BFSExplorer
The DBM has 0 clocks
Exploration with: BFSExplorer
The DBM has 0 clocks
Exploration with: BFSExplorer
The DBM has 0 clocks
Exploration with: BFSExplorer
The DBM has 0 clocks
Exploration with: BFSExplorer
The DBM has 0 clocks
Exploration with: BFSExplorer
The DBM has 0 clocks