cmake -DPythonVersion=3 ../ does not work?,about nickovic/rtamt

Comments (36)

andersonjwan commented on August 13, 2024 1

Hello, just wanted to say thanks for the tool.

I was able to fix this bug in order to build the correct C++ libraries via the CMakeLists.txt located under rtamt/rtamt/cpplib/stl/rtamt_stl_library_wrapper/. When searching for the package, the function that fails is find_package(Boost REQUIRED COMPONENTS system python-py35).

To fix this, the issue lies in assuming the canonical name of the package via the distribution used. I use Fedora, and so it seemed that the shared objects to link for Boost were labeled libboost_python38.so, not libboost_python-py35.so. Making this change in the cmake list file to

find_package(Boost REQUIRED COMPONENTS system python38)

resolved the issue, and the configuration was complete, and I was able to continue with the installation.

from rtamt.

Agnishom commented on August 13, 2024 1

My operating system is Ubuntu 20.04.1 LTS

from rtamt.

TomyYamy commented on August 13, 2024

@nickovic Did you fix it? If not I can fix it.

from rtamt.

Agnishom commented on August 13, 2024

I was able to fix this bug by going to rtamt/rtamt/cpplib/stl/rtamt_stl_library_wrapper/CMakeLists.txt and then changing line 16 to find_package(Boost REQUIRED COMPONENTS system python)

from rtamt.

Agnishom commented on August 13, 2024

Was this bug closed because the problem was resolved? I tried cloning this repository (a couple of hours ago) and tried doing build$ cmake -DPythonVersion=3 ../ and it did not work until I applied the fix I mentioned above

from rtamt.

TomyYamy commented on August 13, 2024

Sorry for that. We expected we fixed it.
Let me open it and check again with new commit.

from rtamt.

TomyYamy commented on August 13, 2024

Yes. I find same issue with cmake 3.19.2

$ cmake -DPythonVersion=3 ../
CMake Warning (dev) in CMakeLists.txt:
  No project() command is present.  The top-level CMakeLists.txt file must
  contain a literal, direct call to the project() command.  Add a line of
  code such as

    project(ProjectName)

  near the top of the file, but after cmake_minimum_required().

  CMake is pretending there is a "project(Project)" command on the first
  line.
This warning is for project developers.  Use -Wno-dev to suppress it.

CMake Warning at /usr/local/share/cmake-3.19/Modules/FindBoost.cmake:2034 (message):
  No header defined for python-py35; skipping header check (note: header-only
  libraries have no designated component)
Call Stack (most recent call first):
  cpplib/stl/rtamt_stl_library_wrapper/CMakeLists.txt:16 (find_package)


CMake Error at /usr/local/share/cmake-3.19/Modules/FindPackageHandleStandardArgs.cmake:218 (message):
  Could NOT find Boost (missing: python-py35) (found version "1.65.1")
Call Stack (most recent call first):
  /usr/local/share/cmake-3.19/Modules/FindPackageHandleStandardArgs.cmake:582 (_FPHSA_FAILURE_MESSAGE)
  /usr/local/share/cmake-3.19/Modules/FindBoost.cmake:2193 (find_package_handle_standard_args)
  cpplib/stl/rtamt_stl_library_wrapper/CMakeLists.txt:16 (find_package)


-- Configuring incomplete, errors occurred!
See also "/home/tomoya/repos/rtamt/rtamt/build/CMakeFiles/CMakeOutput.log".

from rtamt.

TomyYamy commented on August 13, 2024

@Agnishom
As you pointed out in Aug.
rtamt/cpplib/stl/rtamt_stl_library_wrapper/CMakeLists.txt

find_package(Boost REQUIRED COMPONENTS system python-py35).

is cause.
In my case,

find_package(Boost REQUIRED COMPONENTS system python-py36).

Sorry for so long delay even you pointed out the cause.
I made a branch for this issue. branch iss34.

from rtamt.

TomyYamy commented on August 13, 2024

@nickovic
I think rtamt/cpplib/stl/rtamt_stl_library_wrapper/CMakeLists.txt has problem.
I'm using Ubuntu 18.04. Standard python2 version is 2.7 and python3 is 3.6.

I think the version is depend on OS version or environment.
I think we need to automatically get python version info. in cmake then apply it before,

find_package(Boost REQUIRED COMPONENTS system python-py36).

Do you have solution for that?

from rtamt.

TomyYamy commented on August 13, 2024

@nickovic
I think I could fix it.

find_package(Boost REQUIRED COMPONENTS system python-py${Python3_VERSION_MAJOR}${Python3_VERSION_MINOR})

is maybe good solution.

Please see latest branch iss34.

from rtamt.

Agnishom commented on August 13, 2024

Trying to run cmake in the iss34 branch, I am getting this error:

-- The CXX compiler identification is GNU 9.3.0
-- Check for working C compiler: /usr/bin/cc
-- Check for working C compiler: /usr/bin/cc -- works
-- Detecting C compiler ABI info
-- Detecting C compiler ABI info - done
-- Detecting C compile features
-- Detecting C compile features - done
-- Check for working CXX compiler: /usr/bin/c++
-- Check for working CXX compiler: /usr/bin/c++ -- works
-- Detecting CXX compiler ABI info
-- Detecting CXX compiler ABI info - done
-- Detecting CXX compile features
-- Detecting CXX compile features - done
-- Found Python3: /usr/bin/python3.8 (found version "3.8.5") found components: Interpreter Development 
CMake Error at /usr/lib/x86_64-linux-gnu/cmake/Boost-1.71.0/BoostConfig.cmake:117 (find_package):
  Could not find a package configuration file provided by "boost_python-py38"
  (requested version 1.71.0) with any of the following names:

    boost_python-py38Config.cmake
    boost_python-py38-config.cmake

  Add the installation prefix of "boost_python-py38" to CMAKE_PREFIX_PATH or
  set "boost_python-py38_DIR" to a directory containing one of the above
  files.  If "boost_python-py38" provides a separate development package or
  SDK, be sure it has been installed.
Call Stack (most recent call first):
  /usr/lib/x86_64-linux-gnu/cmake/Boost-1.71.0/BoostConfig.cmake:182 (boost_find_component)
  /usr/share/cmake-3.16/Modules/FindBoost.cmake:443 (find_package)
  cpplib/stl/rtamt_stl_library_wrapper/CMakeLists.txt:16 (find_package)

from rtamt.

TomyYamy commented on August 13, 2024

@Agnishom Sorry for that. I tried Ubuntu 18.04, python 3.6.
I find you are using python 3.8. Could you tell us your distribution (OS and version) too?

from rtamt.

TomyYamy commented on August 13, 2024

I represented same issue in Ubuntu 20.04

/rtamt/rtamt/build$ cmake -DPythonVersion=3 ../
CMake Warning (dev) in CMakeLists.txt:
  No project() command is present.  The top-level CMakeLists.txt file must
  contain a literal, direct call to the project() command.  Add a line of
  code such as

    project(ProjectName)

  near the top of the file, but after cmake_minimum_required().

  CMake is pretending there is a "project(Project)" command on the first
  line.
This warning is for project developers.  Use -Wno-dev to suppress it.

CMake Error at /usr/lib/x86_64-linux-gnu/cmake/Boost-1.71.0/BoostConfig.cmake:117 (find_package):
  Could not find a package configuration file provided by "boost_python-py38"
  (requested version 1.71.0) with any of the following names:

    boost_python-py38Config.cmake
    boost_python-py38-config.cmake

  Add the installation prefix of "boost_python-py38" to CMAKE_PREFIX_PATH or
  set "boost_python-py38_DIR" to a directory containing one of the above
  files.  If "boost_python-py38" provides a separate development package or
  SDK, be sure it has been installed.
Call Stack (most recent call first):
  /usr/lib/x86_64-linux-gnu/cmake/Boost-1.71.0/BoostConfig.cmake:182 (boost_find_component)
  /usr/share/cmake-3.16/Modules/FindBoost.cmake:443 (find_package)
  cpplib/stl/rtamt_stl_library_wrapper/CMakeLists.txt:16 (find_package)


-- Configuring incomplete, errors occurred!
See also "/repos/rtamt/rtamt/build/CMakeFiles/CMakeOutput.log".
See also "/repos/rtamt/rtamt/build/CMakeFiles/CMakeError.log".

from rtamt.

TomyYamy commented on August 13, 2024

I find,

$ locate libboost_python
/usr/lib/x86_64-linux-gnu/libboost_python38.a
/usr/lib/x86_64-linux-gnu/libboost_python38.so
/usr/lib/x86_64-linux-gnu/libboost_python38.so.1.71.0
/usr/lib/x86_64-linux-gnu/cmake/boost_python-1.71.0/libboost_python-variant-shared-py3.8.cmake
/usr/lib/x86_64-linux-gnu/cmake/boost_python-1.71.0/libboost_python-variant-static-py3.8.cmake

I'm not sure why "boost_python-py38" does not work.

from rtamt.

TomyYamy commented on August 13, 2024

@Agnishom
Sorry for our delay. Maybe it seems to be cmake issue in Ubuntu 20.04. We are looking the solution.
I'm making docker branch. Perhaps it is workaround for you.
Let me share progress here soon next week too.

from rtamt.

TomyYamy commented on August 13, 2024

@nickovic
Once I merge the iss34 into master. because at least it fix Ubuntu16.04 and 18.04 issues.

from rtamt.

Agnishom commented on August 13, 2024

I was able to fix this bug by going to rtamt/rtamt/cpplib/stl/rtamt_stl_library_wrapper/CMakeLists.txt and then changing line 16 to find_package(Boost REQUIRED COMPONENTS system python)

Thank you for looking into this. One temporary way to fix this as I see is this

from rtamt.

TomyYamy commented on August 13, 2024

@Agnishom Oh, it works!

from rtamt.

TomyYamy commented on August 13, 2024

@nickovic
Could you see the latest branch iss34-2?
the cmake seems to work with Ubuntu18.04 python3.6 and Ubuntu20.04 python3.8.
But I did not check it works really.
Could you tell me a test case which uses C++?

from rtamt.

Agnishom commented on August 13, 2024

@Agnishom Oh, it works!

Yes, it works if you change line 16 in this manner. But this was not the change that was added in the latest pull request, though.

from rtamt.

TomyYamy commented on August 13, 2024

@Agnishom Thank you for your suggestion.

But this was not the change that was added in the latest pull request, though.

Yes. I merged once iss34 and make additional branch iss34-2. Sorry for confusion.
I put your suggestion at branch iss34-2 e0dc2c6

if(PythonVersion EQUAL 2)
    find_package(Python2 COMPONENTS Interpreter Development REQUIRED)
    find_package(Boost REQUIRED COMPONENTS system python-py${Python2_VERSION_MAJOR}${Python2_VERSION_MINOR})
    set(PYTHON_LIBRARIES ${Python2_LIBRARIES})
    set(PYTHON_INCLUDE_DIRS ${Python2_INCLUDE_DIRS})
elseif(PythonVersion EQUAL 3)
    find_package(Python3 COMPONENTS Interpreter Development REQUIRED)
    if(${Python3_VERSION_MAJOR}${Python3_VERSION_MINOR} LESS_EQUAL 36)
    	find_package(Boost REQUIRED COMPONENTS system python-py${Python3_VERSION_MAJOR}${Python3_VERSION_MINOR})
    else()
    	find_package(Boost REQUIRED COMPONENTS system python)
    endif()
    set(PYTHON_LIBRARIES ${Python3_LIBRARIES})
    set(PYTHON_INCLUDE_DIRS ${Python3_INCLUDE_DIRS})
endif()

I'm not sure, "python-py36" and "python" are same meaning of package.
Let us check it for a while.

from rtamt.

TomyYamy commented on August 13, 2024

@nickovic
I did rebase iss34-2 branch.
Sorry It has issue with Ubuntu 18.04 and python 3.6

$ python3 -m unittest discover tests/
...................................................................................................................................................................................../mnt/data/repos/rtamt/tests/python/spec/test_stl_spec_dense_time_online_evaluation.py:662: DeprecationWarning: Please use assertRaises instead.
  self.failUnlessRaises(rtamt.STLNotImplementedException, spec.update, ['req', [0.0, 3.0]])
......................................................................../mnt/data/repos/rtamt/tests/python/spec/test_stl_spec_discrete_time_online_evaluation.py:510: DeprecationWarning: Please use assertRaises instead.
  self.failUnlessRaises(rtamt.STLNotImplementedException, spec.update, 0, [('req', self.left1)])
........................................
----------------------------------------------------------------------
Ran 293 tests in 0.172s

OK

from rtamt.

TomyYamy commented on August 13, 2024

@nickovic
As you expected, The ebased iss34-2 branch has issue Ubuntu 20.04 and python 3.8

$ python3 -m unittest discover tests/
/mnt/data/repos/rtamt/rtamt/spec/stl/discrete_time/specification.py:150: SyntaxWarning: "is not" with a literal. Did you mean "!="?
  if len(args) is not 1:
/mnt/data/repos/rtamt/rtamt/spec/stl/discrete_time/specification.py:182: SyntaxWarning: "is not" with a literal. Did you mean "!="?
  if key is not 'time':
...................................................................................................................................................................................../mnt/data/repos/rtamt/tests/python/spec/test_stl_spec_dense_time_online_evaluation.py:662: DeprecationWarning: Please use assertRaises instead.
  self.failUnlessRaises(rtamt.STLNotImplementedException, spec.update, ['req', [0.0, 3.0]])
......................................................................../mnt/data/repos/rtamt/tests/python/spec/test_stl_spec_discrete_time_online_evaluation.py:510: DeprecationWarning: Please use assertRaises instead.
  self.failUnlessRaises(rtamt.STLNotImplementedException, spec.update, 0, [('req', self.left1)])
........................................
----------------------------------------------------------------------
Ran 293 tests in 0.130s

OK

from rtamt.

TomyYamy commented on August 13, 2024

@nickovic
I tried master 93c3aea with Ubuntu 18.04 and python 3.6
It seems to work.

$ python3 -m unittest discover tests/
.....................................................................................................Hello
s
sampling period unit: s
1000000000
1000000000
Hello
s
sampling period unit: s
1000000000
1000000000
.............................................Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
...../mnt/data/repos/rtamt/tests/python/spec/test_stl_spec_dense_time_online_evaluation.py:662: DeprecationWarning: Please use assertRaises instead.
  self.failUnlessRaises(rtamt.STLNotImplementedException, spec.update, ['req', [0.0, 3.0]])
................................Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
/mnt/data/repos/rtamt/tests/python/spec/test_stl_spec_discrete_time_online_evaluation.py:510: DeprecationWarning: Please use assertRaises instead.
  self.failUnlessRaises(rtamt.STLNotImplementedException, spec.update, 0, [('req', self.left1)])
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.
----------------------------------------------------------------------
Ran 293 tests in 0.153s

OK

from rtamt.

TomyYamy commented on August 13, 2024

@nickovic
I did rebase the iss34-2 into the latest master.
I tried iss34-2 504bce1 with Ubuntu 20.04 and python 3.8

$ python3 -m unittest discover tests/
/mnt/data/repos/rtamt/rtamt/spec/stl/discrete_time/specification.py:188: SyntaxWarning: "is not" with a literal. Did you mean "!="?
  if key is not 'time':
.....................................................................................................Hello
s
sampling period unit: s
1000000000
1000000000
Hello
s
sampling period unit: s
1000000000
1000000000
.............................................Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
...../mnt/data/repos/rtamt/tests/python/spec/test_stl_spec_dense_time_online_evaluation.py:662: DeprecationWarning: Please use assertRaises instead.
  self.failUnlessRaises(rtamt.STLNotImplementedException, spec.update, ['req', [0.0, 3.0]])
................................Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
/mnt/data/repos/rtamt/tests/python/spec/test_stl_spec_discrete_time_online_evaluation.py:510: DeprecationWarning: Please use assertRaises instead.
  self.failUnlessRaises(rtamt.STLNotImplementedException, spec.update, 0, [('req', self.left1)])
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.
----------------------------------------------------------------------
Ran 293 tests in 0.135s

OK

from rtamt.

TomyYamy commented on August 13, 2024

@nickovic
Still both are something suspicious.

/mnt/data/repos/rtamt/tests/python/spec/test_stl_spec_discrete_time_online_evaluation.py:510: DeprecationWarning: Please use assertRaises instead.
  self.failUnlessRaises(rtamt.STLNotImplementedException, spec.update, 0, [('req', self.left1)])

from rtamt.

nickovic commented on August 13, 2024

@TomyYamy : can you please try the branch issue34_remaining_warnings to see if everything works on Ubuntu 20.04?

from rtamt.

TomyYamy commented on August 13, 2024

@nickovic
I merge the issue34_remaining_warnings in to iss34-2 branch b0c2106
then try it with Ubuntu 18.04 and Python36. The issue remains.

/rtamt$ python3 -m unittest discover tests/
.....................................................................................................Hello
s
sampling period unit: s
1000000000
1000000000
Hello
s
sampling period unit: s
1000000000
1000000000
.............................................Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.....................................Hello
s
sampling period unit: s
1000000000
1000000000
FHello
s
sampling period unit: s
1000000000
1000000000
FHello
s
sampling period unit: s
1000000000
1000000000
FHello
s
sampling period unit: s
1000000000
1000000000
FHello
s
sampling period unit: s
1000000000
1000000000
FHello
s
sampling period unit: s
1000000000
1000000000
FHello
s
sampling period unit: s
1000000000
1000000000
FHello
s
sampling period unit: s
1000000000
1000000000
FHello
s
sampling period unit: s
1000000000
1000000000
FHello
s
sampling period unit: s
1000000000
1000000000
FHello
s
sampling period unit: s
1000000000
1000000000
FHello
s
sampling period unit: s
1000000000
1000000000
FHello
s
sampling period unit: s
1000000000
1000000000
FHello
s
sampling period unit: s
1000000000
1000000000
FHello
s
sampling period unit: s
1000000000
1000000000
FHello
s
sampling period unit: s
1000000000
1000000000
FHello
s
sampling period unit: s
1000000000
1000000000
FHello
s
sampling period unit: s
1000000000
1000000000
FHello
s
sampling period unit: s
1000000000
1000000000
FHello
s
sampling period unit: s
1000000000
1000000000
FHello
s
sampling period unit: s
1000000000
1000000000
FHello
s
sampling period unit: s
1000000000
1000000000
FHello
s
sampling period unit: s
1000000000
1000000000
FHello
s
sampling period unit: s
1000000000
1000000000
FHello
s
sampling period unit: s
1000000000
1000000000
FHello
s
sampling period unit: s
1000000000
1000000000
FHello
s
sampling period unit: s
1000000000
1000000000
FHello
s
sampling period unit: s
1000000000
1000000000
FHello
s
sampling period unit: s
1000000000
1000000000
FHello
s
sampling period unit: s
1000000000
1000000000
FHello
s
sampling period unit: s
1000000000
1000000000
FHello
s
sampling period unit: s
1000000000
1000000000
FHello
s
sampling period unit: s
1000000000
1000000000
FHello
s
sampling period unit: s
1000000000
1000000000
FHello
s
sampling period unit: s
1000000000
1000000000
FHello
s
sampling period unit: s
1000000000
1000000000
FHello
s
sampling period unit: s
1000000000
1000000000
FHello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
/mnt/data/repos/rtamt/tests/python/spec/test_stl_spec_discrete_time_online_evaluation.py:429: DeprecationWarning: Please use assertRaises instead.
  self.failUnlessRaises(rtamt.LTLPastifyException, spec.pastify)
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.
======================================================================
FAIL: test_abs (python.spec.test_stl_spec_discrete_time_offline_evaluation.TestSTLEvaluation)
----------------------------------------------------------------------
Traceback (most recent call last):
  File "/mnt/data/repos/rtamt/tests/python/spec/test_stl_spec_discrete_time_offline_evaluation.py", line 99, in test_abs
    self.assertListEqual(out, expected, "abs")
AssertionError: Lists differ: [[0, 1, 2, 3, 4], [100, 1, 2, 5, 1]] != [[0, 100], [1, 1], [2, 2], [3, 5], [4, 1]]

First differing element 0:
[0, 1, 2, 3, 4]
[0, 100]

Second list contains 3 additional elements.
First extra element 2:
[2, 2]

- [[0, 1, 2, 3, 4], [100, 1, 2, 5, 1]]
+ [[0, 100], [1, 1], [2, 2], [3, 5], [4, 1]] : abs

======================================================================
FAIL: test_addition (python.spec.test_stl_spec_discrete_time_offline_evaluation.TestSTLEvaluation)
----------------------------------------------------------------------
Traceback (most recent call last):
  File "/mnt/data/repos/rtamt/tests/python/spec/test_stl_spec_discrete_time_offline_evaluation.py", line 48, in test_addition
    self.assertListEqual(out, expected, "addition")
AssertionError: Lists differ: [[0, 1, 2, 3, 4], [120, -3, 8, 9, -2]] != [[0, 120], [1, -3], [2, 8], [3, 9], [4, -2]]

First differing element 0:
[0, 1, 2, 3, 4]
[0, 120]

Second list contains 3 additional elements.
First extra element 2:
[2, 8]

- [[0, 1, 2, 3, 4], [120, -3, 8, 9, -2]]
+ [[0, 120], [1, -3], [2, 8], [3, 9], [4, -2]] : addition

======================================================================
FAIL: test_always (python.spec.test_stl_spec_discrete_time_offline_evaluation.TestSTLEvaluation)
----------------------------------------------------------------------
Traceback (most recent call last):
  File "/mnt/data/repos/rtamt/tests/python/spec/test_stl_spec_discrete_time_offline_evaluation.py", line 201, in test_always
    self.assertListEqual(out, expected, "always")
AssertionError: Lists differ: [[0, 1, 2, 3, 4], [-2, -2, -2, -1, -1]] != [[0, -2], [1, -2], [2, -2], [3, -1], [4, -1]]

First differing element 0:
[0, 1, 2, 3, 4]
[0, -2]

Second list contains 3 additional elements.
First extra element 2:
[2, -2]

- [[0, 1, 2, 3, 4], [-2, -2, -2, -1, -1]]
+ [[0, -2], [1, -2], [2, -2], [3, -1], [4, -1]] : always

======================================================================
FAIL: test_always_0_1 (python.spec.test_stl_spec_discrete_time_offline_evaluation.TestSTLEvaluation)
----------------------------------------------------------------------
Traceback (most recent call last):
  File "/mnt/data/repos/rtamt/tests/python/spec/test_stl_spec_discrete_time_offline_evaluation.py", line 213, in test_always_0_1
    self.assertListEqual(out, expected, "always[0,1]")
AssertionError: Lists differ: [[0, 1, 2, 3, 4], [-1, -2, -2, -1, -1]] != [[0, -1], [1, -2], [2, -2], [3, -1], [4, -1]]

First differing element 0:
[0, 1, 2, 3, 4]
[0, -1]

Second list contains 3 additional elements.
First extra element 2:
[2, -2]

- [[0, 1, 2, 3, 4], [-1, -2, -2, -1, -1]]
+ [[0, -1], [1, -2], [2, -2], [3, -1], [4, -1]] : always[0,1]

======================================================================
FAIL: test_and (python.spec.test_stl_spec_discrete_time_offline_evaluation.TestSTLEvaluation)
----------------------------------------------------------------------
Traceback (most recent call last):
  File "/mnt/data/repos/rtamt/tests/python/spec/test_stl_spec_discrete_time_offline_evaluation.py", line 136, in test_and
    self.assertListEqual(out, expected, "and")
AssertionError: Lists differ: [[0, 1, 2, 3, 4], [20, -2, -2, 4, -1]] != [[0, 20], [1, -2], [2, -2], [3, 4], [4, -1]]

First differing element 0:
[0, 1, 2, 3, 4]
[0, 20]

Second list contains 3 additional elements.
First extra element 2:
[2, -2]

- [[0, 1, 2, 3, 4], [20, -2, -2, 4, -1]]
+ [[0, 20], [1, -2], [2, -2], [3, 4], [4, -1]] : and

======================================================================
FAIL: test_constant_1 (python.spec.test_stl_spec_discrete_time_offline_evaluation.TestSTLEvaluation)
----------------------------------------------------------------------
Traceback (most recent call last):
  File "/mnt/data/repos/rtamt/tests/python/spec/test_stl_spec_discrete_time_offline_evaluation.py", line 23, in test_constant_1
    self.assertListEqual(out, expected, "constant")
AssertionError: Lists differ: [[0, 1, 2, 3, 4], [5.0, 5.0, 5.0, 5.0, 5.0]] != [[0, 5], [1, 5], [2, 5], [3, 5], [4, 5]]

First differing element 0:
[0, 1, 2, 3, 4]
[0, 5]

Second list contains 3 additional elements.
First extra element 2:
[2, 5]

- [[0, 1, 2, 3, 4], [5.0, 5.0, 5.0, 5.0, 5.0]]
+ [[0, 5], [1, 5], [2, 5], [3, 5], [4, 5]] : constant

======================================================================
FAIL: test_constant_2 (python.spec.test_stl_spec_discrete_time_offline_evaluation.TestSTLEvaluation)
----------------------------------------------------------------------
Traceback (most recent call last):
  File "/mnt/data/repos/rtamt/tests/python/spec/test_stl_spec_discrete_time_offline_evaluation.py", line 35, in test_constant_2
    self.assertListEqual(out, expected, "constant")
AssertionError: Lists differ: [[0, 1, 2, 3, 4], [5.0, 5.0, 5.0, 5.0, 5.0]] != [[0, 5], [1, 5], [2, 5], [3, 5], [4, 5]]

First differing element 0:
[0, 1, 2, 3, 4]
[0, 5]

Second list contains 3 additional elements.
First extra element 2:
[2, 5]

- [[0, 1, 2, 3, 4], [5.0, 5.0, 5.0, 5.0, 5.0]]
+ [[0, 5], [1, 5], [2, 5], [3, 5], [4, 5]] : constant

======================================================================
FAIL: test_division (python.spec.test_stl_spec_discrete_time_offline_evaluation.TestSTLEvaluation)
----------------------------------------------------------------------
Traceback (most recent call last):
  File "/mnt/data/repos/rtamt/tests/python/spec/test_stl_spec_discrete_time_offline_evaluation.py", line 87, in test_division
    self.assertListEqual(out, expected, "division")
AssertionError: Lists differ: [[0, 1, 2, 3, 4], [5.0, 0.5, -0.2, 1.25, 1.0]] != [[0, 5.0], [1, 0.5], [2, -0.2], [3, 1.25], [4, 1.0]]

First differing element 0:
[0, 1, 2, 3, 4]
[0, 5.0]

Second list contains 3 additional elements.
First extra element 2:
[2, -0.2]

- [[0, 1, 2, 3, 4], [5.0, 0.5, -0.2, 1.25, 1.0]]
+ [[0, 5.0], [1, 0.5], [2, -0.2], [3, 1.25], [4, 1.0]] : division

======================================================================
FAIL: test_eventually (python.spec.test_stl_spec_discrete_time_offline_evaluation.TestSTLEvaluation)
----------------------------------------------------------------------
Traceback (most recent call last):
  File "/mnt/data/repos/rtamt/tests/python/spec/test_stl_spec_discrete_time_offline_evaluation.py", line 249, in test_eventually
    self.assertListEqual(out, expected, "eventually")
AssertionError: Lists differ: [[0, 1, 2, 3, 4], [100, 5, 5, 5, -1]] != [[0, 100], [1, 5], [2, 5], [3, 5], [4, -1]]

First differing element 0:
[0, 1, 2, 3, 4]
[0, 100]

Second list contains 3 additional elements.
First extra element 2:
[2, 5]

- [[0, 1, 2, 3, 4], [100, 5, 5, 5, -1]]
+ [[0, 100], [1, 5], [2, 5], [3, 5], [4, -1]] : eventually

======================================================================
FAIL: test_eventually_0_1 (python.spec.test_stl_spec_discrete_time_offline_evaluation.TestSTLEvaluation)
----------------------------------------------------------------------
Traceback (most recent call last):
  File "/mnt/data/repos/rtamt/tests/python/spec/test_stl_spec_discrete_time_offline_evaluation.py", line 261, in test_eventually_0_1
    self.assertListEqual(out, expected, "eventually[0,1]")
AssertionError: Lists differ: [[0, 1, 2, 3, 4], [100, -1, 5, 5, -1]] != [[0, 100], [1, -1], [2, 5], [3, 5], [4, -1]]

First differing element 0:
[0, 1, 2, 3, 4]
[0, 100]

Second list contains 3 additional elements.
First extra element 2:
[2, 5]

- [[0, 1, 2, 3, 4], [100, -1, 5, 5, -1]]
+ [[0, 100], [1, -1], [2, 5], [3, 5], [4, -1]] : eventually[0,1]

======================================================================
FAIL: test_fall (python.spec.test_stl_spec_discrete_time_offline_evaluation.TestSTLEvaluation)
----------------------------------------------------------------------
Traceback (most recent call last):
  File "/mnt/data/repos/rtamt/tests/python/spec/test_stl_spec_discrete_time_offline_evaluation.py", line 397, in test_fall
    self.assertListEqual(out, expected, "fall")
AssertionError: Lists differ: [[0, 1, 2, 3, 4], [-100, 1, -1, -5, 1]] != [[0, -100], [1, 1], [2, -1], [3, -5], [4, 1]]

First differing element 0:
[0, 1, 2, 3, 4]
[0, -100]

Second list contains 3 additional elements.
First extra element 2:
[2, -1]

- [[0, 1, 2, 3, 4], [-100, 1, -1, -5, 1]]
+ [[0, -100], [1, 1], [2, -1], [3, -5], [4, 1]] : fall

======================================================================
FAIL: test_historically (python.spec.test_stl_spec_discrete_time_offline_evaluation.TestSTLEvaluation)
----------------------------------------------------------------------
Traceback (most recent call last):
  File "/mnt/data/repos/rtamt/tests/python/spec/test_stl_spec_discrete_time_offline_evaluation.py", line 225, in test_historically
    self.assertListEqual(out, expected, "historically")
AssertionError: Lists differ: [[0, 1, 2, 3, 4], [100, -1, -2, -2, -2]] != [[0, 100], [1, -1], [2, -2], [3, -2], [4, -2]]

First differing element 0:
[0, 1, 2, 3, 4]
[0, 100]

Second list contains 3 additional elements.
First extra element 2:
[2, -2]

- [[0, 1, 2, 3, 4], [100, -1, -2, -2, -2]]
+ [[0, 100], [1, -1], [2, -2], [3, -2], [4, -2]] : historically

======================================================================
FAIL: test_historically_0_1 (python.spec.test_stl_spec_discrete_time_offline_evaluation.TestSTLEvaluation)
----------------------------------------------------------------------
Traceback (most recent call last):
  File "/mnt/data/repos/rtamt/tests/python/spec/test_stl_spec_discrete_time_offline_evaluation.py", line 336, in test_historically_0_1
    self.assertListEqual(out, expected, "historically[0,1]")
AssertionError: Lists differ: [[0, 1, 2, 3, 4], [100, -1, -2, -2, -1]] != [[0, 100], [1, -1], [2, -2], [3, -2], [4, -1]]

First differing element 0:
[0, 1, 2, 3, 4]
[0, 100]

Second list contains 3 additional elements.
First extra element 2:
[2, -2]

- [[0, 1, 2, 3, 4], [100, -1, -2, -2, -1]]
+ [[0, 100], [1, -1], [2, -2], [3, -2], [4, -1]] : historically[0,1]

======================================================================
FAIL: test_historically_1_2 (python.spec.test_stl_spec_discrete_time_offline_evaluation.TestSTLEvaluation)
----------------------------------------------------------------------
Traceback (most recent call last):
  File "/mnt/data/repos/rtamt/tests/python/spec/test_stl_spec_discrete_time_offline_evaluation.py", line 348, in test_historically_1_2
    self.assertListEqual(out, expected, "historically[1,2]")
AssertionError: Lists differ: [[0, 1, 2, 3, 4], [inf, 100, -1, -2, -2]] != [[0, inf], [1, 100], [2, -1], [3, -2], [4, -2]]

First differing element 0:
[0, 1, 2, 3, 4]
[0, inf]

Second list contains 3 additional elements.
First extra element 2:
[2, -1]

- [[0, 1, 2, 3, 4], [inf, 100, -1, -2, -2]]
+ [[0, inf], [1, 100], [2, -1], [3, -2], [4, -2]] : historically[1,2]

======================================================================
FAIL: test_iff (python.spec.test_stl_spec_discrete_time_offline_evaluation.TestSTLEvaluation)
----------------------------------------------------------------------
Traceback (most recent call last):
  File "/mnt/data/repos/rtamt/tests/python/spec/test_stl_spec_discrete_time_offline_evaluation.py", line 162, in test_iff
    self.assertListEqual(out, expected, "iff")
AssertionError: Lists differ: [[0, 1, 2, 3, 4], [-80, -1, -12, -1, 0]] != [[0, -80], [1, -1], [2, -12], [3, -1], [4, 0]]

First differing element 0:
[0, 1, 2, 3, 4]
[0, -80]

Second list contains 3 additional elements.
First extra element 2:
[2, -12]

- [[0, 1, 2, 3, 4], [-80, -1, -12, -1, 0]]
+ [[0, -80], [1, -1], [2, -12], [3, -1], [4, 0]] : iff

======================================================================
FAIL: test_implies (python.spec.test_stl_spec_discrete_time_offline_evaluation.TestSTLEvaluation)
----------------------------------------------------------------------
Traceback (most recent call last):
  File "/mnt/data/repos/rtamt/tests/python/spec/test_stl_spec_discrete_time_offline_evaluation.py", line 189, in test_implies
    self.assertListEqual(out, expected, "implies")
AssertionError: Lists differ: [[0, 1, 2, 3, 4], [20, 1, 10, 4, 1]] != [[0, 20], [1, 1], [2, 10], [3, 4], [4, 1]]

First differing element 0:
[0, 1, 2, 3, 4]
[0, 20]

Second list contains 3 additional elements.
First extra element 2:
[2, 10]

- [[0, 1, 2, 3, 4], [20, 1, 10, 4, 1]]
+ [[0, 20], [1, 1], [2, 10], [3, 4], [4, 1]] : implies

======================================================================
FAIL: test_multiplication (python.spec.test_stl_spec_discrete_time_offline_evaluation.TestSTLEvaluation)
----------------------------------------------------------------------
Traceback (most recent call last):
  File "/mnt/data/repos/rtamt/tests/python/spec/test_stl_spec_discrete_time_offline_evaluation.py", line 74, in test_multiplication
    self.assertListEqual(out, expected, "multiplication")
AssertionError: Lists differ: [[0, 1, 2, 3, 4], [2000, 2, -20, 20, 1]] != [[0, 2000], [1, 2], [2, -20], [3, 20], [4, 1]]

First differing element 0:
[0, 1, 2, 3, 4]
[0, 2000]

Second list contains 3 additional elements.
First extra element 2:
[2, -20]

- [[0, 1, 2, 3, 4], [2000, 2, -20, 20, 1]]
+ [[0, 2000], [1, 2], [2, -20], [3, 20], [4, 1]] : multiplication

======================================================================
FAIL: test_next (python.spec.test_stl_spec_discrete_time_offline_evaluation.TestSTLEvaluation)
----------------------------------------------------------------------
Traceback (most recent call last):
  File "/mnt/data/repos/rtamt/tests/python/spec/test_stl_spec_discrete_time_offline_evaluation.py", line 123, in test_next
    self.assertListEqual(out, expected, "next")
AssertionError: Lists differ: [[0, 1, 2, 3, 4], [-1, -2, 5, -1, inf]] != [[0, -1], [1, -2], [2, 5], [3, -1], [4, inf]]

First differing element 0:
[0, 1, 2, 3, 4]
[0, -1]

Second list contains 3 additional elements.
First extra element 2:
[2, 5]

- [[0, 1, 2, 3, 4], [-1, -2, 5, -1, inf]]
+ [[0, -1], [1, -2], [2, 5], [3, -1], [4, inf]] : next

======================================================================
FAIL: test_not (python.spec.test_stl_spec_discrete_time_offline_evaluation.TestSTLEvaluation)
----------------------------------------------------------------------
Traceback (most recent call last):
  File "/mnt/data/repos/rtamt/tests/python/spec/test_stl_spec_discrete_time_offline_evaluation.py", line 373, in test_not
    self.assertListEqual(out, expected, "not")
AssertionError: Lists differ: [[0, 1, 2, 3, 4], [-100, 1, 2, -5, 1]] != [[0, -100], [1, 1], [2, 2], [3, -5], [4, 1]]

First differing element 0:
[0, 1, 2, 3, 4]
[0, -100]

Second list contains 3 additional elements.
First extra element 2:
[2, 2]

- [[0, 1, 2, 3, 4], [-100, 1, 2, -5, 1]]
+ [[0, -100], [1, 1], [2, 2], [3, -5], [4, 1]] : not

======================================================================
FAIL: test_once (python.spec.test_stl_spec_discrete_time_offline_evaluation.TestSTLEvaluation)
----------------------------------------------------------------------
Traceback (most recent call last):
  File "/mnt/data/repos/rtamt/tests/python/spec/test_stl_spec_discrete_time_offline_evaluation.py", line 237, in test_once
    self.assertListEqual(out, expected, "once")
AssertionError: Lists differ: [[0, 1, 2, 3, 4], [100, 100, 100, 100, 100]] != [[0, 100], [1, 100], [2, 100], [3, 100], [4, 100]]

First differing element 0:
[0, 1, 2, 3, 4]
[0, 100]

Second list contains 3 additional elements.
First extra element 2:
[2, 100]

- [[0, 1, 2, 3, 4], [100, 100, 100, 100, 100]]
+ [[0, 100], [1, 100], [2, 100], [3, 100], [4, 100]] : once

======================================================================
FAIL: test_once_0_1 (python.spec.test_stl_spec_discrete_time_offline_evaluation.TestSTLEvaluation)
----------------------------------------------------------------------
Traceback (most recent call last):
  File "/mnt/data/repos/rtamt/tests/python/spec/test_stl_spec_discrete_time_offline_evaluation.py", line 312, in test_once_0_1
    self.assertListEqual(out, expected, "once[0,1]")
AssertionError: Lists differ: [[0, 1, 2, 3, 4], [100, 100, -1, 5, 5]] != [[0, 100], [1, 100], [2, -1], [3, 5], [4, 5]]

First differing element 0:
[0, 1, 2, 3, 4]
[0, 100]

Second list contains 3 additional elements.
First extra element 2:
[2, -1]

- [[0, 1, 2, 3, 4], [100, 100, -1, 5, 5]]
+ [[0, 100], [1, 100], [2, -1], [3, 5], [4, 5]] : once[0,1]

======================================================================
FAIL: test_once_1_2 (python.spec.test_stl_spec_discrete_time_offline_evaluation.TestSTLEvaluation)
----------------------------------------------------------------------
Traceback (most recent call last):
  File "/mnt/data/repos/rtamt/tests/python/spec/test_stl_spec_discrete_time_offline_evaluation.py", line 324, in test_once_1_2
    self.assertListEqual(out, expected, "once[1,2]")
AssertionError: Lists differ: [[0, 1, 2, 3, 4], [-inf, 100, 100, -1, 5]] != [[0, -inf], [1, 100], [2, 100], [3, -1], [4, 5]]

First differing element 0:
[0, 1, 2, 3, 4]
[0, -inf]

Second list contains 3 additional elements.
First extra element 2:
[2, 100]

- [[0, 1, 2, 3, 4], [-inf, 100, 100, -1, 5]]
+ [[0, -inf], [1, 100], [2, 100], [3, -1], [4, 5]] : once[1,2]

======================================================================
FAIL: test_or (python.spec.test_stl_spec_discrete_time_offline_evaluation.TestSTLEvaluation)
----------------------------------------------------------------------
Traceback (most recent call last):
  File "/mnt/data/repos/rtamt/tests/python/spec/test_stl_spec_discrete_time_offline_evaluation.py", line 149, in test_or
    self.assertListEqual(out, expected, "or")
AssertionError: Lists differ: [[0, 1, 2, 3, 4], [100, -1, 10, 5, -1]] != [[0, 100], [1, -1], [2, 10], [3, 5], [4, -1]]

First differing element 0:
[0, 1, 2, 3, 4]
[0, 100]

Second list contains 3 additional elements.
First extra element 2:
[2, 10]

- [[0, 1, 2, 3, 4], [100, -1, 10, 5, -1]]
+ [[0, 100], [1, -1], [2, 10], [3, 5], [4, -1]] : or

======================================================================
FAIL: test_predicate_eq (python.spec.test_stl_spec_discrete_time_offline_evaluation.TestSTLEvaluation)
----------------------------------------------------------------------
Traceback (most recent call last):
  File "/mnt/data/repos/rtamt/tests/python/spec/test_stl_spec_discrete_time_offline_evaluation.py", line 462, in test_predicate_eq
    self.assertListEqual(out, expected, "eq")
AssertionError: Lists differ: [[0, 1, 2, 3, 4], [-80, -1, -12, -1, 0]] != [[0, -80], [1, -1], [2, -12], [3, -1], [4, 0]]

First differing element 0:
[0, 1, 2, 3, 4]
[0, -80]

Second list contains 3 additional elements.
First extra element 2:
[2, -12]

- [[0, 1, 2, 3, 4], [-80, -1, -12, -1, 0]]
+ [[0, -80], [1, -1], [2, -12], [3, -1], [4, 0]] : eq

======================================================================
FAIL: test_predicate_geq (python.spec.test_stl_spec_discrete_time_offline_evaluation.TestSTLEvaluation)
----------------------------------------------------------------------
Traceback (most recent call last):
  File "/mnt/data/repos/rtamt/tests/python/spec/test_stl_spec_discrete_time_offline_evaluation.py", line 436, in test_predicate_geq
    self.assertListEqual(out, expected, "geq")
AssertionError: Lists differ: [[0, 1, 2, 3, 4], [80, 1, -12, 1, 0]] != [[0, 80], [1, 1], [2, -12], [3, 1], [4, 0]]

First differing element 0:
[0, 1, 2, 3, 4]
[0, 80]

Second list contains 3 additional elements.
First extra element 2:
[2, -12]

- [[0, 1, 2, 3, 4], [80, 1, -12, 1, 0]]
+ [[0, 80], [1, 1], [2, -12], [3, 1], [4, 0]] : geq

======================================================================
FAIL: test_predicate_greater (python.spec.test_stl_spec_discrete_time_offline_evaluation.TestSTLEvaluation)
----------------------------------------------------------------------
Traceback (most recent call last):
  File "/mnt/data/repos/rtamt/tests/python/spec/test_stl_spec_discrete_time_offline_evaluation.py", line 449, in test_predicate_greater
    self.assertListEqual(out, expected, "greater")
AssertionError: Lists differ: [[0, 1, 2, 3, 4], [80, 1, -12, 1, 0]] != [[0, 80], [1, 1], [2, -12], [3, 1], [4, 0]]

First differing element 0:
[0, 1, 2, 3, 4]
[0, 80]

Second list contains 3 additional elements.
First extra element 2:
[2, -12]

- [[0, 1, 2, 3, 4], [80, 1, -12, 1, 0]]
+ [[0, 80], [1, 1], [2, -12], [3, 1], [4, 0]] : greater

======================================================================
FAIL: test_predicate_leq (python.spec.test_stl_spec_discrete_time_offline_evaluation.TestSTLEvaluation)
----------------------------------------------------------------------
Traceback (most recent call last):
  File "/mnt/data/repos/rtamt/tests/python/spec/test_stl_spec_discrete_time_offline_evaluation.py", line 410, in test_predicate_leq
    self.assertListEqual(out, expected, "leq")
AssertionError: Lists differ: [[0, 1, 2, 3, 4], [-80, -1, 12, -1, 0]] != [[0, -80], [1, -1], [2, 12], [3, -1], [4, 0]]

First differing element 0:
[0, 1, 2, 3, 4]
[0, -80]

Second list contains 3 additional elements.
First extra element 2:
[2, 12]

- [[0, 1, 2, 3, 4], [-80, -1, 12, -1, 0]]
+ [[0, -80], [1, -1], [2, 12], [3, -1], [4, 0]] : leq

======================================================================
FAIL: test_predicate_less (python.spec.test_stl_spec_discrete_time_offline_evaluation.TestSTLEvaluation)
----------------------------------------------------------------------
Traceback (most recent call last):
  File "/mnt/data/repos/rtamt/tests/python/spec/test_stl_spec_discrete_time_offline_evaluation.py", line 423, in test_predicate_less
    self.assertListEqual(out, expected, "less")
AssertionError: Lists differ: [[0, 1, 2, 3, 4], [-80, -1, 12, -1, 0]] != [[0, -80], [1, -1], [2, 12], [3, -1], [4, 0]]

First differing element 0:
[0, 1, 2, 3, 4]
[0, -80]

Second list contains 3 additional elements.
First extra element 2:
[2, 12]

- [[0, 1, 2, 3, 4], [-80, -1, 12, -1, 0]]
+ [[0, -80], [1, -1], [2, 12], [3, -1], [4, 0]] : less

======================================================================
FAIL: test_predicate_neq (python.spec.test_stl_spec_discrete_time_offline_evaluation.TestSTLEvaluation)
----------------------------------------------------------------------
Traceback (most recent call last):
  File "/mnt/data/repos/rtamt/tests/python/spec/test_stl_spec_discrete_time_offline_evaluation.py", line 475, in test_predicate_neq
    self.assertListEqual(out, expected, "neq")
AssertionError: Lists differ: [[0, 1, 2, 3, 4], [80, 1, 12, 1, 0]] != [[0, 80], [1, 1], [2, 12], [3, 1], [4, 0]]

First differing element 0:
[0, 1, 2, 3, 4]
[0, 80]

Second list contains 3 additional elements.
First extra element 2:
[2, 12]

- [[0, 1, 2, 3, 4], [80, 1, 12, 1, 0]]
+ [[0, 80], [1, 1], [2, 12], [3, 1], [4, 0]] : neq

======================================================================
FAIL: test_previous (python.spec.test_stl_spec_discrete_time_offline_evaluation.TestSTLEvaluation)
----------------------------------------------------------------------
Traceback (most recent call last):
  File "/mnt/data/repos/rtamt/tests/python/spec/test_stl_spec_discrete_time_offline_evaluation.py", line 111, in test_previous
    self.assertListEqual(out, expected, "previous")
AssertionError: Lists differ: [[0, 1, 2, 3, 4], [inf, 100, -1, -2, 5]] != [[0, inf], [1, 100], [2, -1], [3, -2], [4, 5]]

First differing element 0:
[0, 1, 2, 3, 4]
[0, inf]

Second list contains 3 additional elements.
First extra element 2:
[2, -1]

- [[0, 1, 2, 3, 4], [inf, 100, -1, -2, 5]]
+ [[0, inf], [1, 100], [2, -1], [3, -2], [4, 5]] : previous

======================================================================
FAIL: test_rise (python.spec.test_stl_spec_discrete_time_offline_evaluation.TestSTLEvaluation)
----------------------------------------------------------------------
Traceback (most recent call last):
  File "/mnt/data/repos/rtamt/tests/python/spec/test_stl_spec_discrete_time_offline_evaluation.py", line 385, in test_rise
    self.assertListEqual(out, expected, "rise")
AssertionError: Lists differ: [[0, 1, 2, 3, 4], [100, -100, -2, 2, -5]] != [[0, 100], [1, -100], [2, -2], [3, 2], [4, -5]]

First differing element 0:
[0, 1, 2, 3, 4]
[0, 100]

Second list contains 3 additional elements.
First extra element 2:
[2, -2]

- [[0, 1, 2, 3, 4], [100, -100, -2, 2, -5]]
+ [[0, 100], [1, -100], [2, -2], [3, 2], [4, -5]] : rise

======================================================================
FAIL: test_since (python.spec.test_stl_spec_discrete_time_offline_evaluation.TestSTLEvaluation)
----------------------------------------------------------------------
Traceback (most recent call last):
  File "/mnt/data/repos/rtamt/tests/python/spec/test_stl_spec_discrete_time_offline_evaluation.py", line 274, in test_since
    self.assertListEqual(out, expected, "since")
AssertionError: Lists differ: [[0, 1, 2, 3, 4], [20, -1, 10, 5, -1]] != [[0, 20], [1, -1], [2, 10], [3, 5], [4, -1]]

First differing element 0:
[0, 1, 2, 3, 4]
[0, 20]

Second list contains 3 additional elements.
First extra element 2:
[2, 10]

- [[0, 1, 2, 3, 4], [20, -1, 10, 5, -1]]
+ [[0, 20], [1, -1], [2, 10], [3, 5], [4, -1]] : since

======================================================================
FAIL: test_since_0_1 (python.spec.test_stl_spec_discrete_time_offline_evaluation.TestSTLEvaluation)
----------------------------------------------------------------------
Traceback (most recent call last):
  File "/mnt/data/repos/rtamt/tests/python/spec/test_stl_spec_discrete_time_offline_evaluation.py", line 361, in test_since_0_1
    self.assertListEqual(out, expected, "since[0,1]")
AssertionError: Lists differ: [[0, 1, 2, 3, 4], [20, -1, 10, 5, -1]] != [[0, 20], [1, -1], [2, 10], [3, 5], [4, -1]]

First differing element 0:
[0, 1, 2, 3, 4]
[0, 20]

Second list contains 3 additional elements.
First extra element 2:
[2, 10]

- [[0, 1, 2, 3, 4], [20, -1, 10, 5, -1]]
+ [[0, 20], [1, -1], [2, 10], [3, 5], [4, -1]] : since[0,1]

======================================================================
FAIL: test_subtraction (python.spec.test_stl_spec_discrete_time_offline_evaluation.TestSTLEvaluation)
----------------------------------------------------------------------
Traceback (most recent call last):
  File "/mnt/data/repos/rtamt/tests/python/spec/test_stl_spec_discrete_time_offline_evaluation.py", line 61, in test_subtraction
    self.assertListEqual(out, expected, "subtraction")
AssertionError: Lists differ: [[0, 1, 2, 3, 4], [80, 1, -12, 1, 0]] != [[0, 80], [1, 1], [2, -12], [3, 1], [4, 0]]

First differing element 0:
[0, 1, 2, 3, 4]
[0, 80]

Second list contains 3 additional elements.
First extra element 2:
[2, -12]

- [[0, 1, 2, 3, 4], [80, 1, -12, 1, 0]]
+ [[0, 80], [1, 1], [2, -12], [3, 1], [4, 0]] : subtraction

======================================================================
FAIL: test_until (python.spec.test_stl_spec_discrete_time_offline_evaluation.TestSTLEvaluation)
----------------------------------------------------------------------
Traceback (most recent call last):
  File "/mnt/data/repos/rtamt/tests/python/spec/test_stl_spec_discrete_time_offline_evaluation.py", line 287, in test_until
    self.assertListEqual(out, expected, "until")
AssertionError: Lists differ: [[0, 1, 2, 3, 4], [20, -1, 10, 4, -1]] != [[0, 20], [1, -1], [2, 10], [3, 4], [4, -1]]

First differing element 0:
[0, 1, 2, 3, 4]
[0, 20]

Second list contains 3 additional elements.
First extra element 2:
[2, 10]

- [[0, 1, 2, 3, 4], [20, -1, 10, 4, -1]]
+ [[0, 20], [1, -1], [2, 10], [3, 4], [4, -1]] : until

======================================================================
FAIL: test_until_0_1 (python.spec.test_stl_spec_discrete_time_offline_evaluation.TestSTLEvaluation)
----------------------------------------------------------------------
Traceback (most recent call last):
  File "/mnt/data/repos/rtamt/tests/python/spec/test_stl_spec_discrete_time_offline_evaluation.py", line 300, in test_until_0_1
    self.assertListEqual(out, expected, "until")
AssertionError: Lists differ: [[0, 1, 2, 3, 4], [20, -1, 10, 4, -1]] != [[0, 20], [1, -1], [2, 10], [3, 4], [4, -1]]

First differing element 0:
[0, 1, 2, 3, 4]
[0, 20]

Second list contains 3 additional elements.
First extra element 2:
[2, 10]

- [[0, 1, 2, 3, 4], [20, -1, 10, 4, -1]]
+ [[0, 20], [1, -1], [2, 10], [3, 4], [4, -1]] : until

======================================================================
FAIL: test_xor (python.spec.test_stl_spec_discrete_time_offline_evaluation.TestSTLEvaluation)
----------------------------------------------------------------------
Traceback (most recent call last):
  File "/mnt/data/repos/rtamt/tests/python/spec/test_stl_spec_discrete_time_offline_evaluation.py", line 175, in test_xor
    self.assertListEqual(out, expected, "xor")
AssertionError: Lists differ: [[0, 1, 2, 3, 4], [80, 1, 12, 1, 0]] != [[0, 80], [1, 1], [2, 12], [3, 1], [4, 0]]

First differing element 0:
[0, 1, 2, 3, 4]
[0, 80]

Second list contains 3 additional elements.
First extra element 2:
[2, 12]

- [[0, 1, 2, 3, 4], [80, 1, 12, 1, 0]]
+ [[0, 80], [1, 1], [2, 12], [3, 1], [4, 0]] : xor

----------------------------------------------------------------------
Ran 293 tests in 0.156s

FAILED (failures=37)

from rtamt.

TomyYamy commented on August 13, 2024

@nickovic I think even Ubuntu20.04 python 38, it is same.

/rtamt$ python3 -m unittest discover tests/
/mnt/data/repos/rtamt/rtamt/spec/stl/discrete_time/specification.py:188: SyntaxWarning: "is not" with a literal. Did you mean "!="?
  if key is not 'time':
.....................................................................................................Hello
s
sampling period unit: s
1000000000
1000000000
Hello
s
sampling period unit: s
1000000000
1000000000
.............................................Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.....................................Hello
s
sampling period unit: s
1000000000
1000000000
FHello
s
sampling period unit: s
1000000000
1000000000
FHello
s
sampling period unit: s
1000000000
1000000000
FHello
s
sampling period unit: s
1000000000
1000000000
FHello
s
sampling period unit: s
1000000000
1000000000
FHello
s
sampling period unit: s
1000000000
1000000000
FHello
s
sampling period unit: s
1000000000
1000000000
FHello
s
sampling period unit: s
1000000000
1000000000
FHello
s
sampling period unit: s
1000000000
1000000000
FHello
s
sampling period unit: s
1000000000
1000000000
FHello
s
sampling period unit: s
1000000000
1000000000
FHello
s
sampling period unit: s
1000000000
1000000000
FHello
s
sampling period unit: s
1000000000
1000000000
FHello
s
sampling period unit: s
1000000000
1000000000
FHello
s
sampling period unit: s
1000000000
1000000000
FHello
s
sampling period unit: s
1000000000
1000000000
FHello
s
sampling period unit: s
1000000000
1000000000
FHello
s
sampling period unit: s
1000000000
1000000000
FHello
s
sampling period unit: s
1000000000
1000000000
FHello
s
sampling period unit: s
1000000000
1000000000
FHello
s
sampling period unit: s
1000000000
1000000000
FHello
s
sampling period unit: s
1000000000
1000000000
FHello
s
sampling period unit: s
1000000000
1000000000
FHello
s
sampling period unit: s
1000000000
1000000000
FHello
s
sampling period unit: s
1000000000
1000000000
FHello
s
sampling period unit: s
1000000000
1000000000
FHello
s
sampling period unit: s
1000000000
1000000000
FHello
s
sampling period unit: s
1000000000
1000000000
FHello
s
sampling period unit: s
1000000000
1000000000
FHello
s
sampling period unit: s
1000000000
1000000000
FHello
s
sampling period unit: s
1000000000
1000000000
FHello
s
sampling period unit: s
1000000000
1000000000
FHello
s
sampling period unit: s
1000000000
1000000000
FHello
s
sampling period unit: s
1000000000
1000000000
FHello
s
sampling period unit: s
1000000000
1000000000
FHello
s
sampling period unit: s
1000000000
1000000000
FHello
s
sampling period unit: s
1000000000
1000000000
FHello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
/mnt/data/repos/rtamt/tests/python/spec/test_stl_spec_discrete_time_online_evaluation.py:429: DeprecationWarning: Please use assertRaises instead.
  self.failUnlessRaises(rtamt.LTLPastifyException, spec.pastify)
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.Hello
s
sampling period unit: s
1000000000
1000000000
.
======================================================================
FAIL: test_abs (python.spec.test_stl_spec_discrete_time_offline_evaluation.TestSTLEvaluation)
----------------------------------------------------------------------
Traceback (most recent call last):
  File "/mnt/data/repos/rtamt/tests/python/spec/test_stl_spec_discrete_time_offline_evaluation.py", line 99, in test_abs
    self.assertListEqual(out, expected, "abs")
AssertionError: Lists differ: [[0, 1, 2, 3, 4], [100, 1, 2, 5, 1]] != [[0, 100], [1, 1], [2, 2], [3, 5], [4, 1]]

First differing element 0:
[0, 1, 2, 3, 4]
[0, 100]

Second list contains 3 additional elements.
First extra element 2:
[2, 2]

- [[0, 1, 2, 3, 4], [100, 1, 2, 5, 1]]
+ [[0, 100], [1, 1], [2, 2], [3, 5], [4, 1]] : abs

======================================================================
FAIL: test_addition (python.spec.test_stl_spec_discrete_time_offline_evaluation.TestSTLEvaluation)
----------------------------------------------------------------------
Traceback (most recent call last):
  File "/mnt/data/repos/rtamt/tests/python/spec/test_stl_spec_discrete_time_offline_evaluation.py", line 48, in test_addition
    self.assertListEqual(out, expected, "addition")
AssertionError: Lists differ: [[0, 1, 2, 3, 4], [120, -3, 8, 9, -2]] != [[0, 120], [1, -3], [2, 8], [3, 9], [4, -2]]

First differing element 0:
[0, 1, 2, 3, 4]
[0, 120]

Second list contains 3 additional elements.
First extra element 2:
[2, 8]

- [[0, 1, 2, 3, 4], [120, -3, 8, 9, -2]]
+ [[0, 120], [1, -3], [2, 8], [3, 9], [4, -2]] : addition

======================================================================
FAIL: test_always (python.spec.test_stl_spec_discrete_time_offline_evaluation.TestSTLEvaluation)
----------------------------------------------------------------------
Traceback (most recent call last):
  File "/mnt/data/repos/rtamt/tests/python/spec/test_stl_spec_discrete_time_offline_evaluation.py", line 201, in test_always
    self.assertListEqual(out, expected, "always")
AssertionError: Lists differ: [[0, 1, 2, 3, 4], [-2, -2, -2, -1, -1]] != [[0, -2], [1, -2], [2, -2], [3, -1], [4, -1]]

First differing element 0:
[0, 1, 2, 3, 4]
[0, -2]

Second list contains 3 additional elements.
First extra element 2:
[2, -2]

- [[0, 1, 2, 3, 4], [-2, -2, -2, -1, -1]]
+ [[0, -2], [1, -2], [2, -2], [3, -1], [4, -1]] : always

======================================================================
FAIL: test_always_0_1 (python.spec.test_stl_spec_discrete_time_offline_evaluation.TestSTLEvaluation)
----------------------------------------------------------------------
Traceback (most recent call last):
  File "/mnt/data/repos/rtamt/tests/python/spec/test_stl_spec_discrete_time_offline_evaluation.py", line 213, in test_always_0_1
    self.assertListEqual(out, expected, "always[0,1]")
AssertionError: Lists differ: [[0, 1, 2, 3, 4], [-1, -2, -2, -1, -1]] != [[0, -1], [1, -2], [2, -2], [3, -1], [4, -1]]

First differing element 0:
[0, 1, 2, 3, 4]
[0, -1]

Second list contains 3 additional elements.
First extra element 2:
[2, -2]

- [[0, 1, 2, 3, 4], [-1, -2, -2, -1, -1]]
+ [[0, -1], [1, -2], [2, -2], [3, -1], [4, -1]] : always[0,1]

======================================================================
FAIL: test_and (python.spec.test_stl_spec_discrete_time_offline_evaluation.TestSTLEvaluation)
----------------------------------------------------------------------
Traceback (most recent call last):
  File "/mnt/data/repos/rtamt/tests/python/spec/test_stl_spec_discrete_time_offline_evaluation.py", line 136, in test_and
    self.assertListEqual(out, expected, "and")
AssertionError: Lists differ: [[0, 1, 2, 3, 4], [20, -2, -2, 4, -1]] != [[0, 20], [1, -2], [2, -2], [3, 4], [4, -1]]

First differing element 0:
[0, 1, 2, 3, 4]
[0, 20]

Second list contains 3 additional elements.
First extra element 2:
[2, -2]

- [[0, 1, 2, 3, 4], [20, -2, -2, 4, -1]]
+ [[0, 20], [1, -2], [2, -2], [3, 4], [4, -1]] : and

======================================================================
FAIL: test_constant_1 (python.spec.test_stl_spec_discrete_time_offline_evaluation.TestSTLEvaluation)
----------------------------------------------------------------------
Traceback (most recent call last):
  File "/mnt/data/repos/rtamt/tests/python/spec/test_stl_spec_discrete_time_offline_evaluation.py", line 23, in test_constant_1
    self.assertListEqual(out, expected, "constant")
AssertionError: Lists differ: [[0, 1, 2, 3, 4], [5.0, 5.0, 5.0, 5.0, 5.0]] != [[0, 5], [1, 5], [2, 5], [3, 5], [4, 5]]

First differing element 0:
[0, 1, 2, 3, 4]
[0, 5]

Second list contains 3 additional elements.
First extra element 2:
[2, 5]

- [[0, 1, 2, 3, 4], [5.0, 5.0, 5.0, 5.0, 5.0]]
+ [[0, 5], [1, 5], [2, 5], [3, 5], [4, 5]] : constant

======================================================================
FAIL: test_constant_2 (python.spec.test_stl_spec_discrete_time_offline_evaluation.TestSTLEvaluation)
----------------------------------------------------------------------
Traceback (most recent call last):
  File "/mnt/data/repos/rtamt/tests/python/spec/test_stl_spec_discrete_time_offline_evaluation.py", line 35, in test_constant_2
    self.assertListEqual(out, expected, "constant")
AssertionError: Lists differ: [[0, 1, 2, 3, 4], [5.0, 5.0, 5.0, 5.0, 5.0]] != [[0, 5], [1, 5], [2, 5], [3, 5], [4, 5]]

First differing element 0:
[0, 1, 2, 3, 4]
[0, 5]

Second list contains 3 additional elements.
First extra element 2:
[2, 5]

- [[0, 1, 2, 3, 4], [5.0, 5.0, 5.0, 5.0, 5.0]]
+ [[0, 5], [1, 5], [2, 5], [3, 5], [4, 5]] : constant

======================================================================
FAIL: test_division (python.spec.test_stl_spec_discrete_time_offline_evaluation.TestSTLEvaluation)
----------------------------------------------------------------------
Traceback (most recent call last):
  File "/mnt/data/repos/rtamt/tests/python/spec/test_stl_spec_discrete_time_offline_evaluation.py", line 87, in test_division
    self.assertListEqual(out, expected, "division")
AssertionError: Lists differ: [[0, 1, 2, 3, 4], [5.0, 0.5, -0.2, 1.25, 1.0]] != [[0, 5.0], [1, 0.5], [2, -0.2], [3, 1.25], [4, 1.0]]

First differing element 0:
[0, 1, 2, 3, 4]
[0, 5.0]

Second list contains 3 additional elements.
First extra element 2:
[2, -0.2]

- [[0, 1, 2, 3, 4], [5.0, 0.5, -0.2, 1.25, 1.0]]
+ [[0, 5.0], [1, 0.5], [2, -0.2], [3, 1.25], [4, 1.0]] : division

======================================================================
FAIL: test_eventually (python.spec.test_stl_spec_discrete_time_offline_evaluation.TestSTLEvaluation)
----------------------------------------------------------------------
Traceback (most recent call last):
  File "/mnt/data/repos/rtamt/tests/python/spec/test_stl_spec_discrete_time_offline_evaluation.py", line 249, in test_eventually
    self.assertListEqual(out, expected, "eventually")
AssertionError: Lists differ: [[0, 1, 2, 3, 4], [100, 5, 5, 5, -1]] != [[0, 100], [1, 5], [2, 5], [3, 5], [4, -1]]

First differing element 0:
[0, 1, 2, 3, 4]
[0, 100]

Second list contains 3 additional elements.
First extra element 2:
[2, 5]

- [[0, 1, 2, 3, 4], [100, 5, 5, 5, -1]]
+ [[0, 100], [1, 5], [2, 5], [3, 5], [4, -1]] : eventually

======================================================================
FAIL: test_eventually_0_1 (python.spec.test_stl_spec_discrete_time_offline_evaluation.TestSTLEvaluation)
----------------------------------------------------------------------
Traceback (most recent call last):
  File "/mnt/data/repos/rtamt/tests/python/spec/test_stl_spec_discrete_time_offline_evaluation.py", line 261, in test_eventually_0_1
    self.assertListEqual(out, expected, "eventually[0,1]")
AssertionError: Lists differ: [[0, 1, 2, 3, 4], [100, -1, 5, 5, -1]] != [[0, 100], [1, -1], [2, 5], [3, 5], [4, -1]]

First differing element 0:
[0, 1, 2, 3, 4]
[0, 100]

Second list contains 3 additional elements.
First extra element 2:
[2, 5]

- [[0, 1, 2, 3, 4], [100, -1, 5, 5, -1]]
+ [[0, 100], [1, -1], [2, 5], [3, 5], [4, -1]] : eventually[0,1]

======================================================================
FAIL: test_fall (python.spec.test_stl_spec_discrete_time_offline_evaluation.TestSTLEvaluation)
----------------------------------------------------------------------
Traceback (most recent call last):
  File "/mnt/data/repos/rtamt/tests/python/spec/test_stl_spec_discrete_time_offline_evaluation.py", line 397, in test_fall
    self.assertListEqual(out, expected, "fall")
AssertionError: Lists differ: [[0, 1, 2, 3, 4], [-100, 1, -1, -5, 1]] != [[0, -100], [1, 1], [2, -1], [3, -5], [4, 1]]

First differing element 0:
[0, 1, 2, 3, 4]
[0, -100]

Second list contains 3 additional elements.
First extra element 2:
[2, -1]

- [[0, 1, 2, 3, 4], [-100, 1, -1, -5, 1]]
+ [[0, -100], [1, 1], [2, -1], [3, -5], [4, 1]] : fall

======================================================================
FAIL: test_historically (python.spec.test_stl_spec_discrete_time_offline_evaluation.TestSTLEvaluation)
----------------------------------------------------------------------
Traceback (most recent call last):
  File "/mnt/data/repos/rtamt/tests/python/spec/test_stl_spec_discrete_time_offline_evaluation.py", line 225, in test_historically
    self.assertListEqual(out, expected, "historically")
AssertionError: Lists differ: [[0, 1, 2, 3, 4], [100, -1, -2, -2, -2]] != [[0, 100], [1, -1], [2, -2], [3, -2], [4, -2]]

First differing element 0:
[0, 1, 2, 3, 4]
[0, 100]

Second list contains 3 additional elements.
First extra element 2:
[2, -2]

- [[0, 1, 2, 3, 4], [100, -1, -2, -2, -2]]
+ [[0, 100], [1, -1], [2, -2], [3, -2], [4, -2]] : historically

======================================================================
FAIL: test_historically_0_1 (python.spec.test_stl_spec_discrete_time_offline_evaluation.TestSTLEvaluation)
----------------------------------------------------------------------
Traceback (most recent call last):
  File "/mnt/data/repos/rtamt/tests/python/spec/test_stl_spec_discrete_time_offline_evaluation.py", line 336, in test_historically_0_1
    self.assertListEqual(out, expected, "historically[0,1]")
AssertionError: Lists differ: [[0, 1, 2, 3, 4], [100, -1, -2, -2, -1]] != [[0, 100], [1, -1], [2, -2], [3, -2], [4, -1]]

First differing element 0:
[0, 1, 2, 3, 4]
[0, 100]

Second list contains 3 additional elements.
First extra element 2:
[2, -2]

- [[0, 1, 2, 3, 4], [100, -1, -2, -2, -1]]
+ [[0, 100], [1, -1], [2, -2], [3, -2], [4, -1]] : historically[0,1]

======================================================================
FAIL: test_historically_1_2 (python.spec.test_stl_spec_discrete_time_offline_evaluation.TestSTLEvaluation)
----------------------------------------------------------------------
Traceback (most recent call last):
  File "/mnt/data/repos/rtamt/tests/python/spec/test_stl_spec_discrete_time_offline_evaluation.py", line 348, in test_historically_1_2
    self.assertListEqual(out, expected, "historically[1,2]")
AssertionError: Lists differ: [[0, 1, 2, 3, 4], [inf, 100, -1, -2, -2]] != [[0, inf], [1, 100], [2, -1], [3, -2], [4, -2]]

First differing element 0:
[0, 1, 2, 3, 4]
[0, inf]

Second list contains 3 additional elements.
First extra element 2:
[2, -1]

- [[0, 1, 2, 3, 4], [inf, 100, -1, -2, -2]]
+ [[0, inf], [1, 100], [2, -1], [3, -2], [4, -2]] : historically[1,2]

======================================================================
FAIL: test_iff (python.spec.test_stl_spec_discrete_time_offline_evaluation.TestSTLEvaluation)
----------------------------------------------------------------------
Traceback (most recent call last):
  File "/mnt/data/repos/rtamt/tests/python/spec/test_stl_spec_discrete_time_offline_evaluation.py", line 162, in test_iff
    self.assertListEqual(out, expected, "iff")
AssertionError: Lists differ: [[0, 1, 2, 3, 4], [-80, -1, -12, -1, 0]] != [[0, -80], [1, -1], [2, -12], [3, -1], [4, 0]]

First differing element 0:
[0, 1, 2, 3, 4]
[0, -80]

Second list contains 3 additional elements.
First extra element 2:
[2, -12]

- [[0, 1, 2, 3, 4], [-80, -1, -12, -1, 0]]
+ [[0, -80], [1, -1], [2, -12], [3, -1], [4, 0]] : iff

======================================================================
FAIL: test_implies (python.spec.test_stl_spec_discrete_time_offline_evaluation.TestSTLEvaluation)
----------------------------------------------------------------------
Traceback (most recent call last):
  File "/mnt/data/repos/rtamt/tests/python/spec/test_stl_spec_discrete_time_offline_evaluation.py", line 189, in test_implies
    self.assertListEqual(out, expected, "implies")
AssertionError: Lists differ: [[0, 1, 2, 3, 4], [20, 1, 10, 4, 1]] != [[0, 20], [1, 1], [2, 10], [3, 4], [4, 1]]

First differing element 0:
[0, 1, 2, 3, 4]
[0, 20]

Second list contains 3 additional elements.
First extra element 2:
[2, 10]

- [[0, 1, 2, 3, 4], [20, 1, 10, 4, 1]]
+ [[0, 20], [1, 1], [2, 10], [3, 4], [4, 1]] : implies

======================================================================
FAIL: test_multiplication (python.spec.test_stl_spec_discrete_time_offline_evaluation.TestSTLEvaluation)
----------------------------------------------------------------------
Traceback (most recent call last):
  File "/mnt/data/repos/rtamt/tests/python/spec/test_stl_spec_discrete_time_offline_evaluation.py", line 74, in test_multiplication
    self.assertListEqual(out, expected, "multiplication")
AssertionError: Lists differ: [[0, 1, 2, 3, 4], [2000, 2, -20, 20, 1]] != [[0, 2000], [1, 2], [2, -20], [3, 20], [4, 1]]

First differing element 0:
[0, 1, 2, 3, 4]
[0, 2000]

Second list contains 3 additional elements.
First extra element 2:
[2, -20]

- [[0, 1, 2, 3, 4], [2000, 2, -20, 20, 1]]
+ [[0, 2000], [1, 2], [2, -20], [3, 20], [4, 1]] : multiplication

======================================================================
FAIL: test_next (python.spec.test_stl_spec_discrete_time_offline_evaluation.TestSTLEvaluation)
----------------------------------------------------------------------
Traceback (most recent call last):
  File "/mnt/data/repos/rtamt/tests/python/spec/test_stl_spec_discrete_time_offline_evaluation.py", line 123, in test_next
    self.assertListEqual(out, expected, "next")
AssertionError: Lists differ: [[0, 1, 2, 3, 4], [-1, -2, 5, -1, inf]] != [[0, -1], [1, -2], [2, 5], [3, -1], [4, inf]]

First differing element 0:
[0, 1, 2, 3, 4]
[0, -1]

Second list contains 3 additional elements.
First extra element 2:
[2, 5]

- [[0, 1, 2, 3, 4], [-1, -2, 5, -1, inf]]
+ [[0, -1], [1, -2], [2, 5], [3, -1], [4, inf]] : next

======================================================================
FAIL: test_not (python.spec.test_stl_spec_discrete_time_offline_evaluation.TestSTLEvaluation)
----------------------------------------------------------------------
Traceback (most recent call last):
  File "/mnt/data/repos/rtamt/tests/python/spec/test_stl_spec_discrete_time_offline_evaluation.py", line 373, in test_not
    self.assertListEqual(out, expected, "not")
AssertionError: Lists differ: [[0, 1, 2, 3, 4], [-100, 1, 2, -5, 1]] != [[0, -100], [1, 1], [2, 2], [3, -5], [4, 1]]

First differing element 0:
[0, 1, 2, 3, 4]
[0, -100]

Second list contains 3 additional elements.
First extra element 2:
[2, 2]

- [[0, 1, 2, 3, 4], [-100, 1, 2, -5, 1]]
+ [[0, -100], [1, 1], [2, 2], [3, -5], [4, 1]] : not

======================================================================
FAIL: test_once (python.spec.test_stl_spec_discrete_time_offline_evaluation.TestSTLEvaluation)
----------------------------------------------------------------------
Traceback (most recent call last):
  File "/mnt/data/repos/rtamt/tests/python/spec/test_stl_spec_discrete_time_offline_evaluation.py", line 237, in test_once
    self.assertListEqual(out, expected, "once")
AssertionError: Lists differ: [[0, 1, 2, 3, 4], [100, 100, 100, 100, 100]] != [[0, 100], [1, 100], [2, 100], [3, 100], [4, 100]]

First differing element 0:
[0, 1, 2, 3, 4]
[0, 100]

Second list contains 3 additional elements.
First extra element 2:
[2, 100]

- [[0, 1, 2, 3, 4], [100, 100, 100, 100, 100]]
+ [[0, 100], [1, 100], [2, 100], [3, 100], [4, 100]] : once

======================================================================
FAIL: test_once_0_1 (python.spec.test_stl_spec_discrete_time_offline_evaluation.TestSTLEvaluation)
----------------------------------------------------------------------
Traceback (most recent call last):
  File "/mnt/data/repos/rtamt/tests/python/spec/test_stl_spec_discrete_time_offline_evaluation.py", line 312, in test_once_0_1
    self.assertListEqual(out, expected, "once[0,1]")
AssertionError: Lists differ: [[0, 1, 2, 3, 4], [100, 100, -1, 5, 5]] != [[0, 100], [1, 100], [2, -1], [3, 5], [4, 5]]

First differing element 0:
[0, 1, 2, 3, 4]
[0, 100]

Second list contains 3 additional elements.
First extra element 2:
[2, -1]

- [[0, 1, 2, 3, 4], [100, 100, -1, 5, 5]]
+ [[0, 100], [1, 100], [2, -1], [3, 5], [4, 5]] : once[0,1]

======================================================================
FAIL: test_once_1_2 (python.spec.test_stl_spec_discrete_time_offline_evaluation.TestSTLEvaluation)
----------------------------------------------------------------------
Traceback (most recent call last):
  File "/mnt/data/repos/rtamt/tests/python/spec/test_stl_spec_discrete_time_offline_evaluation.py", line 324, in test_once_1_2
    self.assertListEqual(out, expected, "once[1,2]")
AssertionError: Lists differ: [[0, 1, 2, 3, 4], [-inf, 100, 100, -1, 5]] != [[0, -inf], [1, 100], [2, 100], [3, -1], [4, 5]]

First differing element 0:
[0, 1, 2, 3, 4]
[0, -inf]

Second list contains 3 additional elements.
First extra element 2:
[2, 100]

- [[0, 1, 2, 3, 4], [-inf, 100, 100, -1, 5]]
+ [[0, -inf], [1, 100], [2, 100], [3, -1], [4, 5]] : once[1,2]

======================================================================
FAIL: test_or (python.spec.test_stl_spec_discrete_time_offline_evaluation.TestSTLEvaluation)
----------------------------------------------------------------------
Traceback (most recent call last):
  File "/mnt/data/repos/rtamt/tests/python/spec/test_stl_spec_discrete_time_offline_evaluation.py", line 149, in test_or
    self.assertListEqual(out, expected, "or")
AssertionError: Lists differ: [[0, 1, 2, 3, 4], [100, -1, 10, 5, -1]] != [[0, 100], [1, -1], [2, 10], [3, 5], [4, -1]]

First differing element 0:
[0, 1, 2, 3, 4]
[0, 100]

Second list contains 3 additional elements.
First extra element 2:
[2, 10]

- [[0, 1, 2, 3, 4], [100, -1, 10, 5, -1]]
+ [[0, 100], [1, -1], [2, 10], [3, 5], [4, -1]] : or

======================================================================
FAIL: test_predicate_eq (python.spec.test_stl_spec_discrete_time_offline_evaluation.TestSTLEvaluation)
----------------------------------------------------------------------
Traceback (most recent call last):
  File "/mnt/data/repos/rtamt/tests/python/spec/test_stl_spec_discrete_time_offline_evaluation.py", line 462, in test_predicate_eq
    self.assertListEqual(out, expected, "eq")
AssertionError: Lists differ: [[0, 1, 2, 3, 4], [-80, -1, -12, -1, 0]] != [[0, -80], [1, -1], [2, -12], [3, -1], [4, 0]]

First differing element 0:
[0, 1, 2, 3, 4]
[0, -80]

Second list contains 3 additional elements.
First extra element 2:
[2, -12]

- [[0, 1, 2, 3, 4], [-80, -1, -12, -1, 0]]
+ [[0, -80], [1, -1], [2, -12], [3, -1], [4, 0]] : eq

======================================================================
FAIL: test_predicate_geq (python.spec.test_stl_spec_discrete_time_offline_evaluation.TestSTLEvaluation)
----------------------------------------------------------------------
Traceback (most recent call last):
  File "/mnt/data/repos/rtamt/tests/python/spec/test_stl_spec_discrete_time_offline_evaluation.py", line 436, in test_predicate_geq
    self.assertListEqual(out, expected, "geq")
AssertionError: Lists differ: [[0, 1, 2, 3, 4], [80, 1, -12, 1, 0]] != [[0, 80], [1, 1], [2, -12], [3, 1], [4, 0]]

First differing element 0:
[0, 1, 2, 3, 4]
[0, 80]

Second list contains 3 additional elements.
First extra element 2:
[2, -12]

- [[0, 1, 2, 3, 4], [80, 1, -12, 1, 0]]
+ [[0, 80], [1, 1], [2, -12], [3, 1], [4, 0]] : geq

======================================================================
FAIL: test_predicate_greater (python.spec.test_stl_spec_discrete_time_offline_evaluation.TestSTLEvaluation)
----------------------------------------------------------------------
Traceback (most recent call last):
  File "/mnt/data/repos/rtamt/tests/python/spec/test_stl_spec_discrete_time_offline_evaluation.py", line 449, in test_predicate_greater
    self.assertListEqual(out, expected, "greater")
AssertionError: Lists differ: [[0, 1, 2, 3, 4], [80, 1, -12, 1, 0]] != [[0, 80], [1, 1], [2, -12], [3, 1], [4, 0]]

First differing element 0:
[0, 1, 2, 3, 4]
[0, 80]

Second list contains 3 additional elements.
First extra element 2:
[2, -12]

- [[0, 1, 2, 3, 4], [80, 1, -12, 1, 0]]
+ [[0, 80], [1, 1], [2, -12], [3, 1], [4, 0]] : greater

======================================================================
FAIL: test_predicate_leq (python.spec.test_stl_spec_discrete_time_offline_evaluation.TestSTLEvaluation)
----------------------------------------------------------------------
Traceback (most recent call last):
  File "/mnt/data/repos/rtamt/tests/python/spec/test_stl_spec_discrete_time_offline_evaluation.py", line 410, in test_predicate_leq
    self.assertListEqual(out, expected, "leq")
AssertionError: Lists differ: [[0, 1, 2, 3, 4], [-80, -1, 12, -1, 0]] != [[0, -80], [1, -1], [2, 12], [3, -1], [4, 0]]

First differing element 0:
[0, 1, 2, 3, 4]
[0, -80]

Second list contains 3 additional elements.
First extra element 2:
[2, 12]

- [[0, 1, 2, 3, 4], [-80, -1, 12, -1, 0]]
+ [[0, -80], [1, -1], [2, 12], [3, -1], [4, 0]] : leq

======================================================================
FAIL: test_predicate_less (python.spec.test_stl_spec_discrete_time_offline_evaluation.TestSTLEvaluation)
----------------------------------------------------------------------
Traceback (most recent call last):
  File "/mnt/data/repos/rtamt/tests/python/spec/test_stl_spec_discrete_time_offline_evaluation.py", line 423, in test_predicate_less
    self.assertListEqual(out, expected, "less")
AssertionError: Lists differ: [[0, 1, 2, 3, 4], [-80, -1, 12, -1, 0]] != [[0, -80], [1, -1], [2, 12], [3, -1], [4, 0]]

First differing element 0:
[0, 1, 2, 3, 4]
[0, -80]

Second list contains 3 additional elements.
First extra element 2:
[2, 12]

- [[0, 1, 2, 3, 4], [-80, -1, 12, -1, 0]]
+ [[0, -80], [1, -1], [2, 12], [3, -1], [4, 0]] : less

======================================================================
FAIL: test_predicate_neq (python.spec.test_stl_spec_discrete_time_offline_evaluation.TestSTLEvaluation)
----------------------------------------------------------------------
Traceback (most recent call last):
  File "/mnt/data/repos/rtamt/tests/python/spec/test_stl_spec_discrete_time_offline_evaluation.py", line 475, in test_predicate_neq
    self.assertListEqual(out, expected, "neq")
AssertionError: Lists differ: [[0, 1, 2, 3, 4], [80, 1, 12, 1, 0]] != [[0, 80], [1, 1], [2, 12], [3, 1], [4, 0]]

First differing element 0:
[0, 1, 2, 3, 4]
[0, 80]

Second list contains 3 additional elements.
First extra element 2:
[2, 12]

- [[0, 1, 2, 3, 4], [80, 1, 12, 1, 0]]
+ [[0, 80], [1, 1], [2, 12], [3, 1], [4, 0]] : neq

======================================================================
FAIL: test_previous (python.spec.test_stl_spec_discrete_time_offline_evaluation.TestSTLEvaluation)
----------------------------------------------------------------------
Traceback (most recent call last):
  File "/mnt/data/repos/rtamt/tests/python/spec/test_stl_spec_discrete_time_offline_evaluation.py", line 111, in test_previous
    self.assertListEqual(out, expected, "previous")
AssertionError: Lists differ: [[0, 1, 2, 3, 4], [inf, 100, -1, -2, 5]] != [[0, inf], [1, 100], [2, -1], [3, -2], [4, 5]]

First differing element 0:
[0, 1, 2, 3, 4]
[0, inf]

Second list contains 3 additional elements.
First extra element 2:
[2, -1]

- [[0, 1, 2, 3, 4], [inf, 100, -1, -2, 5]]
+ [[0, inf], [1, 100], [2, -1], [3, -2], [4, 5]] : previous

======================================================================
FAIL: test_rise (python.spec.test_stl_spec_discrete_time_offline_evaluation.TestSTLEvaluation)
----------------------------------------------------------------------
Traceback (most recent call last):
  File "/mnt/data/repos/rtamt/tests/python/spec/test_stl_spec_discrete_time_offline_evaluation.py", line 385, in test_rise
    self.assertListEqual(out, expected, "rise")
AssertionError: Lists differ: [[0, 1, 2, 3, 4], [100, -100, -2, 2, -5]] != [[0, 100], [1, -100], [2, -2], [3, 2], [4, -5]]

First differing element 0:
[0, 1, 2, 3, 4]
[0, 100]

Second list contains 3 additional elements.
First extra element 2:
[2, -2]

- [[0, 1, 2, 3, 4], [100, -100, -2, 2, -5]]
+ [[0, 100], [1, -100], [2, -2], [3, 2], [4, -5]] : rise

======================================================================
FAIL: test_since (python.spec.test_stl_spec_discrete_time_offline_evaluation.TestSTLEvaluation)
----------------------------------------------------------------------
Traceback (most recent call last):
  File "/mnt/data/repos/rtamt/tests/python/spec/test_stl_spec_discrete_time_offline_evaluation.py", line 274, in test_since
    self.assertListEqual(out, expected, "since")
AssertionError: Lists differ: [[0, 1, 2, 3, 4], [20, -1, 10, 5, -1]] != [[0, 20], [1, -1], [2, 10], [3, 5], [4, -1]]

First differing element 0:
[0, 1, 2, 3, 4]
[0, 20]

Second list contains 3 additional elements.
First extra element 2:
[2, 10]

- [[0, 1, 2, 3, 4], [20, -1, 10, 5, -1]]
+ [[0, 20], [1, -1], [2, 10], [3, 5], [4, -1]] : since

======================================================================
FAIL: test_since_0_1 (python.spec.test_stl_spec_discrete_time_offline_evaluation.TestSTLEvaluation)
----------------------------------------------------------------------
Traceback (most recent call last):
  File "/mnt/data/repos/rtamt/tests/python/spec/test_stl_spec_discrete_time_offline_evaluation.py", line 361, in test_since_0_1
    self.assertListEqual(out, expected, "since[0,1]")
AssertionError: Lists differ: [[0, 1, 2, 3, 4], [20, -1, 10, 5, -1]] != [[0, 20], [1, -1], [2, 10], [3, 5], [4, -1]]

First differing element 0:
[0, 1, 2, 3, 4]
[0, 20]

Second list contains 3 additional elements.
First extra element 2:
[2, 10]

- [[0, 1, 2, 3, 4], [20, -1, 10, 5, -1]]
+ [[0, 20], [1, -1], [2, 10], [3, 5], [4, -1]] : since[0,1]

======================================================================
FAIL: test_subtraction (python.spec.test_stl_spec_discrete_time_offline_evaluation.TestSTLEvaluation)
----------------------------------------------------------------------
Traceback (most recent call last):
  File "/mnt/data/repos/rtamt/tests/python/spec/test_stl_spec_discrete_time_offline_evaluation.py", line 61, in test_subtraction
    self.assertListEqual(out, expected, "subtraction")
AssertionError: Lists differ: [[0, 1, 2, 3, 4], [80, 1, -12, 1, 0]] != [[0, 80], [1, 1], [2, -12], [3, 1], [4, 0]]

First differing element 0:
[0, 1, 2, 3, 4]
[0, 80]

Second list contains 3 additional elements.
First extra element 2:
[2, -12]

- [[0, 1, 2, 3, 4], [80, 1, -12, 1, 0]]
+ [[0, 80], [1, 1], [2, -12], [3, 1], [4, 0]] : subtraction

======================================================================
FAIL: test_until (python.spec.test_stl_spec_discrete_time_offline_evaluation.TestSTLEvaluation)
----------------------------------------------------------------------
Traceback (most recent call last):
  File "/mnt/data/repos/rtamt/tests/python/spec/test_stl_spec_discrete_time_offline_evaluation.py", line 287, in test_until
    self.assertListEqual(out, expected, "until")
AssertionError: Lists differ: [[0, 1, 2, 3, 4], [20, -1, 10, 4, -1]] != [[0, 20], [1, -1], [2, 10], [3, 4], [4, -1]]

First differing element 0:
[0, 1, 2, 3, 4]
[0, 20]

Second list contains 3 additional elements.
First extra element 2:
[2, 10]

- [[0, 1, 2, 3, 4], [20, -1, 10, 4, -1]]
+ [[0, 20], [1, -1], [2, 10], [3, 4], [4, -1]] : until

======================================================================
FAIL: test_until_0_1 (python.spec.test_stl_spec_discrete_time_offline_evaluation.TestSTLEvaluation)
----------------------------------------------------------------------
Traceback (most recent call last):
  File "/mnt/data/repos/rtamt/tests/python/spec/test_stl_spec_discrete_time_offline_evaluation.py", line 300, in test_until_0_1
    self.assertListEqual(out, expected, "until")
AssertionError: Lists differ: [[0, 1, 2, 3, 4], [20, -1, 10, 4, -1]] != [[0, 20], [1, -1], [2, 10], [3, 4], [4, -1]]

First differing element 0:
[0, 1, 2, 3, 4]
[0, 20]

Second list contains 3 additional elements.
First extra element 2:
[2, 10]

- [[0, 1, 2, 3, 4], [20, -1, 10, 4, -1]]
+ [[0, 20], [1, -1], [2, 10], [3, 4], [4, -1]] : until

======================================================================
FAIL: test_xor (python.spec.test_stl_spec_discrete_time_offline_evaluation.TestSTLEvaluation)
----------------------------------------------------------------------
Traceback (most recent call last):
  File "/mnt/data/repos/rtamt/tests/python/spec/test_stl_spec_discrete_time_offline_evaluation.py", line 175, in test_xor
    self.assertListEqual(out, expected, "xor")
AssertionError: Lists differ: [[0, 1, 2, 3, 4], [80, 1, 12, 1, 0]] != [[0, 80], [1, 1], [2, 12], [3, 1], [4, 0]]

First differing element 0:
[0, 1, 2, 3, 4]
[0, 80]

Second list contains 3 additional elements.
First extra element 2:
[2, 12]

- [[0, 1, 2, 3, 4], [80, 1, 12, 1, 0]]
+ [[0, 80], [1, 1], [2, 12], [3, 1], [4, 0]] : xor

----------------------------------------------------------------------
Ran 293 tests in 0.139s

FAILED (failures=37)

from rtamt.

TomyYamy commented on August 13, 2024

@nickovic Perhaps you forgot to push something...?

from rtamt.

nickovic commented on August 13, 2024

Please check the master branch. All tests pass on Windows 10.

`C:\Users\NickovicD\Documents\work\programi\rtamt>python -m unittest discover tests
............................................................................................................................................................................................................................................................................
.........................

Ran 293 tests in 0.453s

OK
`

from rtamt.

TomyYamy commented on August 13, 2024

@nickovic master b0c2106
with Ubuntu 18.04 and python 3.6
It works.

/rtamt$ python3 -m unittest discover tests/
......................................................................................................................................................................................................................................................................................................................................
----------------------------------------------------------------------
Ran 326 tests in 0.436s

OK

from rtamt.

TomyYamy commented on August 13, 2024

@nickovic I tried master b0c2106
with Ubuntu 20.04 and python 3.8
It does not work because master branch does not have fix commits of the issue of cmake.
I made branch iss34-3 and in there it works even it has minor issue.

/rtamt$ python3 -m unittest discover tests/
/mnt/data/repos/rtamt/rtamt/spec/stl/discrete_time/specification.py:188: SyntaxWarning: "is not" with a literal. Did you mean "!="?
  if key is not 'time':
......................................................................................................................................................................................................................................................................................................................................
----------------------------------------------------------------------
Ran 326 tests in 0.204s

OK

from rtamt.

TomyYamy commented on August 13, 2024

@Agnishom I think now we fix it.
Could you please check master 172ae2d ?

from rtamt.

Agnishom commented on August 13, 2024

I think it works now. Thank You!

from rtamt.

TomyYamy commented on August 13, 2024

Very good! Thank you!

from rtamt.

cmake -DPythonVersion=3 ../ does not work? about rtamt HOT 36 CLOSED

Comments (36)

Related Issues (20)

Recommend Projects

React

Vue.js

Typescript

TensorFlow

Django

Laravel

D3

Recommend Topics

javascript

web

server

Machine learning

Visualization

Game

Recommend Org

Facebook

Microsoft

Google

Alibaba

D3

Tencent