Class org.cte.ABCD.fiacre.tests.ABCD4UMLExplorationTest
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