Started by GitHub push by Langenfeld Running as SYSTEM [EnvInject] - Loading node environment variables. Building in workspace /storage/jenkins/jenkins_home/jobs/Hanfor/workspace The recommended git tool is: NONE using credential 3a0fbb3b-f36a-4511-9813-e10cb76da774 > git rev-parse --resolve-git-dir /storage/jenkins/jenkins_home/jobs/Hanfor/workspace/.git # timeout=10 Fetching changes from the remote Git repository > git config remote.Github_Hanfor.url git@github.com:ultimate-pa/hanfor.git # timeout=10 Fetching upstream changes from git@github.com:ultimate-pa/hanfor.git > git --version # timeout=10 > git --version # 'git version 2.32.0' using GIT_SSH to set credentials jenkins deploy key > git fetch --tags --force --progress -- git@github.com:ultimate-pa/hanfor.git +refs/heads/*:refs/remotes/Github_Hanfor/* # timeout=10 > git rev-parse refs/remotes/Github_Hanfor/master^{commit} # timeout=10 Checking out Revision 507edb0270aa29b6e7b7c2e5145013612c1ed059 (refs/remotes/Github_Hanfor/master) > git config core.sparsecheckout # timeout=10 > git checkout -f 507edb0270aa29b6e7b7c2e5145013612c1ed059 # timeout=10 Commit message: "also removed all missing references to old column resizing package" > git rev-list --no-walk 237ea66fb2a734600acf7072c1dc78c1ddb79a1e # timeout=10 [Checks API] No suitable checks publisher found. No emails were triggered. [workspace] $ /bin/sh -xe /var/tmp/tomcat-8-ci/jenkins5838492971821962276.sh + cd hanfor + ./jenkins.sh created virtual environment CPython3.9.9.final.0-64 in 274ms creator CPython3Posix(dest=/storage/jenkins/jenkins_home/jobs/Hanfor/workspace/hanfor/venv, clear=False, no_vcs_ignore=False, global=False) seeder FromAppData(download=False, pip=bundle, setuptools=bundle, wheel=bundle, via=copy, app_data_dir=/storage/jenkins/.local/share/virtualenv) added seed packages: pip==21.3.1, setuptools==58.1.0, wheel==0.37.0 activators BashActivator,CShellActivator,FishActivator,NushellActivator,PowerShellActivator,PythonActivator Collecting Flask==1.1.2 Using cached Flask-1.1.2-py2.py3-none-any.whl (94 kB) Collecting Flask-DebugToolbar==0.11.0 Using cached Flask_DebugToolbar-0.11.0-py2.py3-none-any.whl (325 kB) Collecting lark-parser==0.11.1 Using cached lark_parser-0.11.1-py2.py3-none-any.whl (93 kB) Collecting Flask-Assets==2.0 Using cached Flask_Assets-2.0-py3-none-any.whl (8.5 kB) Collecting colorama==0.4.4 Using cached colorama-0.4.4-py2.py3-none-any.whl (16 kB) Collecting terminaltables==3.1.0 Using cached terminaltables-3.1.0-py3-none-any.whl Collecting sentry-sdk==1.3.1 Using cached sentry_sdk-1.3.1-py2.py3-none-any.whl (133 kB) Collecting itsdangerous>=0.24 Using cached itsdangerous-2.0.1-py3-none-any.whl (18 kB) Collecting Werkzeug>=0.15 Using cached Werkzeug-2.0.2-py3-none-any.whl (288 kB) Collecting click>=5.1 Using cached click-8.0.3-py3-none-any.whl (97 kB) Collecting Jinja2>=2.10.1 Using cached Jinja2-3.0.3-py3-none-any.whl (133 kB) Collecting Blinker Using cached blinker-1.4-py3-none-any.whl Collecting webassets>=2.0 Using cached webassets-2.0-py3-none-any.whl (142 kB) Collecting certifi Using cached certifi-2021.10.8-py2.py3-none-any.whl (149 kB) Collecting urllib3>=1.10.0 Using cached urllib3-1.26.8-py2.py3-none-any.whl (138 kB) Collecting MarkupSafe>=2.0 Using cached MarkupSafe-2.0.1-cp39-cp39-manylinux_2_5_x86_64.manylinux1_x86_64.manylinux_2_12_x86_64.manylinux2010_x86_64.whl (30 kB) Installing collected packages: MarkupSafe, Werkzeug, Jinja2, itsdangerous, click, webassets, urllib3, Flask, certifi, Blinker, terminaltables, sentry-sdk, lark-parser, Flask-DebugToolbar, Flask-Assets, colorama Successfully installed Blinker-1.4 Flask-1.1.2 Flask-Assets-2.0 Flask-DebugToolbar-0.11.0 Jinja2-3.0.3 MarkupSafe-2.0.1 Werkzeug-2.0.2 certifi-2021.10.8 click-8.0.3 colorama-0.4.4 itsdangerous-2.0.1 lark-parser-0.11.1 sentry-sdk-1.3.1 terminaltables-3.1.0 urllib3-1.26.8 webassets-2.0 Collecting pytest==6.1.2 Using cached pytest-6.1.2-py3-none-any.whl (272 kB) Collecting attrs>=17.4.0 Using cached attrs-21.4.0-py2.py3-none-any.whl (60 kB) Collecting pluggy<1.0,>=0.12 Using cached pluggy-0.13.1-py2.py3-none-any.whl (18 kB) Collecting py>=1.8.2 Using cached py-1.11.0-py2.py3-none-any.whl (98 kB) Collecting iniconfig Using cached iniconfig-1.1.1-py2.py3-none-any.whl (5.0 kB) Collecting toml Using cached toml-0.10.2-py2.py3-none-any.whl (16 kB) Collecting packaging Using cached packaging-21.3-py3-none-any.whl (40 kB) Collecting pyparsing!=3.0.5,>=2.0.2 Using cached pyparsing-3.0.6-py3-none-any.whl (97 kB) Installing collected packages: pyparsing, toml, py, pluggy, packaging, iniconfig, attrs, pytest Successfully installed attrs-21.4.0 iniconfig-1.1.1 packaging-21.3 pluggy-0.13.1 py-1.11.0 pyparsing-3.0.6 pytest-6.1.2 toml-0.10.2 ============================= test session starts ============================== platform linux -- Python 3.9.9, pytest-6.1.2, py-1.11.0, pluggy-0.13.1 rootdir: /storage/jenkins/jenkins_home/jobs/Hanfor/workspace/hanfor, configfile: pytest.ini collected 79 items tests/test_abs_function.py::TestAbsFunction::test_parse_expressions PASSED [ 1%] tests/test_abs_function.py::TestAbsFunction::test_type_inference_for_abs_function_0 PASSED [ 2%] tests/test_abs_function.py::TestAbsFunction::test_type_inference_for_abs_function_1 PASSED [ 3%] tests/test_abs_function.py::TestAbsFunction::test_type_inference_for_abs_function_10 PASSED [ 5%] tests/test_abs_function.py::TestAbsFunction::test_type_inference_for_abs_function_2 PASSED [ 6%] tests/test_abs_function.py::TestAbsFunction::test_type_inference_for_abs_function_3 PASSED [ 7%] tests/test_abs_function.py::TestAbsFunction::test_type_inference_for_abs_function_4 PASSED [ 8%] tests/test_abs_function.py::TestAbsFunction::test_type_inference_for_abs_function_5 PASSED [ 10%] tests/test_abs_function.py::TestAbsFunction::test_type_inference_for_abs_function_6 PASSED [ 11%] tests/test_abs_function.py::TestAbsFunction::test_type_inference_for_abs_function_7 PASSED [ 12%] tests/test_abs_function.py::TestAbsFunction::test_type_inference_for_abs_function_8 PASSED [ 13%] tests/test_abs_function.py::TestAbsFunction::test_type_inference_for_abs_function_9 PASSED [ 15%] tests/test_boogie_type.py::TestBoogieType::test_alias PASSED [ 16%] tests/test_boogie_type.py::TestBoogieType::test_reverse_alias PASSED [ 17%] tests/test_clean_identifier_for_ultimate_parser.py::TestClean_identifier_for_ultimate_parser::test_clean_identifier_for_ultimate_parser_illegal_chars PASSED [ 18%] tests/test_clean_identifier_for_ultimate_parser.py::TestClean_identifier_for_ultimate_parser::test_clean_identifier_for_ultimate_parser_illegal_start PASSED [ 20%] tests/test_clean_identifier_for_ultimate_parser.py::TestClean_identifier_for_ultimate_parser::test_clean_identifier_for_ultimate_parser_name_occupied PASSED [ 21%] tests/test_clean_identifier_for_ultimate_parser.py::TestClean_identifier_for_ultimate_parser::test_clean_identifier_for_ultimate_parser_whitespace PASSED [ 22%] tests/test_consistent_parsing.py::TestParseExpressions::test_used_variables PASSED [ 24%] tests/test_consistent_parsing_minimal_failing_example.py::TestParseExpressions::test_used_variables PASSED [ 25%] tests/test_enums.py::TestEnums::test_new_int_enum_generation -------------------------------- live log call --------------------------------- 2022-01-18 14:18:40 [ INFO] Loading session `simple_enum` at `revision_0` (app.py:1100) 2022-01-18 14:18:40 [ INFO] `<reqtransformer.VarImportSessions object at 0x7f5051d06d00>` needs upgrade `0.0.0` -> `1.0.3` (reqtransformer.py:1769) 2022-01-18 14:18:40 [ INFO] Migrating `VarImportSessions`:`/storage/jenkins/jenkins_home/jobs/Hanfor/workspace/hanfor/tests/test_sessions/tmp/variable_import_sessions.pickle`, from 0.0.0 -> 1.0.3 (reqtransformer.py:1810) 2022-01-18 14:18:40 [ INFO] `<reqtransformer.VariableCollection object at 0x7f5051d068b0>` needs upgrade `1.0.0` -> `1.0.3` (reqtransformer.py:871) 2022-01-18 14:18:40 [ INFO] Migrating `VariableCollection`:`/storage/jenkins/jenkins_home/jobs/Hanfor/workspace/hanfor/tests/test_sessions/tmp/simple_enum/revision_0/session_variable_collection.pickle`, from 1.0.0 -> 1.0.3 (reqtransformer.py:1187) 2022-01-18 14:18:40 [ INFO] Migrating `Variable`:`spam_egg`, from 1.0.0 -> 1.0.1 (reqtransformer.py:1558) 2022-01-18 14:18:40 [ INFO] Migrating `Variable`:`spam_egg`, from 1.0.1 -> 1.0.3 (reqtransformer.py:1564) 2022-01-18 14:18:40 [ INFO] Migrating `Variable`:`spam`, from 1.0.0 -> 1.0.1 (reqtransformer.py:1558) 2022-01-18 14:18:40 [ INFO] Migrating `Variable`:`spam`, from 1.0.1 -> 1.0.3 (reqtransformer.py:1564) 2022-01-18 14:18:40 [ INFO] Migrate old ENUM `spam` to new ENUM_INT, ENUM_REAL (reqtransformer.py:1570) 2022-01-18 14:18:40 [ INFO] Migrating `Variable`:`spam_ham`, from 1.0.0 -> 1.0.1 (reqtransformer.py:1558) 2022-01-18 14:18:40 [ INFO] Migrating `Variable`:`spam_ham`, from 1.0.1 -> 1.0.3 (reqtransformer.py:1564) 2022-01-18 14:18:40 [ INFO] Migrating `Variable`:`bar`, from 1.0.0 -> 1.0.1 (reqtransformer.py:1558) 2022-01-18 14:18:40 [ INFO] Migrating `Variable`:`bar`, from 1.0.1 -> 1.0.3 (reqtransformer.py:1564) 2022-01-18 14:18:40 [ INFO] Migrating `Variable`:`foo`, from 1.0.0 -> 1.0.1 (reqtransformer.py:1558) 2022-01-18 14:18:40 [ INFO] Migrating `Variable`:`foo`, from 1.0.1 -> 1.0.3 (reqtransformer.py:1564) 2022-01-18 14:18:40 [ INFO] Migrate old ENUM `spam` to new ENUM_INT, ENUM_REAL (reqtransformer.py:1201) 2022-01-18 14:18:40 [ INFO] Set type of `spam` to `ENUM_INT` (reqtransformer.py:1219) 2022-01-18 14:18:40 [ INFO] Set type of `spam_egg` to `ENUMERATOR_INT` (reqtransformer.py:1222) 2022-01-18 14:18:40 [ INFO] Set type of `spam_ham` to `ENUMERATOR_INT` (reqtransformer.py:1222) 2022-01-18 14:18:40 [ INFO] Check requirements consistency. (app.py:879) 2022-01-18 14:18:40 [ INFO] `<reqtransformer.Requirement object at 0x7f5051d06a30>` needs upgrade `1.0.0` -> `1.0.3` (reqtransformer.py:338) 2022-01-18 14:18:40 [ INFO] `<reqtransformer.Requirement object at 0x7f5051d06760>` needs upgrade `1.0.0` -> `1.0.3` (reqtransformer.py:338) 2022-01-18 14:18:40 [ INFO] Check Variables for consistency. (app.py:867) 2022-01-18 14:18:40 [ INFO] Start variable script evaluations. (reqtransformer.py:1269) 2022-01-18 14:18:40 [ INFO] Start variable script evaluations. (reqtransformer.py:1269) PASSED [ 26%] tests/test_enums.py::TestEnums::test_new_int_enumerator_generation -------------------------------- live log call --------------------------------- 2022-01-18 14:18:40 [ INFO] Loading session `simple_enum` at `revision_0` (app.py:1100) 2022-01-18 14:18:40 [ INFO] `<reqtransformer.VarImportSessions object at 0x7f5052405a00>` needs upgrade `0.0.0` -> `1.0.3` (reqtransformer.py:1769) 2022-01-18 14:18:40 [ INFO] Migrating `VarImportSessions`:`/storage/jenkins/jenkins_home/jobs/Hanfor/workspace/hanfor/tests/test_sessions/tmp/variable_import_sessions.pickle`, from 0.0.0 -> 1.0.3 (reqtransformer.py:1810) 2022-01-18 14:18:40 [ INFO] `<reqtransformer.VariableCollection object at 0x7f5052405130>` needs upgrade `1.0.0` -> `1.0.3` (reqtransformer.py:871) 2022-01-18 14:18:40 [ INFO] Migrating `VariableCollection`:`/storage/jenkins/jenkins_home/jobs/Hanfor/workspace/hanfor/tests/test_sessions/tmp/simple_enum/revision_0/session_variable_collection.pickle`, from 1.0.0 -> 1.0.3 (reqtransformer.py:1187) 2022-01-18 14:18:40 [ INFO] Migrating `Variable`:`spam_egg`, from 1.0.0 -> 1.0.1 (reqtransformer.py:1558) 2022-01-18 14:18:40 [ INFO] Migrating `Variable`:`spam_egg`, from 1.0.1 -> 1.0.3 (reqtransformer.py:1564) 2022-01-18 14:18:40 [ INFO] Migrating `Variable`:`spam`, from 1.0.0 -> 1.0.1 (reqtransformer.py:1558) 2022-01-18 14:18:40 [ INFO] Migrating `Variable`:`spam`, from 1.0.1 -> 1.0.3 (reqtransformer.py:1564) 2022-01-18 14:18:40 [ INFO] Migrate old ENUM `spam` to new ENUM_INT, ENUM_REAL (reqtransformer.py:1570) 2022-01-18 14:18:40 [ INFO] Migrating `Variable`:`spam_ham`, from 1.0.0 -> 1.0.1 (reqtransformer.py:1558) 2022-01-18 14:18:40 [ INFO] Migrating `Variable`:`spam_ham`, from 1.0.1 -> 1.0.3 (reqtransformer.py:1564) 2022-01-18 14:18:40 [ INFO] Migrating `Variable`:`bar`, from 1.0.0 -> 1.0.1 (reqtransformer.py:1558) 2022-01-18 14:18:40 [ INFO] Migrating `Variable`:`bar`, from 1.0.1 -> 1.0.3 (reqtransformer.py:1564) 2022-01-18 14:18:40 [ INFO] Migrating `Variable`:`foo`, from 1.0.0 -> 1.0.1 (reqtransformer.py:1558) 2022-01-18 14:18:40 [ INFO] Migrating `Variable`:`foo`, from 1.0.1 -> 1.0.3 (reqtransformer.py:1564) 2022-01-18 14:18:40 [ INFO] Migrate old ENUM `spam` to new ENUM_INT, ENUM_REAL (reqtransformer.py:1201) 2022-01-18 14:18:40 [ INFO] Set type of `spam` to `ENUM_INT` (reqtransformer.py:1219) 2022-01-18 14:18:40 [ INFO] Set type of `spam_egg` to `ENUMERATOR_INT` (reqtransformer.py:1222) 2022-01-18 14:18:40 [ INFO] Set type of `spam_ham` to `ENUMERATOR_INT` (reqtransformer.py:1222) 2022-01-18 14:18:40 [ INFO] Check requirements consistency. (app.py:879) 2022-01-18 14:18:40 [ INFO] `<reqtransformer.Requirement object at 0x7f5051fd3880>` needs upgrade `1.0.0` -> `1.0.3` (reqtransformer.py:338) 2022-01-18 14:18:40 [ INFO] `<reqtransformer.Requirement object at 0x7f5051fd3ac0>` needs upgrade `1.0.0` -> `1.0.3` (reqtransformer.py:338) 2022-01-18 14:18:40 [ INFO] Check Variables for consistency. (app.py:867) 2022-01-18 14:18:40 [ INFO] Start variable script evaluations. (reqtransformer.py:1269) 2022-01-18 14:18:40 [ INFO] Start variable script evaluations. (reqtransformer.py:1269) 2022-01-18 14:18:40 [ INFO] Start variable script evaluations. (reqtransformer.py:1269) 2022-01-18 14:18:40 [ INFO] Generating .req file content for session simple_enum (utils.py:669) PASSED [ 27%] tests/test_enums.py::TestEnums::test_new_real_enum_generation -------------------------------- live log call --------------------------------- 2022-01-18 14:18:40 [ INFO] Loading session `simple_enum` at `revision_0` (app.py:1100) 2022-01-18 14:18:40 [ INFO] `<reqtransformer.VarImportSessions object at 0x7f5052099b80>` needs upgrade `0.0.0` -> `1.0.3` (reqtransformer.py:1769) 2022-01-18 14:18:40 [ INFO] Migrating `VarImportSessions`:`/storage/jenkins/jenkins_home/jobs/Hanfor/workspace/hanfor/tests/test_sessions/tmp/variable_import_sessions.pickle`, from 0.0.0 -> 1.0.3 (reqtransformer.py:1810) 2022-01-18 14:18:40 [ INFO] `<reqtransformer.VariableCollection object at 0x7f50520991c0>` needs upgrade `1.0.0` -> `1.0.3` (reqtransformer.py:871) 2022-01-18 14:18:40 [ INFO] Migrating `VariableCollection`:`/storage/jenkins/jenkins_home/jobs/Hanfor/workspace/hanfor/tests/test_sessions/tmp/simple_enum/revision_0/session_variable_collection.pickle`, from 1.0.0 -> 1.0.3 (reqtransformer.py:1187) 2022-01-18 14:18:40 [ INFO] Migrating `Variable`:`spam_egg`, from 1.0.0 -> 1.0.1 (reqtransformer.py:1558) 2022-01-18 14:18:40 [ INFO] Migrating `Variable`:`spam_egg`, from 1.0.1 -> 1.0.3 (reqtransformer.py:1564) 2022-01-18 14:18:40 [ INFO] Migrating `Variable`:`spam`, from 1.0.0 -> 1.0.1 (reqtransformer.py:1558) 2022-01-18 14:18:40 [ INFO] Migrating `Variable`:`spam`, from 1.0.1 -> 1.0.3 (reqtransformer.py:1564) 2022-01-18 14:18:40 [ INFO] Migrate old ENUM `spam` to new ENUM_INT, ENUM_REAL (reqtransformer.py:1570) 2022-01-18 14:18:40 [ INFO] Migrating `Variable`:`spam_ham`, from 1.0.0 -> 1.0.1 (reqtransformer.py:1558) 2022-01-18 14:18:40 [ INFO] Migrating `Variable`:`spam_ham`, from 1.0.1 -> 1.0.3 (reqtransformer.py:1564) 2022-01-18 14:18:40 [ INFO] Migrating `Variable`:`bar`, from 1.0.0 -> 1.0.1 (reqtransformer.py:1558) 2022-01-18 14:18:40 [ INFO] Migrating `Variable`:`bar`, from 1.0.1 -> 1.0.3 (reqtransformer.py:1564) 2022-01-18 14:18:40 [ INFO] Migrating `Variable`:`foo`, from 1.0.0 -> 1.0.1 (reqtransformer.py:1558) 2022-01-18 14:18:40 [ INFO] Migrating `Variable`:`foo`, from 1.0.1 -> 1.0.3 (reqtransformer.py:1564) 2022-01-18 14:18:40 [ INFO] Migrate old ENUM `spam` to new ENUM_INT, ENUM_REAL (reqtransformer.py:1201) 2022-01-18 14:18:40 [ INFO] Set type of `spam` to `ENUM_INT` (reqtransformer.py:1219) 2022-01-18 14:18:40 [ INFO] Set type of `spam_egg` to `ENUMERATOR_INT` (reqtransformer.py:1222) 2022-01-18 14:18:40 [ INFO] Set type of `spam_ham` to `ENUMERATOR_INT` (reqtransformer.py:1222) 2022-01-18 14:18:40 [ INFO] Check requirements consistency. (app.py:879) 2022-01-18 14:18:40 [ INFO] `<reqtransformer.Requirement object at 0x7f5052099910>` needs upgrade `1.0.0` -> `1.0.3` (reqtransformer.py:338) 2022-01-18 14:18:40 [ INFO] `<reqtransformer.Requirement object at 0x7f5052099160>` needs upgrade `1.0.0` -> `1.0.3` (reqtransformer.py:338) 2022-01-18 14:18:40 [ INFO] Check Variables for consistency. (app.py:867) 2022-01-18 14:18:40 [ INFO] Start variable script evaluations. (reqtransformer.py:1269) 2022-01-18 14:18:40 [ INFO] Start variable script evaluations. (reqtransformer.py:1269) PASSED [ 29%] tests/test_enums.py::TestEnums::test_new_real_enumerator_generation -------------------------------- live log call --------------------------------- 2022-01-18 14:18:40 [ INFO] Loading session `simple_enum` at `revision_0` (app.py:1100) 2022-01-18 14:18:40 [ INFO] `<reqtransformer.VarImportSessions object at 0x7f5052526d90>` needs upgrade `0.0.0` -> `1.0.3` (reqtransformer.py:1769) 2022-01-18 14:18:40 [ INFO] Migrating `VarImportSessions`:`/storage/jenkins/jenkins_home/jobs/Hanfor/workspace/hanfor/tests/test_sessions/tmp/variable_import_sessions.pickle`, from 0.0.0 -> 1.0.3 (reqtransformer.py:1810) 2022-01-18 14:18:40 [ INFO] `<reqtransformer.VariableCollection object at 0x7f5052526d30>` needs upgrade `1.0.0` -> `1.0.3` (reqtransformer.py:871) 2022-01-18 14:18:40 [ INFO] Migrating `VariableCollection`:`/storage/jenkins/jenkins_home/jobs/Hanfor/workspace/hanfor/tests/test_sessions/tmp/simple_enum/revision_0/session_variable_collection.pickle`, from 1.0.0 -> 1.0.3 (reqtransformer.py:1187) 2022-01-18 14:18:40 [ INFO] Migrating `Variable`:`spam_egg`, from 1.0.0 -> 1.0.1 (reqtransformer.py:1558) 2022-01-18 14:18:40 [ INFO] Migrating `Variable`:`spam_egg`, from 1.0.1 -> 1.0.3 (reqtransformer.py:1564) 2022-01-18 14:18:40 [ INFO] Migrating `Variable`:`spam`, from 1.0.0 -> 1.0.1 (reqtransformer.py:1558) 2022-01-18 14:18:40 [ INFO] Migrating `Variable`:`spam`, from 1.0.1 -> 1.0.3 (reqtransformer.py:1564) 2022-01-18 14:18:40 [ INFO] Migrate old ENUM `spam` to new ENUM_INT, ENUM_REAL (reqtransformer.py:1570) 2022-01-18 14:18:40 [ INFO] Migrating `Variable`:`spam_ham`, from 1.0.0 -> 1.0.1 (reqtransformer.py:1558) 2022-01-18 14:18:40 [ INFO] Migrating `Variable`:`spam_ham`, from 1.0.1 -> 1.0.3 (reqtransformer.py:1564) 2022-01-18 14:18:40 [ INFO] Migrating `Variable`:`bar`, from 1.0.0 -> 1.0.1 (reqtransformer.py:1558) 2022-01-18 14:18:40 [ INFO] Migrating `Variable`:`bar`, from 1.0.1 -> 1.0.3 (reqtransformer.py:1564) 2022-01-18 14:18:40 [ INFO] Migrating `Variable`:`foo`, from 1.0.0 -> 1.0.1 (reqtransformer.py:1558) 2022-01-18 14:18:40 [ INFO] Migrating `Variable`:`foo`, from 1.0.1 -> 1.0.3 (reqtransformer.py:1564) 2022-01-18 14:18:40 [ INFO] Migrate old ENUM `spam` to new ENUM_INT, ENUM_REAL (reqtransformer.py:1201) 2022-01-18 14:18:40 [ INFO] Set type of `spam` to `ENUM_INT` (reqtransformer.py:1219) 2022-01-18 14:18:40 [ INFO] Set type of `spam_egg` to `ENUMERATOR_INT` (reqtransformer.py:1222) 2022-01-18 14:18:40 [ INFO] Set type of `spam_ham` to `ENUMERATOR_INT` (reqtransformer.py:1222) 2022-01-18 14:18:40 [ INFO] Check requirements consistency. (app.py:879) 2022-01-18 14:18:40 [ INFO] `<reqtransformer.Requirement object at 0x7f5052099f10>` needs upgrade `1.0.0` -> `1.0.3` (reqtransformer.py:338) 2022-01-18 14:18:40 [ INFO] `<reqtransformer.Requirement object at 0x7f5052099490>` needs upgrade `1.0.0` -> `1.0.3` (reqtransformer.py:338) 2022-01-18 14:18:40 [ INFO] Check Variables for consistency. (app.py:867) 2022-01-18 14:18:40 [ INFO] Start variable script evaluations. (reqtransformer.py:1269) 2022-01-18 14:18:40 [ INFO] Start variable script evaluations. (reqtransformer.py:1269) 2022-01-18 14:18:40 [ INFO] Start variable script evaluations. (reqtransformer.py:1269) 2022-01-18 14:18:40 [ INFO] Generating .req file content for session simple_enum (utils.py:669) PASSED [ 30%] tests/test_enums.py::TestEnums::test_type_inferences_with_enums -------------------------------- live log call --------------------------------- 2022-01-18 14:18:40 [ INFO] Loading session `inference_tests` at `revision_0` (app.py:1100) 2022-01-18 14:18:40 [ INFO] `<reqtransformer.VarImportSessions object at 0x7f5052405520>` needs upgrade `0.0.0` -> `1.0.3` (reqtransformer.py:1769) 2022-01-18 14:18:40 [ INFO] Migrating `VarImportSessions`:`/storage/jenkins/jenkins_home/jobs/Hanfor/workspace/hanfor/tests/test_sessions/tmp/variable_import_sessions.pickle`, from 0.0.0 -> 1.0.3 (reqtransformer.py:1810) 2022-01-18 14:18:40 [ INFO] Check requirements consistency. (app.py:879) 2022-01-18 14:18:40 [ INFO] Check Variables for consistency. (app.py:867) 2022-01-18 14:18:40 [ INFO] Start variable script evaluations. (reqtransformer.py:1269) PASSED [ 31%] tests/test_enums.py::TestEnums::test_type_inferences_with_enums_existing_var_update_int_enum -------------------------------- live log call --------------------------------- 2022-01-18 14:18:40 [ INFO] Loading session `inference_tests` at `revision_0` (app.py:1100) 2022-01-18 14:18:40 [ INFO] `<reqtransformer.VarImportSessions object at 0x7f5052099160>` needs upgrade `0.0.0` -> `1.0.3` (reqtransformer.py:1769) 2022-01-18 14:18:40 [ INFO] Migrating `VarImportSessions`:`/storage/jenkins/jenkins_home/jobs/Hanfor/workspace/hanfor/tests/test_sessions/tmp/variable_import_sessions.pickle`, from 0.0.0 -> 1.0.3 (reqtransformer.py:1810) 2022-01-18 14:18:40 [ INFO] Check requirements consistency. (app.py:879) 2022-01-18 14:18:40 [ INFO] Check Variables for consistency. (app.py:867) 2022-01-18 14:18:40 [ INFO] Start variable script evaluations. (reqtransformer.py:1269) 2022-01-18 14:18:40 [ INFO] Update variable `ham_unknown` with derived type. Old: `unknown` => New: `int`. (reqtransformer.py:627) PASSED [ 32%] tests/test_enums.py::TestEnums::test_type_inferences_with_enums_existing_var_update_int_enumerator -------------------------------- live log call --------------------------------- 2022-01-18 14:18:40 [ INFO] Loading session `inference_tests` at `revision_0` (app.py:1100) 2022-01-18 14:18:40 [ INFO] `<reqtransformer.VarImportSessions object at 0x7f50520992b0>` needs upgrade `0.0.0` -> `1.0.3` (reqtransformer.py:1769) 2022-01-18 14:18:40 [ INFO] Migrating `VarImportSessions`:`/storage/jenkins/jenkins_home/jobs/Hanfor/workspace/hanfor/tests/test_sessions/tmp/variable_import_sessions.pickle`, from 0.0.0 -> 1.0.3 (reqtransformer.py:1810) 2022-01-18 14:18:40 [ INFO] Check requirements consistency. (app.py:879) 2022-01-18 14:18:40 [ INFO] Check Variables for consistency. (app.py:867) 2022-01-18 14:18:40 [ INFO] Start variable script evaluations. (reqtransformer.py:1269) 2022-01-18 14:18:40 [ INFO] Update variable `ham_unknown` with derived type. Old: `unknown` => New: `int`. (reqtransformer.py:627) PASSED [ 34%] tests/test_enums.py::TestEnums::test_type_inferences_with_enums_existing_var_update_real_enum -------------------------------- live log call --------------------------------- 2022-01-18 14:18:40 [ INFO] Loading session `inference_tests` at `revision_0` (app.py:1100) 2022-01-18 14:18:40 [ INFO] `<reqtransformer.VarImportSessions object at 0x7f50524fc130>` needs upgrade `0.0.0` -> `1.0.3` (reqtransformer.py:1769) 2022-01-18 14:18:40 [ INFO] Migrating `VarImportSessions`:`/storage/jenkins/jenkins_home/jobs/Hanfor/workspace/hanfor/tests/test_sessions/tmp/variable_import_sessions.pickle`, from 0.0.0 -> 1.0.3 (reqtransformer.py:1810) 2022-01-18 14:18:40 [ INFO] Check requirements consistency. (app.py:879) 2022-01-18 14:18:40 [ INFO] Check Variables for consistency. (app.py:867) 2022-01-18 14:18:40 [ INFO] Start variable script evaluations. (reqtransformer.py:1269) 2022-01-18 14:18:41 [ INFO] Update variable `ham_unknown` with derived type. Old: `unknown` => New: `real`. (reqtransformer.py:627) PASSED [ 35%] tests/test_enums.py::TestEnums::test_type_inferences_with_enums_existing_var_update_real_enumerator -------------------------------- live log call --------------------------------- 2022-01-18 14:18:41 [ INFO] Loading session `inference_tests` at `revision_0` (app.py:1100) 2022-01-18 14:18:41 [ INFO] `<reqtransformer.VarImportSessions object at 0x7f50524fcaf0>` needs upgrade `0.0.0` -> `1.0.3` (reqtransformer.py:1769) 2022-01-18 14:18:41 [ INFO] Migrating `VarImportSessions`:`/storage/jenkins/jenkins_home/jobs/Hanfor/workspace/hanfor/tests/test_sessions/tmp/variable_import_sessions.pickle`, from 0.0.0 -> 1.0.3 (reqtransformer.py:1810) 2022-01-18 14:18:41 [ INFO] Check requirements consistency. (app.py:879) 2022-01-18 14:18:41 [ INFO] Check Variables for consistency. (app.py:867) 2022-01-18 14:18:41 [ INFO] Start variable script evaluations. (reqtransformer.py:1269) 2022-01-18 14:18:41 [ INFO] Update variable `ham_unknown` with derived type. Old: `unknown` => New: `real`. (reqtransformer.py:627) PASSED [ 36%] tests/test_enums.py::TestEnums::test_type_inferences_with_enums_new_var -------------------------------- live log call --------------------------------- 2022-01-18 14:18:41 [ INFO] Loading session `inference_tests` at `revision_0` (app.py:1100) 2022-01-18 14:18:41 [ INFO] `<reqtransformer.VarImportSessions object at 0x7f5052272040>` needs upgrade `0.0.0` -> `1.0.3` (reqtransformer.py:1769) 2022-01-18 14:18:41 [ INFO] Migrating `VarImportSessions`:`/storage/jenkins/jenkins_home/jobs/Hanfor/workspace/hanfor/tests/test_sessions/tmp/variable_import_sessions.pickle`, from 0.0.0 -> 1.0.3 (reqtransformer.py:1810) 2022-01-18 14:18:41 [ INFO] Check requirements consistency. (app.py:879) 2022-01-18 14:18:41 [ INFO] Check Variables for consistency. (app.py:867) 2022-01-18 14:18:41 [ INFO] Start variable script evaluations. (reqtransformer.py:1269) 2022-01-18 14:18:41 [ INFO] Start variable script evaluations. (reqtransformer.py:1269) 2022-01-18 14:18:41 [ INFO] Update variable `new_int` with derived type. Old: `None` => New: `int`. (reqtransformer.py:627) 2022-01-18 14:18:41 [ INFO] Start variable script evaluations. (reqtransformer.py:1269) 2022-01-18 14:18:41 [ INFO] Update variable `new_int_1` with derived type. Old: `None` => New: `int`. (reqtransformer.py:627) 2022-01-18 14:18:41 [ INFO] Start variable script evaluations. (reqtransformer.py:1269) 2022-01-18 14:18:41 [ INFO] Update variable `new_real` with derived type. Old: `None` => New: `real`. (reqtransformer.py:627) 2022-01-18 14:18:41 [ INFO] Start variable script evaluations. (reqtransformer.py:1269) 2022-01-18 14:18:41 [ INFO] Update variable `new_real_1` with derived type. Old: `None` => New: `real`. (reqtransformer.py:627) PASSED [ 37%] tests/test_formalization_process.py::TestFormalizationProcess::test_adding_new_formalization -------------------------------- live log call --------------------------------- 2022-01-18 14:18:41 [ INFO] Loading session `simple` at `revision_0` (app.py:1100) 2022-01-18 14:18:41 [ INFO] Check requirements consistency. (app.py:879) 2022-01-18 14:18:41 [ INFO] Check Variables for consistency. (app.py:867) 2022-01-18 14:18:41 [ INFO] Start variable script evaluations. (reqtransformer.py:1269) 2022-01-18 14:18:41 [ INFO] Start variable script evaluations. (reqtransformer.py:1269) 2022-01-18 14:18:41 [ INFO] Start variable script evaluations. (reqtransformer.py:1269) 2022-01-18 14:18:41 [ INFO] Update variable `the_world_sinks` with derived type. Old: `None` => New: `bool`. (reqtransformer.py:627) 2022-01-18 14:18:41 [ INFO] Update variable `ham` with derived type. Old: `None` => New: `int`. (reqtransformer.py:627) PASSED [ 39%] tests/test_formalization_process.py::TestFormalizationProcess::test_changing_var_in_formalization -------------------------------- live log call --------------------------------- 2022-01-18 14:18:41 [ INFO] Loading session `simple` at `revision_0` (app.py:1100) 2022-01-18 14:18:41 [ INFO] Check requirements consistency. (app.py:879) 2022-01-18 14:18:41 [ INFO] Check Variables for consistency. (app.py:867) 2022-01-18 14:18:41 [ INFO] Start variable script evaluations. (reqtransformer.py:1269) 2022-01-18 14:18:41 [ INFO] Start variable script evaluations. (reqtransformer.py:1269) 2022-01-18 14:18:41 [ INFO] Update variable `bas` with derived type. Old: `None` => New: `unknown`. (reqtransformer.py:627) PASSED [ 40%] tests/test_formalization_process.py::TestFormalizationProcess::test_changing_var_name -------------------------------- live log call --------------------------------- 2022-01-18 14:18:41 [ INFO] Loading session `simple` at `revision_0` (app.py:1100) 2022-01-18 14:18:41 [ INFO] Check requirements consistency. (app.py:879) 2022-01-18 14:18:41 [ INFO] Check Variables for consistency. (app.py:867) 2022-01-18 14:18:41 [ INFO] Start variable script evaluations. (reqtransformer.py:1269) 2022-01-18 14:18:41 [ INFO] Update Variable `foo` (utils.py:307) 2022-01-18 14:18:41 [ INFO] Rename `foo` -> `bas` (reqtransformer.py:956) 2022-01-18 14:18:41 [ INFO] Start variable script evaluations. (reqtransformer.py:1269) 2022-01-18 14:18:41 [ INFO] Store updated variables. (utils.py:440) 2022-01-18 14:18:41 [ INFO] Update derived types by parsing affected formalizations. (utils.py:443) PASSED [ 41%] tests/test_formalization_process.py::TestFormalizationProcess::test_deleting_a_formalization -------------------------------- live log call --------------------------------- 2022-01-18 14:18:41 [ INFO] Loading session `simple` at `revision_0` (app.py:1100) 2022-01-18 14:18:41 [ INFO] Check requirements consistency. (app.py:879) 2022-01-18 14:18:41 [ INFO] Check Variables for consistency. (app.py:867) 2022-01-18 14:18:41 [ INFO] Start variable script evaluations. (reqtransformer.py:1269) PASSED [ 43%] tests/test_hanfor_api_skeleton.py::TestHanforApiSkeleton::test_new_session_from_csv -------------------------------- live log call --------------------------------- 2022-01-18 14:18:41 [ INFO] No revisions for `simple`. Creating initial revision. (utils.py:1275) 2022-01-18 14:18:41 [ INFO] Load Input : /storage/jenkins/jenkins_home/jobs/Hanfor/workspace/hanfor/tests/test_sessions/test_init/simple.csv (reqtransformer.py:132) 2022-01-18 14:18:41 [ INFO] Could not guess .csv dialect, assuming defaults (reqtransformer.py:137) 2022-01-18 14:18:41 [ INFO] Check CSV integrity. (app.py:1108) 2022-01-18 14:18:41 [ INFO] Check requirements consistency. (app.py:879) 2022-01-18 14:18:41 [ INFO] Check Variables for consistency. (app.py:867) 2022-01-18 14:18:41 [ INFO] Start variable script evaluations. (reqtransformer.py:1269) PASSED [ 44%] tests/test_hanfor_version_migrations.py::TestHanforVersionMigrations::test_adding_formalizations -------------------------------- live log call --------------------------------- 2022-01-18 14:18:41 [ INFO] Loading session `simple_0_0_0` at `revision_0` (app.py:1100) 2022-01-18 14:18:41 [ INFO] `<reqtransformer.VarImportSessions object at 0x7f5051d12130>` needs upgrade `0.0.0` -> `1.0.3` (reqtransformer.py:1769) 2022-01-18 14:18:41 [ INFO] Migrating `VarImportSessions`:`/storage/jenkins/jenkins_home/jobs/Hanfor/workspace/hanfor/tests/test_sessions/tmp/variable_import_sessions.pickle`, from 0.0.0 -> 1.0.3 (reqtransformer.py:1810) 2022-01-18 14:18:41 [ INFO] `<reqtransformer.VariableCollection object at 0x7f5051d12c40>` needs upgrade `0.0.0` -> `1.0.3` (reqtransformer.py:871) 2022-01-18 14:18:41 [ INFO] Migrating `VariableCollection`:`/storage/jenkins/jenkins_home/jobs/Hanfor/workspace/hanfor/tests/test_sessions/tmp/simple_0_0_0/revision_0/session_variable_collection.pickle`, from 0.0.0 -> 1.0.3 (reqtransformer.py:1187) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`spam_egg`, from 0.0.0 -> 1.0.0 (reqtransformer.py:1552) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`spam_egg`, from 1.0.0 -> 1.0.1 (reqtransformer.py:1558) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`spam_egg`, from 1.0.1 -> 1.0.3 (reqtransformer.py:1564) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`spam_ham`, from 0.0.0 -> 1.0.0 (reqtransformer.py:1552) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`spam_ham`, from 1.0.0 -> 1.0.1 (reqtransformer.py:1558) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`spam_ham`, from 1.0.1 -> 1.0.3 (reqtransformer.py:1564) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`bar`, from 0.0.0 -> 1.0.0 (reqtransformer.py:1552) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`bar`, from 1.0.0 -> 1.0.1 (reqtransformer.py:1558) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`bar`, from 1.0.1 -> 1.0.3 (reqtransformer.py:1564) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`foo`, from 0.0.0 -> 1.0.0 (reqtransformer.py:1552) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`foo`, from 1.0.0 -> 1.0.1 (reqtransformer.py:1558) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`foo`, from 1.0.1 -> 1.0.3 (reqtransformer.py:1564) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`spam`, from 0.0.0 -> 1.0.0 (reqtransformer.py:1552) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`spam`, from 1.0.0 -> 1.0.1 (reqtransformer.py:1558) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`spam`, from 1.0.1 -> 1.0.3 (reqtransformer.py:1564) 2022-01-18 14:18:41 [ INFO] Migrate old ENUM `spam` to new ENUM_INT, ENUM_REAL (reqtransformer.py:1570) 2022-01-18 14:18:41 [ INFO] Migrate old ENUM `spam` to new ENUM_INT, ENUM_REAL (reqtransformer.py:1201) 2022-01-18 14:18:41 [ INFO] Set type of `spam` to `ENUM_INT` (reqtransformer.py:1219) 2022-01-18 14:18:41 [ INFO] Set type of `spam_egg` to `ENUMERATOR_INT` (reqtransformer.py:1222) 2022-01-18 14:18:41 [ INFO] Set type of `spam_ham` to `ENUMERATOR_INT` (reqtransformer.py:1222) 2022-01-18 14:18:41 [ INFO] Check requirements consistency. (app.py:879) 2022-01-18 14:18:41 [ INFO] `<reqtransformer.Requirement object at 0x7f5051d12f70>` needs upgrade `0.0.0` -> `1.0.3` (reqtransformer.py:338) 2022-01-18 14:18:41 [ INFO] Migrating `Requirement`:`SysRS FooXY_42`, from 0.0.0 -> 1.0.0 (reqtransformer.py:519) 2022-01-18 14:18:41 [ INFO] `<reqtransformer.Requirement object at 0x7f5051d12ac0>` needs upgrade `0.0.0` -> `1.0.3` (reqtransformer.py:338) 2022-01-18 14:18:41 [ INFO] Migrating `Requirement`:`SysRS FooXY_91`, from 0.0.0 -> 1.0.0 (reqtransformer.py:519) 2022-01-18 14:18:41 [ INFO] Check Variables for consistency. (app.py:867) 2022-01-18 14:18:41 [ INFO] Start variable script evaluations. (reqtransformer.py:1269) 2022-01-18 14:18:41 [ INFO] Start variable script evaluations. (reqtransformer.py:1269) 2022-01-18 14:18:41 [ INFO] Update variable `foo` with derived type. Old: `unknown` => New: `bool`. (reqtransformer.py:627) 2022-01-18 14:18:41 [ INFO] Update variable `something_else` with derived type. Old: `None` => New: `bool`. (reqtransformer.py:627) 2022-01-18 14:18:41 [ INFO] Loading session `simple_1_0_0` at `revision_0` (app.py:1100) 2022-01-18 14:18:41 [ INFO] `<reqtransformer.VariableCollection object at 0x7f50524266a0>` needs upgrade `1.0.0` -> `1.0.3` (reqtransformer.py:871) 2022-01-18 14:18:41 [ INFO] Migrating `VariableCollection`:`/storage/jenkins/jenkins_home/jobs/Hanfor/workspace/hanfor/tests/test_sessions/tmp/simple_1_0_0/revision_0/session_variable_collection.pickle`, from 1.0.0 -> 1.0.3 (reqtransformer.py:1187) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`spam_egg`, from 1.0.0 -> 1.0.1 (reqtransformer.py:1558) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`spam_egg`, from 1.0.1 -> 1.0.3 (reqtransformer.py:1564) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`spam`, from 1.0.0 -> 1.0.1 (reqtransformer.py:1558) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`spam`, from 1.0.1 -> 1.0.3 (reqtransformer.py:1564) 2022-01-18 14:18:41 [ INFO] Migrate old ENUM `spam` to new ENUM_INT, ENUM_REAL (reqtransformer.py:1570) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`spam_ham`, from 1.0.0 -> 1.0.1 (reqtransformer.py:1558) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`spam_ham`, from 1.0.1 -> 1.0.3 (reqtransformer.py:1564) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`bar`, from 1.0.0 -> 1.0.1 (reqtransformer.py:1558) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`bar`, from 1.0.1 -> 1.0.3 (reqtransformer.py:1564) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`foo`, from 1.0.0 -> 1.0.1 (reqtransformer.py:1558) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`foo`, from 1.0.1 -> 1.0.3 (reqtransformer.py:1564) 2022-01-18 14:18:41 [ INFO] Migrate old ENUM `spam` to new ENUM_INT, ENUM_REAL (reqtransformer.py:1201) 2022-01-18 14:18:41 [ INFO] Set type of `spam` to `ENUM_INT` (reqtransformer.py:1219) 2022-01-18 14:18:41 [ INFO] Set type of `spam_egg` to `ENUMERATOR_INT` (reqtransformer.py:1222) 2022-01-18 14:18:41 [ INFO] Set type of `spam_ham` to `ENUMERATOR_INT` (reqtransformer.py:1222) 2022-01-18 14:18:41 [ INFO] Check requirements consistency. (app.py:879) 2022-01-18 14:18:41 [ INFO] `<reqtransformer.Requirement object at 0x7f5052426100>` needs upgrade `1.0.0` -> `1.0.3` (reqtransformer.py:338) 2022-01-18 14:18:41 [ INFO] `<reqtransformer.Requirement object at 0x7f5052426130>` needs upgrade `1.0.0` -> `1.0.3` (reqtransformer.py:338) 2022-01-18 14:18:41 [ INFO] Check Variables for consistency. (app.py:867) 2022-01-18 14:18:41 [ INFO] Start variable script evaluations. (reqtransformer.py:1269) 2022-01-18 14:18:41 [ INFO] Start variable script evaluations. (reqtransformer.py:1269) 2022-01-18 14:18:41 [ INFO] Update variable `foo` with derived type. Old: `unknown` => New: `bool`. (reqtransformer.py:627) 2022-01-18 14:18:41 [ INFO] Update variable `something_else` with derived type. Old: `None` => New: `bool`. (reqtransformer.py:627) PASSED [ 45%] tests/test_hanfor_version_migrations.py::TestHanforVersionMigrations::test_adding_tags -------------------------------- live log call --------------------------------- 2022-01-18 14:18:41 [ INFO] Loading session `simple_0_0_0` at `revision_0` (app.py:1100) 2022-01-18 14:18:41 [ INFO] `<reqtransformer.VarImportSessions object at 0x7f5052561e20>` needs upgrade `0.0.0` -> `1.0.3` (reqtransformer.py:1769) 2022-01-18 14:18:41 [ INFO] Migrating `VarImportSessions`:`/storage/jenkins/jenkins_home/jobs/Hanfor/workspace/hanfor/tests/test_sessions/tmp/variable_import_sessions.pickle`, from 0.0.0 -> 1.0.3 (reqtransformer.py:1810) 2022-01-18 14:18:41 [ INFO] `<reqtransformer.VariableCollection object at 0x7f5052561e20>` needs upgrade `0.0.0` -> `1.0.3` (reqtransformer.py:871) 2022-01-18 14:18:41 [ INFO] Migrating `VariableCollection`:`/storage/jenkins/jenkins_home/jobs/Hanfor/workspace/hanfor/tests/test_sessions/tmp/simple_0_0_0/revision_0/session_variable_collection.pickle`, from 0.0.0 -> 1.0.3 (reqtransformer.py:1187) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`spam_egg`, from 0.0.0 -> 1.0.0 (reqtransformer.py:1552) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`spam_egg`, from 1.0.0 -> 1.0.1 (reqtransformer.py:1558) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`spam_egg`, from 1.0.1 -> 1.0.3 (reqtransformer.py:1564) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`spam_ham`, from 0.0.0 -> 1.0.0 (reqtransformer.py:1552) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`spam_ham`, from 1.0.0 -> 1.0.1 (reqtransformer.py:1558) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`spam_ham`, from 1.0.1 -> 1.0.3 (reqtransformer.py:1564) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`bar`, from 0.0.0 -> 1.0.0 (reqtransformer.py:1552) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`bar`, from 1.0.0 -> 1.0.1 (reqtransformer.py:1558) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`bar`, from 1.0.1 -> 1.0.3 (reqtransformer.py:1564) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`foo`, from 0.0.0 -> 1.0.0 (reqtransformer.py:1552) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`foo`, from 1.0.0 -> 1.0.1 (reqtransformer.py:1558) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`foo`, from 1.0.1 -> 1.0.3 (reqtransformer.py:1564) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`spam`, from 0.0.0 -> 1.0.0 (reqtransformer.py:1552) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`spam`, from 1.0.0 -> 1.0.1 (reqtransformer.py:1558) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`spam`, from 1.0.1 -> 1.0.3 (reqtransformer.py:1564) 2022-01-18 14:18:41 [ INFO] Migrate old ENUM `spam` to new ENUM_INT, ENUM_REAL (reqtransformer.py:1570) 2022-01-18 14:18:41 [ INFO] Migrate old ENUM `spam` to new ENUM_INT, ENUM_REAL (reqtransformer.py:1201) 2022-01-18 14:18:41 [ INFO] Set type of `spam` to `ENUM_INT` (reqtransformer.py:1219) 2022-01-18 14:18:41 [ INFO] Set type of `spam_egg` to `ENUMERATOR_INT` (reqtransformer.py:1222) 2022-01-18 14:18:41 [ INFO] Set type of `spam_ham` to `ENUMERATOR_INT` (reqtransformer.py:1222) 2022-01-18 14:18:41 [ INFO] Check requirements consistency. (app.py:879) 2022-01-18 14:18:41 [ INFO] `<reqtransformer.Requirement object at 0x7f5051d12a30>` needs upgrade `0.0.0` -> `1.0.3` (reqtransformer.py:338) 2022-01-18 14:18:41 [ INFO] Migrating `Requirement`:`SysRS FooXY_42`, from 0.0.0 -> 1.0.0 (reqtransformer.py:519) 2022-01-18 14:18:41 [ INFO] `<reqtransformer.Requirement object at 0x7f5051d12940>` needs upgrade `0.0.0` -> `1.0.3` (reqtransformer.py:338) 2022-01-18 14:18:41 [ INFO] Migrating `Requirement`:`SysRS FooXY_91`, from 0.0.0 -> 1.0.0 (reqtransformer.py:519) 2022-01-18 14:18:41 [ INFO] Check Variables for consistency. (app.py:867) 2022-01-18 14:18:41 [ INFO] Start variable script evaluations. (reqtransformer.py:1269) 2022-01-18 14:18:41 [ INFO] Loading session `simple_1_0_0` at `revision_0` (app.py:1100) 2022-01-18 14:18:41 [ INFO] `<reqtransformer.VariableCollection object at 0x7f50524b26a0>` needs upgrade `1.0.0` -> `1.0.3` (reqtransformer.py:871) 2022-01-18 14:18:41 [ INFO] Migrating `VariableCollection`:`/storage/jenkins/jenkins_home/jobs/Hanfor/workspace/hanfor/tests/test_sessions/tmp/simple_1_0_0/revision_0/session_variable_collection.pickle`, from 1.0.0 -> 1.0.3 (reqtransformer.py:1187) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`spam_egg`, from 1.0.0 -> 1.0.1 (reqtransformer.py:1558) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`spam_egg`, from 1.0.1 -> 1.0.3 (reqtransformer.py:1564) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`spam`, from 1.0.0 -> 1.0.1 (reqtransformer.py:1558) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`spam`, from 1.0.1 -> 1.0.3 (reqtransformer.py:1564) 2022-01-18 14:18:41 [ INFO] Migrate old ENUM `spam` to new ENUM_INT, ENUM_REAL (reqtransformer.py:1570) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`spam_ham`, from 1.0.0 -> 1.0.1 (reqtransformer.py:1558) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`spam_ham`, from 1.0.1 -> 1.0.3 (reqtransformer.py:1564) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`bar`, from 1.0.0 -> 1.0.1 (reqtransformer.py:1558) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`bar`, from 1.0.1 -> 1.0.3 (reqtransformer.py:1564) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`foo`, from 1.0.0 -> 1.0.1 (reqtransformer.py:1558) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`foo`, from 1.0.1 -> 1.0.3 (reqtransformer.py:1564) 2022-01-18 14:18:41 [ INFO] Migrate old ENUM `spam` to new ENUM_INT, ENUM_REAL (reqtransformer.py:1201) 2022-01-18 14:18:41 [ INFO] Set type of `spam` to `ENUM_INT` (reqtransformer.py:1219) 2022-01-18 14:18:41 [ INFO] Set type of `spam_egg` to `ENUMERATOR_INT` (reqtransformer.py:1222) 2022-01-18 14:18:41 [ INFO] Set type of `spam_ham` to `ENUMERATOR_INT` (reqtransformer.py:1222) 2022-01-18 14:18:41 [ INFO] Check requirements consistency. (app.py:879) 2022-01-18 14:18:41 [ INFO] `<reqtransformer.Requirement object at 0x7f5052561fa0>` needs upgrade `1.0.0` -> `1.0.3` (reqtransformer.py:338) 2022-01-18 14:18:41 [ INFO] `<reqtransformer.Requirement object at 0x7f50525616a0>` needs upgrade `1.0.0` -> `1.0.3` (reqtransformer.py:338) 2022-01-18 14:18:41 [ INFO] Check Variables for consistency. (app.py:867) 2022-01-18 14:18:41 [ INFO] Start variable script evaluations. (reqtransformer.py:1269) PASSED [ 46%] tests/test_hanfor_version_migrations.py::TestHanforVersionMigrations::test_change_var_name -------------------------------- live log call --------------------------------- 2022-01-18 14:18:41 [ INFO] Loading session `simple_0_0_0` at `revision_0` (app.py:1100) 2022-01-18 14:18:41 [ INFO] `<reqtransformer.VarImportSessions object at 0x7f5051d12e80>` needs upgrade `0.0.0` -> `1.0.3` (reqtransformer.py:1769) 2022-01-18 14:18:41 [ INFO] Migrating `VarImportSessions`:`/storage/jenkins/jenkins_home/jobs/Hanfor/workspace/hanfor/tests/test_sessions/tmp/variable_import_sessions.pickle`, from 0.0.0 -> 1.0.3 (reqtransformer.py:1810) 2022-01-18 14:18:41 [ INFO] `<reqtransformer.VariableCollection object at 0x7f5051d12970>` needs upgrade `0.0.0` -> `1.0.3` (reqtransformer.py:871) 2022-01-18 14:18:41 [ INFO] Migrating `VariableCollection`:`/storage/jenkins/jenkins_home/jobs/Hanfor/workspace/hanfor/tests/test_sessions/tmp/simple_0_0_0/revision_0/session_variable_collection.pickle`, from 0.0.0 -> 1.0.3 (reqtransformer.py:1187) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`spam_egg`, from 0.0.0 -> 1.0.0 (reqtransformer.py:1552) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`spam_egg`, from 1.0.0 -> 1.0.1 (reqtransformer.py:1558) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`spam_egg`, from 1.0.1 -> 1.0.3 (reqtransformer.py:1564) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`spam_ham`, from 0.0.0 -> 1.0.0 (reqtransformer.py:1552) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`spam_ham`, from 1.0.0 -> 1.0.1 (reqtransformer.py:1558) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`spam_ham`, from 1.0.1 -> 1.0.3 (reqtransformer.py:1564) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`bar`, from 0.0.0 -> 1.0.0 (reqtransformer.py:1552) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`bar`, from 1.0.0 -> 1.0.1 (reqtransformer.py:1558) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`bar`, from 1.0.1 -> 1.0.3 (reqtransformer.py:1564) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`foo`, from 0.0.0 -> 1.0.0 (reqtransformer.py:1552) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`foo`, from 1.0.0 -> 1.0.1 (reqtransformer.py:1558) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`foo`, from 1.0.1 -> 1.0.3 (reqtransformer.py:1564) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`spam`, from 0.0.0 -> 1.0.0 (reqtransformer.py:1552) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`spam`, from 1.0.0 -> 1.0.1 (reqtransformer.py:1558) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`spam`, from 1.0.1 -> 1.0.3 (reqtransformer.py:1564) 2022-01-18 14:18:41 [ INFO] Migrate old ENUM `spam` to new ENUM_INT, ENUM_REAL (reqtransformer.py:1570) 2022-01-18 14:18:41 [ INFO] Migrate old ENUM `spam` to new ENUM_INT, ENUM_REAL (reqtransformer.py:1201) 2022-01-18 14:18:41 [ INFO] Set type of `spam` to `ENUM_INT` (reqtransformer.py:1219) 2022-01-18 14:18:41 [ INFO] Set type of `spam_egg` to `ENUMERATOR_INT` (reqtransformer.py:1222) 2022-01-18 14:18:41 [ INFO] Set type of `spam_ham` to `ENUMERATOR_INT` (reqtransformer.py:1222) 2022-01-18 14:18:41 [ INFO] Check requirements consistency. (app.py:879) 2022-01-18 14:18:41 [ INFO] `<reqtransformer.Requirement object at 0x7f5051d12fa0>` needs upgrade `0.0.0` -> `1.0.3` (reqtransformer.py:338) 2022-01-18 14:18:41 [ INFO] Migrating `Requirement`:`SysRS FooXY_42`, from 0.0.0 -> 1.0.0 (reqtransformer.py:519) 2022-01-18 14:18:41 [ INFO] `<reqtransformer.Requirement object at 0x7f5052514430>` needs upgrade `0.0.0` -> `1.0.3` (reqtransformer.py:338) 2022-01-18 14:18:41 [ INFO] Migrating `Requirement`:`SysRS FooXY_91`, from 0.0.0 -> 1.0.0 (reqtransformer.py:519) 2022-01-18 14:18:41 [ INFO] Check Variables for consistency. (app.py:867) 2022-01-18 14:18:41 [ INFO] Start variable script evaluations. (reqtransformer.py:1269) 2022-01-18 14:18:41 [ INFO] Update Variable `foo` (utils.py:307) 2022-01-18 14:18:41 [ INFO] Change type from `unknown` to `bool`. (utils.py:313) 2022-01-18 14:18:41 [ INFO] Rename `foo` -> `foo_bar` (reqtransformer.py:956) 2022-01-18 14:18:41 [ INFO] Start variable script evaluations. (reqtransformer.py:1269) 2022-01-18 14:18:41 [ INFO] Store updated variables. (utils.py:440) 2022-01-18 14:18:41 [ INFO] Update derived types by parsing affected formalizations. (utils.py:443) 2022-01-18 14:18:41 [ INFO] Reload type inference for `SysRS FooXY_42` (reqtransformer.py:482) 2022-01-18 14:18:41 [ INFO] Update variable `bar` with derived type. Old: `unknown` => New: `bool`. (reqtransformer.py:627) 2022-01-18 14:18:41 [ INFO] Loading session `simple_1_0_0` at `revision_0` (app.py:1100) 2022-01-18 14:18:41 [ INFO] `<reqtransformer.VariableCollection object at 0x7f50524fa4f0>` needs upgrade `1.0.0` -> `1.0.3` (reqtransformer.py:871) 2022-01-18 14:18:41 [ INFO] Migrating `VariableCollection`:`/storage/jenkins/jenkins_home/jobs/Hanfor/workspace/hanfor/tests/test_sessions/tmp/simple_1_0_0/revision_0/session_variable_collection.pickle`, from 1.0.0 -> 1.0.3 (reqtransformer.py:1187) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`spam_egg`, from 1.0.0 -> 1.0.1 (reqtransformer.py:1558) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`spam_egg`, from 1.0.1 -> 1.0.3 (reqtransformer.py:1564) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`spam`, from 1.0.0 -> 1.0.1 (reqtransformer.py:1558) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`spam`, from 1.0.1 -> 1.0.3 (reqtransformer.py:1564) 2022-01-18 14:18:41 [ INFO] Migrate old ENUM `spam` to new ENUM_INT, ENUM_REAL (reqtransformer.py:1570) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`spam_ham`, from 1.0.0 -> 1.0.1 (reqtransformer.py:1558) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`spam_ham`, from 1.0.1 -> 1.0.3 (reqtransformer.py:1564) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`bar`, from 1.0.0 -> 1.0.1 (reqtransformer.py:1558) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`bar`, from 1.0.1 -> 1.0.3 (reqtransformer.py:1564) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`foo`, from 1.0.0 -> 1.0.1 (reqtransformer.py:1558) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`foo`, from 1.0.1 -> 1.0.3 (reqtransformer.py:1564) 2022-01-18 14:18:41 [ INFO] Migrate old ENUM `spam` to new ENUM_INT, ENUM_REAL (reqtransformer.py:1201) 2022-01-18 14:18:41 [ INFO] Set type of `spam` to `ENUM_INT` (reqtransformer.py:1219) 2022-01-18 14:18:41 [ INFO] Set type of `spam_egg` to `ENUMERATOR_INT` (reqtransformer.py:1222) 2022-01-18 14:18:41 [ INFO] Set type of `spam_ham` to `ENUMERATOR_INT` (reqtransformer.py:1222) 2022-01-18 14:18:41 [ INFO] Check requirements consistency. (app.py:879) 2022-01-18 14:18:41 [ INFO] `<reqtransformer.Requirement object at 0x7f5051fcdd60>` needs upgrade `1.0.0` -> `1.0.3` (reqtransformer.py:338) 2022-01-18 14:18:41 [ INFO] `<reqtransformer.Requirement object at 0x7f5051fcd8e0>` needs upgrade `1.0.0` -> `1.0.3` (reqtransformer.py:338) 2022-01-18 14:18:41 [ INFO] Check Variables for consistency. (app.py:867) 2022-01-18 14:18:41 [ INFO] Start variable script evaluations. (reqtransformer.py:1269) 2022-01-18 14:18:41 [ INFO] Update Variable `foo` (utils.py:307) 2022-01-18 14:18:41 [ INFO] Change type from `unknown` to `bool`. (utils.py:313) 2022-01-18 14:18:41 [ INFO] Rename `foo` -> `foo_bar` (reqtransformer.py:956) 2022-01-18 14:18:41 [ INFO] Start variable script evaluations. (reqtransformer.py:1269) 2022-01-18 14:18:41 [ INFO] Store updated variables. (utils.py:440) 2022-01-18 14:18:41 [ INFO] Update derived types by parsing affected formalizations. (utils.py:443) 2022-01-18 14:18:41 [ INFO] Reload type inference for `SysRS FooXY_42` (reqtransformer.py:482) 2022-01-18 14:18:41 [ INFO] Update variable `bar` with derived type. Old: `unknown` => New: `bool`. (reqtransformer.py:627) PASSED [ 48%] tests/test_hanfor_version_migrations.py::TestHanforVersionMigrations::test_csv_file_after_migrations -------------------------------- live log call --------------------------------- 2022-01-18 14:18:41 [ INFO] Loading session `simple_0_0_0` at `revision_0` (app.py:1100) 2022-01-18 14:18:41 [ INFO] `<reqtransformer.VarImportSessions object at 0x7f5052505eb0>` needs upgrade `0.0.0` -> `1.0.3` (reqtransformer.py:1769) 2022-01-18 14:18:41 [ INFO] Migrating `VarImportSessions`:`/storage/jenkins/jenkins_home/jobs/Hanfor/workspace/hanfor/tests/test_sessions/tmp/variable_import_sessions.pickle`, from 0.0.0 -> 1.0.3 (reqtransformer.py:1810) 2022-01-18 14:18:41 [ INFO] `<reqtransformer.VariableCollection object at 0x7f5052505e50>` needs upgrade `0.0.0` -> `1.0.3` (reqtransformer.py:871) 2022-01-18 14:18:41 [ INFO] Migrating `VariableCollection`:`/storage/jenkins/jenkins_home/jobs/Hanfor/workspace/hanfor/tests/test_sessions/tmp/simple_0_0_0/revision_0/session_variable_collection.pickle`, from 0.0.0 -> 1.0.3 (reqtransformer.py:1187) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`spam_egg`, from 0.0.0 -> 1.0.0 (reqtransformer.py:1552) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`spam_egg`, from 1.0.0 -> 1.0.1 (reqtransformer.py:1558) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`spam_egg`, from 1.0.1 -> 1.0.3 (reqtransformer.py:1564) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`spam_ham`, from 0.0.0 -> 1.0.0 (reqtransformer.py:1552) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`spam_ham`, from 1.0.0 -> 1.0.1 (reqtransformer.py:1558) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`spam_ham`, from 1.0.1 -> 1.0.3 (reqtransformer.py:1564) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`bar`, from 0.0.0 -> 1.0.0 (reqtransformer.py:1552) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`bar`, from 1.0.0 -> 1.0.1 (reqtransformer.py:1558) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`bar`, from 1.0.1 -> 1.0.3 (reqtransformer.py:1564) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`foo`, from 0.0.0 -> 1.0.0 (reqtransformer.py:1552) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`foo`, from 1.0.0 -> 1.0.1 (reqtransformer.py:1558) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`foo`, from 1.0.1 -> 1.0.3 (reqtransformer.py:1564) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`spam`, from 0.0.0 -> 1.0.0 (reqtransformer.py:1552) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`spam`, from 1.0.0 -> 1.0.1 (reqtransformer.py:1558) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`spam`, from 1.0.1 -> 1.0.3 (reqtransformer.py:1564) 2022-01-18 14:18:41 [ INFO] Migrate old ENUM `spam` to new ENUM_INT, ENUM_REAL (reqtransformer.py:1570) 2022-01-18 14:18:41 [ INFO] Migrate old ENUM `spam` to new ENUM_INT, ENUM_REAL (reqtransformer.py:1201) 2022-01-18 14:18:41 [ INFO] Set type of `spam` to `ENUM_INT` (reqtransformer.py:1219) 2022-01-18 14:18:41 [ INFO] Set type of `spam_egg` to `ENUMERATOR_INT` (reqtransformer.py:1222) 2022-01-18 14:18:41 [ INFO] Set type of `spam_ham` to `ENUMERATOR_INT` (reqtransformer.py:1222) 2022-01-18 14:18:41 [ INFO] Check requirements consistency. (app.py:879) 2022-01-18 14:18:41 [ INFO] `<reqtransformer.Requirement object at 0x7f5052564430>` needs upgrade `0.0.0` -> `1.0.3` (reqtransformer.py:338) 2022-01-18 14:18:41 [ INFO] Migrating `Requirement`:`SysRS FooXY_42`, from 0.0.0 -> 1.0.0 (reqtransformer.py:519) 2022-01-18 14:18:41 [ INFO] `<reqtransformer.Requirement object at 0x7f50524fae50>` needs upgrade `0.0.0` -> `1.0.3` (reqtransformer.py:338) 2022-01-18 14:18:41 [ INFO] Migrating `Requirement`:`SysRS FooXY_91`, from 0.0.0 -> 1.0.0 (reqtransformer.py:519) 2022-01-18 14:18:41 [ INFO] Check Variables for consistency. (app.py:867) 2022-01-18 14:18:41 [ INFO] Start variable script evaluations. (reqtransformer.py:1269) 2022-01-18 14:18:41 [ INFO] Loading session `simple_1_0_0` at `revision_0` (app.py:1100) 2022-01-18 14:18:41 [ INFO] `<reqtransformer.VariableCollection object at 0x7f50524fac10>` needs upgrade `1.0.0` -> `1.0.3` (reqtransformer.py:871) 2022-01-18 14:18:41 [ INFO] Migrating `VariableCollection`:`/storage/jenkins/jenkins_home/jobs/Hanfor/workspace/hanfor/tests/test_sessions/tmp/simple_1_0_0/revision_0/session_variable_collection.pickle`, from 1.0.0 -> 1.0.3 (reqtransformer.py:1187) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`spam_egg`, from 1.0.0 -> 1.0.1 (reqtransformer.py:1558) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`spam_egg`, from 1.0.1 -> 1.0.3 (reqtransformer.py:1564) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`spam`, from 1.0.0 -> 1.0.1 (reqtransformer.py:1558) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`spam`, from 1.0.1 -> 1.0.3 (reqtransformer.py:1564) 2022-01-18 14:18:41 [ INFO] Migrate old ENUM `spam` to new ENUM_INT, ENUM_REAL (reqtransformer.py:1570) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`spam_ham`, from 1.0.0 -> 1.0.1 (reqtransformer.py:1558) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`spam_ham`, from 1.0.1 -> 1.0.3 (reqtransformer.py:1564) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`bar`, from 1.0.0 -> 1.0.1 (reqtransformer.py:1558) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`bar`, from 1.0.1 -> 1.0.3 (reqtransformer.py:1564) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`foo`, from 1.0.0 -> 1.0.1 (reqtransformer.py:1558) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`foo`, from 1.0.1 -> 1.0.3 (reqtransformer.py:1564) 2022-01-18 14:18:41 [ INFO] Migrate old ENUM `spam` to new ENUM_INT, ENUM_REAL (reqtransformer.py:1201) 2022-01-18 14:18:41 [ INFO] Set type of `spam` to `ENUM_INT` (reqtransformer.py:1219) 2022-01-18 14:18:41 [ INFO] Set type of `spam_egg` to `ENUMERATOR_INT` (reqtransformer.py:1222) 2022-01-18 14:18:41 [ INFO] Set type of `spam_ham` to `ENUMERATOR_INT` (reqtransformer.py:1222) 2022-01-18 14:18:41 [ INFO] Check requirements consistency. (app.py:879) 2022-01-18 14:18:41 [ INFO] `<reqtransformer.Requirement object at 0x7f505229cdf0>` needs upgrade `1.0.0` -> `1.0.3` (reqtransformer.py:338) 2022-01-18 14:18:41 [ INFO] `<reqtransformer.Requirement object at 0x7f505229c700>` needs upgrade `1.0.0` -> `1.0.3` (reqtransformer.py:338) 2022-01-18 14:18:41 [ INFO] Check Variables for consistency. (app.py:867) 2022-01-18 14:18:41 [ INFO] Start variable script evaluations. (reqtransformer.py:1269) PASSED [ 49%] tests/test_hanfor_version_migrations.py::TestHanforVersionMigrations::test_generating_a_new_import_session -------------------------------- live log call --------------------------------- 2022-01-18 14:18:41 [ INFO] Loading session `simple_0_0_0` at `revision_0` (app.py:1100) 2022-01-18 14:18:41 [ INFO] `<reqtransformer.VarImportSessions object at 0x7f505229ca90>` needs upgrade `0.0.0` -> `1.0.3` (reqtransformer.py:1769) 2022-01-18 14:18:41 [ INFO] Migrating `VarImportSessions`:`/storage/jenkins/jenkins_home/jobs/Hanfor/workspace/hanfor/tests/test_sessions/tmp/variable_import_sessions.pickle`, from 0.0.0 -> 1.0.3 (reqtransformer.py:1810) 2022-01-18 14:18:41 [ INFO] `<reqtransformer.VariableCollection object at 0x7f505229c130>` needs upgrade `0.0.0` -> `1.0.3` (reqtransformer.py:871) 2022-01-18 14:18:41 [ INFO] Migrating `VariableCollection`:`/storage/jenkins/jenkins_home/jobs/Hanfor/workspace/hanfor/tests/test_sessions/tmp/simple_0_0_0/revision_0/session_variable_collection.pickle`, from 0.0.0 -> 1.0.3 (reqtransformer.py:1187) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`spam_egg`, from 0.0.0 -> 1.0.0 (reqtransformer.py:1552) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`spam_egg`, from 1.0.0 -> 1.0.1 (reqtransformer.py:1558) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`spam_egg`, from 1.0.1 -> 1.0.3 (reqtransformer.py:1564) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`spam_ham`, from 0.0.0 -> 1.0.0 (reqtransformer.py:1552) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`spam_ham`, from 1.0.0 -> 1.0.1 (reqtransformer.py:1558) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`spam_ham`, from 1.0.1 -> 1.0.3 (reqtransformer.py:1564) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`bar`, from 0.0.0 -> 1.0.0 (reqtransformer.py:1552) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`bar`, from 1.0.0 -> 1.0.1 (reqtransformer.py:1558) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`bar`, from 1.0.1 -> 1.0.3 (reqtransformer.py:1564) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`foo`, from 0.0.0 -> 1.0.0 (reqtransformer.py:1552) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`foo`, from 1.0.0 -> 1.0.1 (reqtransformer.py:1558) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`foo`, from 1.0.1 -> 1.0.3 (reqtransformer.py:1564) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`spam`, from 0.0.0 -> 1.0.0 (reqtransformer.py:1552) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`spam`, from 1.0.0 -> 1.0.1 (reqtransformer.py:1558) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`spam`, from 1.0.1 -> 1.0.3 (reqtransformer.py:1564) 2022-01-18 14:18:41 [ INFO] Migrate old ENUM `spam` to new ENUM_INT, ENUM_REAL (reqtransformer.py:1570) 2022-01-18 14:18:41 [ INFO] Migrate old ENUM `spam` to new ENUM_INT, ENUM_REAL (reqtransformer.py:1201) 2022-01-18 14:18:41 [ INFO] Set type of `spam` to `ENUM_INT` (reqtransformer.py:1219) 2022-01-18 14:18:41 [ INFO] Set type of `spam_egg` to `ENUMERATOR_INT` (reqtransformer.py:1222) 2022-01-18 14:18:41 [ INFO] Set type of `spam_ham` to `ENUMERATOR_INT` (reqtransformer.py:1222) 2022-01-18 14:18:41 [ INFO] Check requirements consistency. (app.py:879) 2022-01-18 14:18:41 [ INFO] `<reqtransformer.Requirement object at 0x7f505229c490>` needs upgrade `0.0.0` -> `1.0.3` (reqtransformer.py:338) 2022-01-18 14:18:41 [ INFO] Migrating `Requirement`:`SysRS FooXY_42`, from 0.0.0 -> 1.0.0 (reqtransformer.py:519) 2022-01-18 14:18:41 [ INFO] `<reqtransformer.Requirement object at 0x7f505229cd30>` needs upgrade `0.0.0` -> `1.0.3` (reqtransformer.py:338) 2022-01-18 14:18:41 [ INFO] Migrating `Requirement`:`SysRS FooXY_91`, from 0.0.0 -> 1.0.0 (reqtransformer.py:519) 2022-01-18 14:18:41 [ INFO] Check Variables for consistency. (app.py:867) 2022-01-18 14:18:41 [ INFO] Start variable script evaluations. (reqtransformer.py:1269) 2022-01-18 14:18:41 [ INFO] `<reqtransformer.VariableCollection object at 0x7f505229ca30>` needs upgrade `0.0.0` -> `1.0.3` (reqtransformer.py:871) 2022-01-18 14:18:41 [ INFO] Migrating `VariableCollection`:`/storage/jenkins/jenkins_home/jobs/Hanfor/workspace/hanfor/tests/test_sessions/tmp/simple_0_0_0_var_import_source/revision_0/session_variable_collection.pickle`, from 0.0.0 -> 1.0.3 (reqtransformer.py:1187) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`foo`, from 0.0.0 -> 1.0.0 (reqtransformer.py:1552) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`foo`, from 1.0.0 -> 1.0.1 (reqtransformer.py:1558) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`foo`, from 1.0.1 -> 1.0.3 (reqtransformer.py:1564) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`enum_with_constraint_foo`, from 0.0.0 -> 1.0.0 (reqtransformer.py:1552) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`enum_with_constraint_foo`, from 1.0.0 -> 1.0.1 (reqtransformer.py:1558) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`enum_with_constraint_foo`, from 1.0.1 -> 1.0.3 (reqtransformer.py:1564) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`enum_with_constraint`, from 0.0.0 -> 1.0.0 (reqtransformer.py:1552) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`enum_with_constraint`, from 1.0.0 -> 1.0.1 (reqtransformer.py:1558) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`enum_with_constraint`, from 1.0.1 -> 1.0.3 (reqtransformer.py:1564) 2022-01-18 14:18:41 [ INFO] Migrate old ENUM `enum_with_constraint` to new ENUM_INT, ENUM_REAL (reqtransformer.py:1570) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`spam`, from 0.0.0 -> 1.0.0 (reqtransformer.py:1552) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`spam`, from 1.0.0 -> 1.0.1 (reqtransformer.py:1558) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`spam`, from 1.0.1 -> 1.0.3 (reqtransformer.py:1564) 2022-01-18 14:18:41 [ INFO] Migrate old ENUM `spam` to new ENUM_INT, ENUM_REAL (reqtransformer.py:1570) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`new_var_3`, from 0.0.0 -> 1.0.0 (reqtransformer.py:1552) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`new_var_3`, from 1.0.0 -> 1.0.1 (reqtransformer.py:1558) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`new_var_3`, from 1.0.1 -> 1.0.3 (reqtransformer.py:1564) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`bar`, from 0.0.0 -> 1.0.0 (reqtransformer.py:1552) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`bar`, from 1.0.0 -> 1.0.1 (reqtransformer.py:1558) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`bar`, from 1.0.1 -> 1.0.3 (reqtransformer.py:1564) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`new_var_1`, from 0.0.0 -> 1.0.0 (reqtransformer.py:1552) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`new_var_1`, from 1.0.0 -> 1.0.1 (reqtransformer.py:1558) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`new_var_1`, from 1.0.1 -> 1.0.3 (reqtransformer.py:1564) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`spam_ham`, from 0.0.0 -> 1.0.0 (reqtransformer.py:1552) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`spam_ham`, from 1.0.0 -> 1.0.1 (reqtransformer.py:1558) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`spam_ham`, from 1.0.1 -> 1.0.3 (reqtransformer.py:1564) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`enum_with_constraint_bar`, from 0.0.0 -> 1.0.0 (reqtransformer.py:1552) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`enum_with_constraint_bar`, from 1.0.0 -> 1.0.1 (reqtransformer.py:1558) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`enum_with_constraint_bar`, from 1.0.1 -> 1.0.3 (reqtransformer.py:1564) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`spam_egg`, from 0.0.0 -> 1.0.0 (reqtransformer.py:1552) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`spam_egg`, from 1.0.0 -> 1.0.1 (reqtransformer.py:1558) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`spam_egg`, from 1.0.1 -> 1.0.3 (reqtransformer.py:1564) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`new_var_2`, from 0.0.0 -> 1.0.0 (reqtransformer.py:1552) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`new_var_2`, from 1.0.0 -> 1.0.1 (reqtransformer.py:1558) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`new_var_2`, from 1.0.1 -> 1.0.3 (reqtransformer.py:1564) 2022-01-18 14:18:41 [ INFO] Migrate old ENUM `enum_with_constraint` to new ENUM_INT, ENUM_REAL (reqtransformer.py:1201) 2022-01-18 14:18:41 [ INFO] Set type of `enum_with_constraint` to `ENUM_INT` (reqtransformer.py:1219) 2022-01-18 14:18:41 [ INFO] Set type of `enum_with_constraint_foo` to `ENUMERATOR_INT` (reqtransformer.py:1222) 2022-01-18 14:18:41 [ INFO] Set type of `enum_with_constraint_bar` to `ENUMERATOR_INT` (reqtransformer.py:1222) 2022-01-18 14:18:41 [ INFO] Migrate old ENUM `spam` to new ENUM_INT, ENUM_REAL (reqtransformer.py:1201) 2022-01-18 14:18:41 [ INFO] Set type of `spam` to `ENUM_INT` (reqtransformer.py:1219) 2022-01-18 14:18:41 [ INFO] Set type of `spam_ham` to `ENUMERATOR_INT` (reqtransformer.py:1222) 2022-01-18 14:18:41 [ INFO] Set type of `spam_egg` to `ENUMERATOR_INT` (reqtransformer.py:1222) 2022-01-18 14:18:41 [ INFO] Check Variables for consistency. (app.py:867) 2022-01-18 14:18:41 [ INFO] Start variable script evaluations. (reqtransformer.py:1269) 2022-01-18 14:18:41 [ INFO] Store changes for variable import session: 0 (app.py:710) 2022-01-18 14:18:41 [ INFO] Apply import for variable import session: 0 (app.py:736) 2022-01-18 14:18:41 [ INFO] Check Variables for consistency. (app.py:867) 2022-01-18 14:18:41 [ INFO] Start variable script evaluations. (reqtransformer.py:1269) 2022-01-18 14:18:41 [ INFO] Loading session `simple_1_0_0` at `revision_0` (app.py:1100) 2022-01-18 14:18:41 [ INFO] `<reqtransformer.VarImportSessions object at 0x7f50524b2850>` needs upgrade `0.0.0` -> `1.0.3` (reqtransformer.py:1769) 2022-01-18 14:18:41 [ INFO] Migrating `VarImportSessions`:`/storage/jenkins/jenkins_home/jobs/Hanfor/workspace/hanfor/tests/test_sessions/tmp/variable_import_sessions.pickle`, from 0.0.0 -> 1.0.3 (reqtransformer.py:1810) 2022-01-18 14:18:41 [ INFO] `<reqtransformer.VariableCollection object at 0x7f50524b2e50>` needs upgrade `1.0.0` -> `1.0.3` (reqtransformer.py:871) 2022-01-18 14:18:41 [ INFO] Migrating `VariableCollection`:`/storage/jenkins/jenkins_home/jobs/Hanfor/workspace/hanfor/tests/test_sessions/tmp/simple_1_0_0/revision_0/session_variable_collection.pickle`, from 1.0.0 -> 1.0.3 (reqtransformer.py:1187) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`spam_egg`, from 1.0.0 -> 1.0.1 (reqtransformer.py:1558) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`spam_egg`, from 1.0.1 -> 1.0.3 (reqtransformer.py:1564) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`spam`, from 1.0.0 -> 1.0.1 (reqtransformer.py:1558) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`spam`, from 1.0.1 -> 1.0.3 (reqtransformer.py:1564) 2022-01-18 14:18:41 [ INFO] Migrate old ENUM `spam` to new ENUM_INT, ENUM_REAL (reqtransformer.py:1570) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`spam_ham`, from 1.0.0 -> 1.0.1 (reqtransformer.py:1558) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`spam_ham`, from 1.0.1 -> 1.0.3 (reqtransformer.py:1564) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`bar`, from 1.0.0 -> 1.0.1 (reqtransformer.py:1558) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`bar`, from 1.0.1 -> 1.0.3 (reqtransformer.py:1564) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`foo`, from 1.0.0 -> 1.0.1 (reqtransformer.py:1558) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`foo`, from 1.0.1 -> 1.0.3 (reqtransformer.py:1564) 2022-01-18 14:18:41 [ INFO] Migrate old ENUM `spam` to new ENUM_INT, ENUM_REAL (reqtransformer.py:1201) 2022-01-18 14:18:41 [ INFO] Set type of `spam` to `ENUM_INT` (reqtransformer.py:1219) 2022-01-18 14:18:41 [ INFO] Set type of `spam_egg` to `ENUMERATOR_INT` (reqtransformer.py:1222) 2022-01-18 14:18:41 [ INFO] Set type of `spam_ham` to `ENUMERATOR_INT` (reqtransformer.py:1222) 2022-01-18 14:18:41 [ INFO] Check requirements consistency. (app.py:879) 2022-01-18 14:18:41 [ INFO] `<reqtransformer.Requirement object at 0x7f5052505ee0>` needs upgrade `1.0.0` -> `1.0.3` (reqtransformer.py:338) 2022-01-18 14:18:41 [ INFO] `<reqtransformer.Requirement object at 0x7f50525059d0>` needs upgrade `1.0.0` -> `1.0.3` (reqtransformer.py:338) 2022-01-18 14:18:41 [ INFO] Check Variables for consistency. (app.py:867) 2022-01-18 14:18:41 [ INFO] Start variable script evaluations. (reqtransformer.py:1269) 2022-01-18 14:18:41 [ INFO] `<reqtransformer.VariableCollection object at 0x7f50525055e0>` needs upgrade `0.0.0` -> `1.0.3` (reqtransformer.py:871) 2022-01-18 14:18:41 [ INFO] Migrating `VariableCollection`:`/storage/jenkins/jenkins_home/jobs/Hanfor/workspace/hanfor/tests/test_sessions/tmp/simple_0_0_0_var_import_source/revision_0/session_variable_collection.pickle`, from 0.0.0 -> 1.0.3 (reqtransformer.py:1187) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`foo`, from 0.0.0 -> 1.0.0 (reqtransformer.py:1552) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`foo`, from 1.0.0 -> 1.0.1 (reqtransformer.py:1558) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`foo`, from 1.0.1 -> 1.0.3 (reqtransformer.py:1564) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`enum_with_constraint_foo`, from 0.0.0 -> 1.0.0 (reqtransformer.py:1552) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`enum_with_constraint_foo`, from 1.0.0 -> 1.0.1 (reqtransformer.py:1558) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`enum_with_constraint_foo`, from 1.0.1 -> 1.0.3 (reqtransformer.py:1564) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`enum_with_constraint`, from 0.0.0 -> 1.0.0 (reqtransformer.py:1552) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`enum_with_constraint`, from 1.0.0 -> 1.0.1 (reqtransformer.py:1558) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`enum_with_constraint`, from 1.0.1 -> 1.0.3 (reqtransformer.py:1564) 2022-01-18 14:18:41 [ INFO] Migrate old ENUM `enum_with_constraint` to new ENUM_INT, ENUM_REAL (reqtransformer.py:1570) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`spam`, from 0.0.0 -> 1.0.0 (reqtransformer.py:1552) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`spam`, from 1.0.0 -> 1.0.1 (reqtransformer.py:1558) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`spam`, from 1.0.1 -> 1.0.3 (reqtransformer.py:1564) 2022-01-18 14:18:41 [ INFO] Migrate old ENUM `spam` to new ENUM_INT, ENUM_REAL (reqtransformer.py:1570) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`new_var_3`, from 0.0.0 -> 1.0.0 (reqtransformer.py:1552) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`new_var_3`, from 1.0.0 -> 1.0.1 (reqtransformer.py:1558) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`new_var_3`, from 1.0.1 -> 1.0.3 (reqtransformer.py:1564) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`bar`, from 0.0.0 -> 1.0.0 (reqtransformer.py:1552) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`bar`, from 1.0.0 -> 1.0.1 (reqtransformer.py:1558) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`bar`, from 1.0.1 -> 1.0.3 (reqtransformer.py:1564) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`new_var_1`, from 0.0.0 -> 1.0.0 (reqtransformer.py:1552) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`new_var_1`, from 1.0.0 -> 1.0.1 (reqtransformer.py:1558) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`new_var_1`, from 1.0.1 -> 1.0.3 (reqtransformer.py:1564) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`spam_ham`, from 0.0.0 -> 1.0.0 (reqtransformer.py:1552) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`spam_ham`, from 1.0.0 -> 1.0.1 (reqtransformer.py:1558) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`spam_ham`, from 1.0.1 -> 1.0.3 (reqtransformer.py:1564) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`enum_with_constraint_bar`, from 0.0.0 -> 1.0.0 (reqtransformer.py:1552) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`enum_with_constraint_bar`, from 1.0.0 -> 1.0.1 (reqtransformer.py:1558) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`enum_with_constraint_bar`, from 1.0.1 -> 1.0.3 (reqtransformer.py:1564) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`spam_egg`, from 0.0.0 -> 1.0.0 (reqtransformer.py:1552) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`spam_egg`, from 1.0.0 -> 1.0.1 (reqtransformer.py:1558) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`spam_egg`, from 1.0.1 -> 1.0.3 (reqtransformer.py:1564) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`new_var_2`, from 0.0.0 -> 1.0.0 (reqtransformer.py:1552) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`new_var_2`, from 1.0.0 -> 1.0.1 (reqtransformer.py:1558) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`new_var_2`, from 1.0.1 -> 1.0.3 (reqtransformer.py:1564) 2022-01-18 14:18:41 [ INFO] Migrate old ENUM `enum_with_constraint` to new ENUM_INT, ENUM_REAL (reqtransformer.py:1201) 2022-01-18 14:18:41 [ INFO] Set type of `enum_with_constraint` to `ENUM_INT` (reqtransformer.py:1219) 2022-01-18 14:18:41 [ INFO] Set type of `enum_with_constraint_foo` to `ENUMERATOR_INT` (reqtransformer.py:1222) 2022-01-18 14:18:41 [ INFO] Set type of `enum_with_constraint_bar` to `ENUMERATOR_INT` (reqtransformer.py:1222) 2022-01-18 14:18:41 [ INFO] Migrate old ENUM `spam` to new ENUM_INT, ENUM_REAL (reqtransformer.py:1201) 2022-01-18 14:18:41 [ INFO] Set type of `spam` to `ENUM_INT` (reqtransformer.py:1219) 2022-01-18 14:18:41 [ INFO] Set type of `spam_ham` to `ENUMERATOR_INT` (reqtransformer.py:1222) 2022-01-18 14:18:41 [ INFO] Set type of `spam_egg` to `ENUMERATOR_INT` (reqtransformer.py:1222) 2022-01-18 14:18:41 [ INFO] Check Variables for consistency. (app.py:867) 2022-01-18 14:18:41 [ INFO] Start variable script evaluations. (reqtransformer.py:1269) 2022-01-18 14:18:41 [ INFO] Store changes for variable import session: 0 (app.py:710) 2022-01-18 14:18:41 [ INFO] Apply import for variable import session: 0 (app.py:736) 2022-01-18 14:18:41 [ INFO] Check Variables for consistency. (app.py:867) 2022-01-18 14:18:41 [ INFO] Start variable script evaluations. (reqtransformer.py:1269) PASSED [ 50%] tests/test_hanfor_version_migrations.py::TestHanforVersionMigrations::test_migrations -------------------------------- live log call --------------------------------- 2022-01-18 14:18:41 [ INFO] Loading session `simple_0_0_0` at `revision_0` (app.py:1100) 2022-01-18 14:18:41 [ INFO] `<reqtransformer.VarImportSessions object at 0x7f5052505670>` needs upgrade `0.0.0` -> `1.0.3` (reqtransformer.py:1769) 2022-01-18 14:18:41 [ INFO] Migrating `VarImportSessions`:`/storage/jenkins/jenkins_home/jobs/Hanfor/workspace/hanfor/tests/test_sessions/tmp/variable_import_sessions.pickle`, from 0.0.0 -> 1.0.3 (reqtransformer.py:1810) 2022-01-18 14:18:41 [ INFO] `<reqtransformer.VariableCollection object at 0x7f5052505520>` needs upgrade `0.0.0` -> `1.0.3` (reqtransformer.py:871) 2022-01-18 14:18:41 [ INFO] Migrating `VariableCollection`:`/storage/jenkins/jenkins_home/jobs/Hanfor/workspace/hanfor/tests/test_sessions/tmp/simple_0_0_0/revision_0/session_variable_collection.pickle`, from 0.0.0 -> 1.0.3 (reqtransformer.py:1187) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`spam_egg`, from 0.0.0 -> 1.0.0 (reqtransformer.py:1552) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`spam_egg`, from 1.0.0 -> 1.0.1 (reqtransformer.py:1558) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`spam_egg`, from 1.0.1 -> 1.0.3 (reqtransformer.py:1564) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`spam_ham`, from 0.0.0 -> 1.0.0 (reqtransformer.py:1552) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`spam_ham`, from 1.0.0 -> 1.0.1 (reqtransformer.py:1558) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`spam_ham`, from 1.0.1 -> 1.0.3 (reqtransformer.py:1564) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`bar`, from 0.0.0 -> 1.0.0 (reqtransformer.py:1552) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`bar`, from 1.0.0 -> 1.0.1 (reqtransformer.py:1558) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`bar`, from 1.0.1 -> 1.0.3 (reqtransformer.py:1564) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`foo`, from 0.0.0 -> 1.0.0 (reqtransformer.py:1552) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`foo`, from 1.0.0 -> 1.0.1 (reqtransformer.py:1558) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`foo`, from 1.0.1 -> 1.0.3 (reqtransformer.py:1564) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`spam`, from 0.0.0 -> 1.0.0 (reqtransformer.py:1552) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`spam`, from 1.0.0 -> 1.0.1 (reqtransformer.py:1558) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`spam`, from 1.0.1 -> 1.0.3 (reqtransformer.py:1564) 2022-01-18 14:18:41 [ INFO] Migrate old ENUM `spam` to new ENUM_INT, ENUM_REAL (reqtransformer.py:1570) 2022-01-18 14:18:41 [ INFO] Migrate old ENUM `spam` to new ENUM_INT, ENUM_REAL (reqtransformer.py:1201) 2022-01-18 14:18:41 [ INFO] Set type of `spam` to `ENUM_INT` (reqtransformer.py:1219) 2022-01-18 14:18:41 [ INFO] Set type of `spam_egg` to `ENUMERATOR_INT` (reqtransformer.py:1222) 2022-01-18 14:18:41 [ INFO] Set type of `spam_ham` to `ENUMERATOR_INT` (reqtransformer.py:1222) 2022-01-18 14:18:41 [ INFO] Check requirements consistency. (app.py:879) 2022-01-18 14:18:41 [ INFO] `<reqtransformer.Requirement object at 0x7f50524b22b0>` needs upgrade `0.0.0` -> `1.0.3` (reqtransformer.py:338) 2022-01-18 14:18:41 [ INFO] Migrating `Requirement`:`SysRS FooXY_42`, from 0.0.0 -> 1.0.0 (reqtransformer.py:519) 2022-01-18 14:18:41 [ INFO] `<reqtransformer.Requirement object at 0x7f50524b2700>` needs upgrade `0.0.0` -> `1.0.3` (reqtransformer.py:338) 2022-01-18 14:18:41 [ INFO] Migrating `Requirement`:`SysRS FooXY_91`, from 0.0.0 -> 1.0.0 (reqtransformer.py:519) 2022-01-18 14:18:41 [ INFO] Check Variables for consistency. (app.py:867) 2022-01-18 14:18:41 [ INFO] Start variable script evaluations. (reqtransformer.py:1269) 2022-01-18 14:18:41 [ INFO] Loading session `simple_1_0_0` at `revision_0` (app.py:1100) 2022-01-18 14:18:41 [ INFO] `<reqtransformer.VariableCollection object at 0x7f5052478700>` needs upgrade `1.0.0` -> `1.0.3` (reqtransformer.py:871) 2022-01-18 14:18:41 [ INFO] Migrating `VariableCollection`:`/storage/jenkins/jenkins_home/jobs/Hanfor/workspace/hanfor/tests/test_sessions/tmp/simple_1_0_0/revision_0/session_variable_collection.pickle`, from 1.0.0 -> 1.0.3 (reqtransformer.py:1187) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`spam_egg`, from 1.0.0 -> 1.0.1 (reqtransformer.py:1558) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`spam_egg`, from 1.0.1 -> 1.0.3 (reqtransformer.py:1564) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`spam`, from 1.0.0 -> 1.0.1 (reqtransformer.py:1558) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`spam`, from 1.0.1 -> 1.0.3 (reqtransformer.py:1564) 2022-01-18 14:18:41 [ INFO] Migrate old ENUM `spam` to new ENUM_INT, ENUM_REAL (reqtransformer.py:1570) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`spam_ham`, from 1.0.0 -> 1.0.1 (reqtransformer.py:1558) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`spam_ham`, from 1.0.1 -> 1.0.3 (reqtransformer.py:1564) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`bar`, from 1.0.0 -> 1.0.1 (reqtransformer.py:1558) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`bar`, from 1.0.1 -> 1.0.3 (reqtransformer.py:1564) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`foo`, from 1.0.0 -> 1.0.1 (reqtransformer.py:1558) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`foo`, from 1.0.1 -> 1.0.3 (reqtransformer.py:1564) 2022-01-18 14:18:41 [ INFO] Migrate old ENUM `spam` to new ENUM_INT, ENUM_REAL (reqtransformer.py:1201) 2022-01-18 14:18:41 [ INFO] Set type of `spam` to `ENUM_INT` (reqtransformer.py:1219) 2022-01-18 14:18:41 [ INFO] Set type of `spam_egg` to `ENUMERATOR_INT` (reqtransformer.py:1222) 2022-01-18 14:18:41 [ INFO] Set type of `spam_ham` to `ENUMERATOR_INT` (reqtransformer.py:1222) 2022-01-18 14:18:41 [ INFO] Check requirements consistency. (app.py:879) 2022-01-18 14:18:41 [ INFO] `<reqtransformer.Requirement object at 0x7f5052478790>` needs upgrade `1.0.0` -> `1.0.3` (reqtransformer.py:338) 2022-01-18 14:18:41 [ INFO] `<reqtransformer.Requirement object at 0x7f505229ce50>` needs upgrade `1.0.0` -> `1.0.3` (reqtransformer.py:338) 2022-01-18 14:18:41 [ INFO] Check Variables for consistency. (app.py:867) 2022-01-18 14:18:41 [ INFO] Start variable script evaluations. (reqtransformer.py:1269) PASSED [ 51%] tests/test_hanfor_version_migrations.py::TestHanforVersionMigrations::test_removing_formalization -------------------------------- live log call --------------------------------- 2022-01-18 14:18:41 [ INFO] Loading session `simple_0_0_0` at `revision_0` (app.py:1100) 2022-01-18 14:18:41 [ INFO] `<reqtransformer.VarImportSessions object at 0x7f5052478700>` needs upgrade `0.0.0` -> `1.0.3` (reqtransformer.py:1769) 2022-01-18 14:18:41 [ INFO] Migrating `VarImportSessions`:`/storage/jenkins/jenkins_home/jobs/Hanfor/workspace/hanfor/tests/test_sessions/tmp/variable_import_sessions.pickle`, from 0.0.0 -> 1.0.3 (reqtransformer.py:1810) 2022-01-18 14:18:41 [ INFO] `<reqtransformer.VariableCollection object at 0x7f5052478a30>` needs upgrade `0.0.0` -> `1.0.3` (reqtransformer.py:871) 2022-01-18 14:18:41 [ INFO] Migrating `VariableCollection`:`/storage/jenkins/jenkins_home/jobs/Hanfor/workspace/hanfor/tests/test_sessions/tmp/simple_0_0_0/revision_0/session_variable_collection.pickle`, from 0.0.0 -> 1.0.3 (reqtransformer.py:1187) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`spam_egg`, from 0.0.0 -> 1.0.0 (reqtransformer.py:1552) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`spam_egg`, from 1.0.0 -> 1.0.1 (reqtransformer.py:1558) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`spam_egg`, from 1.0.1 -> 1.0.3 (reqtransformer.py:1564) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`spam_ham`, from 0.0.0 -> 1.0.0 (reqtransformer.py:1552) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`spam_ham`, from 1.0.0 -> 1.0.1 (reqtransformer.py:1558) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`spam_ham`, from 1.0.1 -> 1.0.3 (reqtransformer.py:1564) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`bar`, from 0.0.0 -> 1.0.0 (reqtransformer.py:1552) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`bar`, from 1.0.0 -> 1.0.1 (reqtransformer.py:1558) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`bar`, from 1.0.1 -> 1.0.3 (reqtransformer.py:1564) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`foo`, from 0.0.0 -> 1.0.0 (reqtransformer.py:1552) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`foo`, from 1.0.0 -> 1.0.1 (reqtransformer.py:1558) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`foo`, from 1.0.1 -> 1.0.3 (reqtransformer.py:1564) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`spam`, from 0.0.0 -> 1.0.0 (reqtransformer.py:1552) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`spam`, from 1.0.0 -> 1.0.1 (reqtransformer.py:1558) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`spam`, from 1.0.1 -> 1.0.3 (reqtransformer.py:1564) 2022-01-18 14:18:41 [ INFO] Migrate old ENUM `spam` to new ENUM_INT, ENUM_REAL (reqtransformer.py:1570) 2022-01-18 14:18:41 [ INFO] Migrate old ENUM `spam` to new ENUM_INT, ENUM_REAL (reqtransformer.py:1201) 2022-01-18 14:18:41 [ INFO] Set type of `spam` to `ENUM_INT` (reqtransformer.py:1219) 2022-01-18 14:18:41 [ INFO] Set type of `spam_egg` to `ENUMERATOR_INT` (reqtransformer.py:1222) 2022-01-18 14:18:41 [ INFO] Set type of `spam_ham` to `ENUMERATOR_INT` (reqtransformer.py:1222) 2022-01-18 14:18:41 [ INFO] Check requirements consistency. (app.py:879) 2022-01-18 14:18:41 [ INFO] `<reqtransformer.Requirement object at 0x7f505229c730>` needs upgrade `0.0.0` -> `1.0.3` (reqtransformer.py:338) 2022-01-18 14:18:41 [ INFO] Migrating `Requirement`:`SysRS FooXY_42`, from 0.0.0 -> 1.0.0 (reqtransformer.py:519) 2022-01-18 14:18:41 [ INFO] `<reqtransformer.Requirement object at 0x7f505229c6d0>` needs upgrade `0.0.0` -> `1.0.3` (reqtransformer.py:338) 2022-01-18 14:18:41 [ INFO] Migrating `Requirement`:`SysRS FooXY_91`, from 0.0.0 -> 1.0.0 (reqtransformer.py:519) 2022-01-18 14:18:41 [ INFO] Check Variables for consistency. (app.py:867) 2022-01-18 14:18:41 [ INFO] Start variable script evaluations. (reqtransformer.py:1269) 2022-01-18 14:18:41 [ INFO] Loading session `simple_1_0_0` at `revision_0` (app.py:1100) 2022-01-18 14:18:41 [ INFO] `<reqtransformer.VariableCollection object at 0x7f50524fa190>` needs upgrade `1.0.0` -> `1.0.3` (reqtransformer.py:871) 2022-01-18 14:18:41 [ INFO] Migrating `VariableCollection`:`/storage/jenkins/jenkins_home/jobs/Hanfor/workspace/hanfor/tests/test_sessions/tmp/simple_1_0_0/revision_0/session_variable_collection.pickle`, from 1.0.0 -> 1.0.3 (reqtransformer.py:1187) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`spam_egg`, from 1.0.0 -> 1.0.1 (reqtransformer.py:1558) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`spam_egg`, from 1.0.1 -> 1.0.3 (reqtransformer.py:1564) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`spam`, from 1.0.0 -> 1.0.1 (reqtransformer.py:1558) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`spam`, from 1.0.1 -> 1.0.3 (reqtransformer.py:1564) 2022-01-18 14:18:41 [ INFO] Migrate old ENUM `spam` to new ENUM_INT, ENUM_REAL (reqtransformer.py:1570) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`spam_ham`, from 1.0.0 -> 1.0.1 (reqtransformer.py:1558) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`spam_ham`, from 1.0.1 -> 1.0.3 (reqtransformer.py:1564) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`bar`, from 1.0.0 -> 1.0.1 (reqtransformer.py:1558) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`bar`, from 1.0.1 -> 1.0.3 (reqtransformer.py:1564) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`foo`, from 1.0.0 -> 1.0.1 (reqtransformer.py:1558) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`foo`, from 1.0.1 -> 1.0.3 (reqtransformer.py:1564) 2022-01-18 14:18:41 [ INFO] Migrate old ENUM `spam` to new ENUM_INT, ENUM_REAL (reqtransformer.py:1201) 2022-01-18 14:18:41 [ INFO] Set type of `spam` to `ENUM_INT` (reqtransformer.py:1219) 2022-01-18 14:18:41 [ INFO] Set type of `spam_egg` to `ENUMERATOR_INT` (reqtransformer.py:1222) 2022-01-18 14:18:41 [ INFO] Set type of `spam_ham` to `ENUMERATOR_INT` (reqtransformer.py:1222) 2022-01-18 14:18:41 [ INFO] Check requirements consistency. (app.py:879) 2022-01-18 14:18:41 [ INFO] `<reqtransformer.Requirement object at 0x7f50524785b0>` needs upgrade `1.0.0` -> `1.0.3` (reqtransformer.py:338) 2022-01-18 14:18:41 [ INFO] `<reqtransformer.Requirement object at 0x7f5052478c10>` needs upgrade `1.0.0` -> `1.0.3` (reqtransformer.py:338) 2022-01-18 14:18:41 [ INFO] Check Variables for consistency. (app.py:867) 2022-01-18 14:18:41 [ INFO] Start variable script evaluations. (reqtransformer.py:1269) PASSED [ 53%] tests/test_hanfor_version_migrations.py::TestHanforVersionMigrations::test_req_file_after_migrations -------------------------------- live log call --------------------------------- 2022-01-18 14:18:41 [ INFO] Loading session `simple_0_0_0` at `revision_0` (app.py:1100) 2022-01-18 14:18:41 [ INFO] `<reqtransformer.VarImportSessions object at 0x7f5052478e80>` needs upgrade `0.0.0` -> `1.0.3` (reqtransformer.py:1769) 2022-01-18 14:18:41 [ INFO] Migrating `VarImportSessions`:`/storage/jenkins/jenkins_home/jobs/Hanfor/workspace/hanfor/tests/test_sessions/tmp/variable_import_sessions.pickle`, from 0.0.0 -> 1.0.3 (reqtransformer.py:1810) 2022-01-18 14:18:41 [ INFO] `<reqtransformer.VariableCollection object at 0x7f5052478640>` needs upgrade `0.0.0` -> `1.0.3` (reqtransformer.py:871) 2022-01-18 14:18:41 [ INFO] Migrating `VariableCollection`:`/storage/jenkins/jenkins_home/jobs/Hanfor/workspace/hanfor/tests/test_sessions/tmp/simple_0_0_0/revision_0/session_variable_collection.pickle`, from 0.0.0 -> 1.0.3 (reqtransformer.py:1187) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`spam_egg`, from 0.0.0 -> 1.0.0 (reqtransformer.py:1552) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`spam_egg`, from 1.0.0 -> 1.0.1 (reqtransformer.py:1558) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`spam_egg`, from 1.0.1 -> 1.0.3 (reqtransformer.py:1564) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`spam_ham`, from 0.0.0 -> 1.0.0 (reqtransformer.py:1552) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`spam_ham`, from 1.0.0 -> 1.0.1 (reqtransformer.py:1558) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`spam_ham`, from 1.0.1 -> 1.0.3 (reqtransformer.py:1564) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`bar`, from 0.0.0 -> 1.0.0 (reqtransformer.py:1552) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`bar`, from 1.0.0 -> 1.0.1 (reqtransformer.py:1558) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`bar`, from 1.0.1 -> 1.0.3 (reqtransformer.py:1564) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`foo`, from 0.0.0 -> 1.0.0 (reqtransformer.py:1552) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`foo`, from 1.0.0 -> 1.0.1 (reqtransformer.py:1558) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`foo`, from 1.0.1 -> 1.0.3 (reqtransformer.py:1564) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`spam`, from 0.0.0 -> 1.0.0 (reqtransformer.py:1552) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`spam`, from 1.0.0 -> 1.0.1 (reqtransformer.py:1558) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`spam`, from 1.0.1 -> 1.0.3 (reqtransformer.py:1564) 2022-01-18 14:18:41 [ INFO] Migrate old ENUM `spam` to new ENUM_INT, ENUM_REAL (reqtransformer.py:1570) 2022-01-18 14:18:41 [ INFO] Migrate old ENUM `spam` to new ENUM_INT, ENUM_REAL (reqtransformer.py:1201) 2022-01-18 14:18:41 [ INFO] Set type of `spam` to `ENUM_INT` (reqtransformer.py:1219) 2022-01-18 14:18:41 [ INFO] Set type of `spam_egg` to `ENUMERATOR_INT` (reqtransformer.py:1222) 2022-01-18 14:18:41 [ INFO] Set type of `spam_ham` to `ENUMERATOR_INT` (reqtransformer.py:1222) 2022-01-18 14:18:41 [ INFO] Check requirements consistency. (app.py:879) 2022-01-18 14:18:41 [ INFO] `<reqtransformer.Requirement object at 0x7f50524b2c70>` needs upgrade `0.0.0` -> `1.0.3` (reqtransformer.py:338) 2022-01-18 14:18:41 [ INFO] Migrating `Requirement`:`SysRS FooXY_42`, from 0.0.0 -> 1.0.0 (reqtransformer.py:519) 2022-01-18 14:18:41 [ INFO] `<reqtransformer.Requirement object at 0x7f50524b2430>` needs upgrade `0.0.0` -> `1.0.3` (reqtransformer.py:338) 2022-01-18 14:18:41 [ INFO] Migrating `Requirement`:`SysRS FooXY_91`, from 0.0.0 -> 1.0.0 (reqtransformer.py:519) 2022-01-18 14:18:41 [ INFO] Check Variables for consistency. (app.py:867) 2022-01-18 14:18:41 [ INFO] Start variable script evaluations. (reqtransformer.py:1269) 2022-01-18 14:18:41 [ INFO] Generating .req file content for session simple_0_0_0 (utils.py:669) 2022-01-18 14:18:41 [ INFO] Loading session `simple_1_0_0` at `revision_0` (app.py:1100) 2022-01-18 14:18:41 [ INFO] `<reqtransformer.VariableCollection object at 0x7f5052505760>` needs upgrade `1.0.0` -> `1.0.3` (reqtransformer.py:871) 2022-01-18 14:18:41 [ INFO] Migrating `VariableCollection`:`/storage/jenkins/jenkins_home/jobs/Hanfor/workspace/hanfor/tests/test_sessions/tmp/simple_1_0_0/revision_0/session_variable_collection.pickle`, from 1.0.0 -> 1.0.3 (reqtransformer.py:1187) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`spam_egg`, from 1.0.0 -> 1.0.1 (reqtransformer.py:1558) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`spam_egg`, from 1.0.1 -> 1.0.3 (reqtransformer.py:1564) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`spam`, from 1.0.0 -> 1.0.1 (reqtransformer.py:1558) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`spam`, from 1.0.1 -> 1.0.3 (reqtransformer.py:1564) 2022-01-18 14:18:41 [ INFO] Migrate old ENUM `spam` to new ENUM_INT, ENUM_REAL (reqtransformer.py:1570) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`spam_ham`, from 1.0.0 -> 1.0.1 (reqtransformer.py:1558) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`spam_ham`, from 1.0.1 -> 1.0.3 (reqtransformer.py:1564) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`bar`, from 1.0.0 -> 1.0.1 (reqtransformer.py:1558) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`bar`, from 1.0.1 -> 1.0.3 (reqtransformer.py:1564) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`foo`, from 1.0.0 -> 1.0.1 (reqtransformer.py:1558) 2022-01-18 14:18:41 [ INFO] Migrating `Variable`:`foo`, from 1.0.1 -> 1.0.3 (reqtransformer.py:1564) 2022-01-18 14:18:41 [ INFO] Migrate old ENUM `spam` to new ENUM_INT, ENUM_REAL (reqtransformer.py:1201) 2022-01-18 14:18:41 [ INFO] Set type of `spam` to `ENUM_INT` (reqtransformer.py:1219) 2022-01-18 14:18:41 [ INFO] Set type of `spam_egg` to `ENUMERATOR_INT` (reqtransformer.py:1222) 2022-01-18 14:18:41 [ INFO] Set type of `spam_ham` to `ENUMERATOR_INT` (reqtransformer.py:1222) 2022-01-18 14:18:41 [ INFO] Check requirements consistency. (app.py:879) 2022-01-18 14:18:41 [ INFO] `<reqtransformer.Requirement object at 0x7f5052024100>` needs upgrade `1.0.0` -> `1.0.3` (reqtransformer.py:338) 2022-01-18 14:18:41 [ INFO] `<reqtransformer.Requirement object at 0x7f5052526520>` needs upgrade `1.0.0` -> `1.0.3` (reqtransformer.py:338) 2022-01-18 14:18:41 [ INFO] Check Variables for consistency. (app.py:867) 2022-01-18 14:18:41 [ INFO] Start variable script evaluations. (reqtransformer.py:1269) 2022-01-18 14:18:41 [ INFO] Generating .req file content for session simple_1_0_0 (utils.py:669) PASSED [ 54%] tests/test_init.py::TestInit::test_1_init_from_csv -------------------------------- live log call --------------------------------- 2022-01-18 14:18:41 [ INFO] No revisions for `simple`. Creating initial revision. (utils.py:1275) 2022-01-18 14:18:41 [ INFO] Load Input : /storage/jenkins/jenkins_home/jobs/Hanfor/workspace/hanfor/tests/test_sessions/test_init/simple.csv (reqtransformer.py:132) 2022-01-18 14:18:41 [ INFO] Could not guess .csv dialect, assuming defaults (reqtransformer.py:137) 2022-01-18 14:18:41 [ INFO] Check CSV integrity. (app.py:1108) 2022-01-18 14:18:41 [ INFO] Check requirements consistency. (app.py:879) 2022-01-18 14:18:41 [ INFO] Check Variables for consistency. (app.py:867) 2022-01-18 14:18:41 [ INFO] Start variable script evaluations. (reqtransformer.py:1269) PASSED [ 55%] tests/test_init.py::TestInit::test_2_get_requirements -------------------------------- live log call --------------------------------- 2022-01-18 14:18:41 [ INFO] No revisions for `simple`. Creating initial revision. (utils.py:1275) 2022-01-18 14:18:41 [ INFO] Load Input : /storage/jenkins/jenkins_home/jobs/Hanfor/workspace/hanfor/tests/test_sessions/test_init/simple.csv (reqtransformer.py:132) 2022-01-18 14:18:41 [ INFO] Could not guess .csv dialect, assuming defaults (reqtransformer.py:137) 2022-01-18 14:18:41 [ INFO] Check CSV integrity. (app.py:1108) 2022-01-18 14:18:41 [ INFO] Check requirements consistency. (app.py:879) 2022-01-18 14:18:41 [ INFO] Check Variables for consistency. (app.py:867) 2022-01-18 14:18:41 [ INFO] Start variable script evaluations. (reqtransformer.py:1269) PASSED [ 56%] tests/test_migrations.py::TestMigrations::test_changed_description -------------------------------- live log call --------------------------------- 2022-01-18 14:18:41 [ INFO] No revisions for `simple`. Creating initial revision. (utils.py:1275) 2022-01-18 14:18:41 [ INFO] Load Input : /storage/jenkins/jenkins_home/jobs/Hanfor/workspace/hanfor/tests/test_sessions/test_init/simple.csv (reqtransformer.py:132) 2022-01-18 14:18:41 [ INFO] Could not guess .csv dialect, assuming defaults (reqtransformer.py:137) 2022-01-18 14:18:41 [ INFO] Check CSV integrity. (app.py:1108) 2022-01-18 14:18:41 [ INFO] Check requirements consistency. (app.py:879) 2022-01-18 14:18:41 [ INFO] Check Variables for consistency. (app.py:867) 2022-01-18 14:18:41 [ INFO] Start variable script evaluations. (reqtransformer.py:1269) 2022-01-18 14:18:41 [ INFO] Generating a new revision. (app.py:957) 2022-01-18 14:18:41 [ INFO] Load Input : /storage/jenkins/jenkins_home/jobs/Hanfor/workspace/hanfor/tests/test_sessions/test_init/simple_changed_description.csv (reqtransformer.py:132) 2022-01-18 14:18:41 [ INFO] Could not guess .csv dialect, assuming defaults (reqtransformer.py:137) 2022-01-18 14:18:41 [ INFO] Merging `revision_0` into `revision_1`. (utils.py:1388) 2022-01-18 14:18:41 [ INFO] CSV entry changed. Add `revision_data_changed` tag to `SysRS FooXY_91`. (utils.py:1408) 2022-01-18 14:18:41 [ INFO] Description changed. Add `description_changed` tag to `SysRS FooXY_91`. (utils.py:1416) 2022-01-18 14:18:41 [ INFO] Store merge changes to revision `revision_1` (utils.py:1443) 2022-01-18 14:18:41 [ INFO] Migrate variables from `revision_0` to `revision_1` (utils.py:1448) 2022-01-18 14:18:41 [ INFO] Check CSV integrity. (app.py:1108) 2022-01-18 14:18:41 [ INFO] Check requirements consistency. (app.py:879) 2022-01-18 14:18:41 [ INFO] Check Variables for consistency. (app.py:867) 2022-01-18 14:18:41 [ INFO] Start variable script evaluations. (reqtransformer.py:1269) 2022-01-18 14:18:41 [ INFO] Loading session `simple` at `revision_1` (app.py:1100) 2022-01-18 14:18:41 [ INFO] Check CSV integrity. (app.py:1108) 2022-01-18 14:18:41 [ INFO] Check requirements consistency. (app.py:879) 2022-01-18 14:18:41 [ INFO] Check Variables for consistency. (app.py:867) 2022-01-18 14:18:41 [ INFO] Start variable script evaluations. (reqtransformer.py:1269) PASSED [ 58%] tests/test_migrations.py::TestMigrations::test_created_diff -------------------------------- live log call --------------------------------- 2022-01-18 14:18:41 [ INFO] No revisions for `real`. Creating initial revision. (utils.py:1275) 2022-01-18 14:18:41 [ INFO] Load Input : /storage/jenkins/jenkins_home/jobs/Hanfor/workspace/hanfor/tests/test_sessions/test_init/simple_real_rev_0.csv (reqtransformer.py:132) 2022-01-18 14:18:41 [ INFO] Could not guess .csv dialect, assuming defaults (reqtransformer.py:137) 2022-01-18 14:18:41 [ INFO] Check CSV integrity. (app.py:1108) 2022-01-18 14:18:41 [ INFO] Check requirements consistency. (app.py:879) 2022-01-18 14:18:41 [ INFO] Check Variables for consistency. (app.py:867) 2022-01-18 14:18:41 [ INFO] Start variable script evaluations. (reqtransformer.py:1269) 2022-01-18 14:18:41 [ INFO] Generating a new revision. (app.py:957) 2022-01-18 14:18:41 [ INFO] Load Input : /storage/jenkins/jenkins_home/jobs/Hanfor/workspace/hanfor/tests/test_sessions/test_init/simple_real_rev_1.csv (reqtransformer.py:132) 2022-01-18 14:18:41 [ INFO] Could not guess .csv dialect, assuming defaults (reqtransformer.py:137) 2022-01-18 14:18:41 [ INFO] Merging `revision_0` into `revision_1`. (utils.py:1388) 2022-01-18 14:18:41 [ INFO] CSV entry changed. Add `revision_data_changed` tag to `DySok ASPDOJ_123`. (utils.py:1408) 2022-01-18 14:18:41 [ INFO] Store merge changes to revision `revision_1` (utils.py:1443) 2022-01-18 14:18:41 [ INFO] Migrate variables from `revision_0` to `revision_1` (utils.py:1448) 2022-01-18 14:18:41 [ INFO] Check CSV integrity. (app.py:1108) 2022-01-18 14:18:41 [ INFO] Check requirements consistency. (app.py:879) 2022-01-18 14:18:41 [ INFO] Check Variables for consistency. (app.py:867) 2022-01-18 14:18:41 [ INFO] Start variable script evaluations. (reqtransformer.py:1269) 2022-01-18 14:18:41 [ INFO] Loading session `real` at `revision_1` (app.py:1100) 2022-01-18 14:18:41 [ INFO] Check CSV integrity. (app.py:1108) 2022-01-18 14:18:41 [ INFO] Check requirements consistency. (app.py:879) 2022-01-18 14:18:41 [ INFO] Check Variables for consistency. (app.py:867) 2022-01-18 14:18:41 [ INFO] Start variable script evaluations. (reqtransformer.py:1269) PASSED [ 59%] tests/test_parse_expressions.py::TestParseExpressions::test_get_var_list PASSED [ 60%] tests/test_parse_expressions.py::TestParseExpressions::test_if_else_expressions PASSED [ 62%] tests/test_parse_expressions.py::TestParseExpressions::test_parse_real_numbers PASSED [ 63%] tests/test_parse_expressions.py::TestParseExpressions::test_reconstruction_real_numbers PASSED [ 64%] tests/test_parse_expressions.py::TestParseExpressions::test_true_false_should_be_terminals PASSED [ 65%] tests/test_query_api.py::TestQueryAPI::test_new_query -------------------------------- live log call --------------------------------- 2022-01-18 14:18:42 [ INFO] Loading session `simple` at `revision_0` (app.py:1100) 2022-01-18 14:18:42 [ INFO] Check requirements consistency. (app.py:879) 2022-01-18 14:18:42 [ INFO] Check Variables for consistency. (app.py:867) 2022-01-18 14:18:42 [ INFO] Start variable script evaluations. (reqtransformer.py:1269) PASSED [ 67%] tests/test_replace_var_in_expression.py::TestReplaceVarInExpression::test_replace_var_in_expression PASSED [ 68%] tests/test_script_evals_object.py::TestScriptEvalsObject::test_script_eval_initialization PASSED [ 69%] tests/test_script_evals_object.py::TestScriptEvalsObject::test_script_eval_update PASSED [ 70%] tests/test_script_evals_object.py::TestScriptEvalsObject::test_script_eval_update_append PASSED [ 72%] tests/test_script_evals_object.py::TestScriptEvalsObject::test_script_eval_update_subset PASSED [ 73%] tests/test_type_inference.py::TestParseExpressions::test_eq_expr PASSED [ 74%] tests/test_type_inference.py::TestParseExpressions::test_eq_expr_lunknown PASSED [ 75%] tests/test_type_inference.py::TestParseExpressions::test_eq_expr_runknown PASSED [ 77%] tests/test_type_inference.py::TestParseExpressions::test_illegal_compare PASSED [ 78%] tests/test_type_inference.py::TestParseExpressions::test_numbers PASSED [ 79%] tests/test_type_inference.py::TestParseExpressions::test_propagate_error PASSED [ 81%] tests/test_type_inference.py::TestParseExpressions::test_single_prop_bool PASSED [ 82%] tests/test_type_inference.py::TestParseExpressions::test_single_prop_must_be_bool PASSED [ 83%] tests/test_type_inference.py::TestParseExpressions::test_singleton PASSED [ 84%] tests/test_type_inference.py::TestParseExpressions::test_singleton_bad PASSED [ 86%] tests/test_type_inference.py::TestParseExpressions::test_type_nested_inf PASSED [ 87%] tests/test_type_inference.py::TestParseExpressions::test_type_nested_large PASSED [ 88%] tests/test_type_inference.py::TestParseExpressions::test_type_tree_gen PASSED [ 89%] tests/test_type_inference.py::TestParseExpressions::test_type_tree_gen2 PASSED [ 91%] tests/test_type_inference.py::TestParseExpressions::test_unknown_expr PASSED [ 92%] tests/test_type_inference.py::TestParseExpressions::test_unknown_type PASSED [ 93%] tests/test_variable_deletion.py::TestHanforVersionMigrations::test_deleting_simple_variable -------------------------------- live log call --------------------------------- 2022-01-18 14:18:42 [ INFO] Loading session `test_delete_variable` at `revision_0` (app.py:1100) 2022-01-18 14:18:42 [ INFO] Check requirements consistency. (app.py:879) 2022-01-18 14:18:42 [ INFO] `<reqtransformer.Requirement object at 0x7f5051d16760>` needs upgrade `1.0.1` -> `1.0.3` (reqtransformer.py:338) 2022-01-18 14:18:42 [ INFO] `<reqtransformer.Requirement object at 0x7f5051d167c0>` needs upgrade `1.0.1` -> `1.0.3` (reqtransformer.py:338) 2022-01-18 14:18:42 [ INFO] Check Variables for consistency. (app.py:867) 2022-01-18 14:18:42 [ INFO] Start variable script evaluations. (reqtransformer.py:1269) 2022-01-18 14:18:42 [ INFO] Multi edit Variables. (app.py:463) 2022-01-18 14:18:42 [ INFO] Deleting variables. Affected Vars: spam_egg (app.py:494) PASSED [ 94%] tests/test_variable_deletion.py::TestHanforVersionMigrations::test_no_affect_of_deleting_used_variable -------------------------------- live log call --------------------------------- 2022-01-18 14:18:42 [ INFO] Loading session `test_delete_variable` at `revision_0` (app.py:1100) 2022-01-18 14:18:42 [ INFO] Check requirements consistency. (app.py:879) 2022-01-18 14:18:42 [ INFO] `<reqtransformer.Requirement object at 0x7f505229d9d0>` needs upgrade `1.0.1` -> `1.0.3` (reqtransformer.py:338) 2022-01-18 14:18:42 [ INFO] `<reqtransformer.Requirement object at 0x7f505229da90>` needs upgrade `1.0.1` -> `1.0.3` (reqtransformer.py:338) 2022-01-18 14:18:42 [ INFO] Check Variables for consistency. (app.py:867) 2022-01-18 14:18:42 [ INFO] Start variable script evaluations. (reqtransformer.py:1269) 2022-01-18 14:18:42 [ INFO] Multi edit Variables. (app.py:463) 2022-01-18 14:18:42 [ INFO] Deleting variables. Affected Vars: foo (app.py:494) PASSED [ 96%] tests/test_variable_deletion.py::TestHanforVersionMigrations::test_variable_with_constraint_deletion -------------------------------- live log call --------------------------------- 2022-01-18 14:18:42 [ INFO] Loading session `test_delete_variable` at `revision_0` (app.py:1100) 2022-01-18 14:18:42 [ INFO] Check requirements consistency. (app.py:879) 2022-01-18 14:18:42 [ INFO] `<reqtransformer.Requirement object at 0x7f5051a23c40>` needs upgrade `1.0.1` -> `1.0.3` (reqtransformer.py:338) 2022-01-18 14:18:42 [ INFO] `<reqtransformer.Requirement object at 0x7f5051a23190>` needs upgrade `1.0.1` -> `1.0.3` (reqtransformer.py:338) 2022-01-18 14:18:42 [ INFO] Check Variables for consistency. (app.py:867) 2022-01-18 14:18:42 [ INFO] Start variable script evaluations. (reqtransformer.py:1269) 2022-01-18 14:18:42 [ INFO] Multi edit Variables. (app.py:463) 2022-01-18 14:18:42 [ INFO] Deleting variables. Affected Vars: ham (app.py:494) PASSED [ 97%] tests/test_variable_manipulation_edge_cases.py::TestHanforVersionMigrations::test_variable_add_constraint_and_change_type_at_the_same_time -------------------------------- live log call --------------------------------- 2022-01-18 14:18:42 [ INFO] Loading session `test_variable_manipulation_edge_cases` at `revision_0` (app.py:1100) 2022-01-18 14:18:42 [ INFO] Check requirements consistency. (app.py:879) 2022-01-18 14:18:42 [ INFO] `<reqtransformer.Requirement object at 0x7f5052099730>` needs upgrade `1.0.1` -> `1.0.3` (reqtransformer.py:338) 2022-01-18 14:18:42 [ INFO] `<reqtransformer.Requirement object at 0x7f5052099c70>` needs upgrade `1.0.1` -> `1.0.3` (reqtransformer.py:338) 2022-01-18 14:18:42 [ INFO] Check Variables for consistency. (app.py:867) 2022-01-18 14:18:42 [ INFO] Start variable script evaluations. (reqtransformer.py:1269) 2022-01-18 14:18:42 [ INFO] Update Variable `egg` (utils.py:307) 2022-01-18 14:18:42 [ INFO] Change type from `bool` to `ENUM_INT`. (utils.py:313) 2022-01-18 14:18:42 [ INFO] Store updated variables. (utils.py:440) 2022-01-18 14:18:42 [ INFO] Update derived types by parsing affected formalizations. (utils.py:443) 2022-01-18 14:18:42 [ INFO] Reload type inference for `SysRS FooXY_91` (reqtransformer.py:482) PASSED [ 98%] tests/test_variable_scripy_evaluation.py::TestVariableScriptEvaluation::test_simple_script -------------------------------- live log call --------------------------------- 2022-01-18 14:18:42 [ INFO] Loading session `simple_0_0_0` at `revision_0` (app.py:1100) 2022-01-18 14:18:42 [ INFO] `<reqtransformer.VarImportSessions object at 0x7f5051a23640>` needs upgrade `0.0.0` -> `1.0.3` (reqtransformer.py:1769) 2022-01-18 14:18:42 [ INFO] Migrating `VarImportSessions`:`/storage/jenkins/jenkins_home/jobs/Hanfor/workspace/hanfor/tests/test_sessions/tmp/variable_import_sessions.pickle`, from 0.0.0 -> 1.0.3 (reqtransformer.py:1810) 2022-01-18 14:18:42 [ INFO] `<reqtransformer.VariableCollection object at 0x7f5051a23340>` needs upgrade `0.0.0` -> `1.0.3` (reqtransformer.py:871) 2022-01-18 14:18:42 [ INFO] Migrating `VariableCollection`:`/storage/jenkins/jenkins_home/jobs/Hanfor/workspace/hanfor/tests/test_sessions/tmp/simple_0_0_0/revision_0/session_variable_collection.pickle`, from 0.0.0 -> 1.0.3 (reqtransformer.py:1187) 2022-01-18 14:18:42 [ INFO] Migrating `Variable`:`spam_egg`, from 0.0.0 -> 1.0.0 (reqtransformer.py:1552) 2022-01-18 14:18:42 [ INFO] Migrating `Variable`:`spam_egg`, from 1.0.0 -> 1.0.1 (reqtransformer.py:1558) 2022-01-18 14:18:42 [ INFO] Migrating `Variable`:`spam_egg`, from 1.0.1 -> 1.0.3 (reqtransformer.py:1564) 2022-01-18 14:18:42 [ INFO] Migrating `Variable`:`spam_ham`, from 0.0.0 -> 1.0.0 (reqtransformer.py:1552) 2022-01-18 14:18:42 [ INFO] Migrating `Variable`:`spam_ham`, from 1.0.0 -> 1.0.1 (reqtransformer.py:1558) 2022-01-18 14:18:42 [ INFO] Migrating `Variable`:`spam_ham`, from 1.0.1 -> 1.0.3 (reqtransformer.py:1564) 2022-01-18 14:18:42 [ INFO] Migrating `Variable`:`bar`, from 0.0.0 -> 1.0.0 (reqtransformer.py:1552) 2022-01-18 14:18:42 [ INFO] Migrating `Variable`:`bar`, from 1.0.0 -> 1.0.1 (reqtransformer.py:1558) 2022-01-18 14:18:42 [ INFO] Migrating `Variable`:`bar`, from 1.0.1 -> 1.0.3 (reqtransformer.py:1564) 2022-01-18 14:18:42 [ INFO] Migrating `Variable`:`foo`, from 0.0.0 -> 1.0.0 (reqtransformer.py:1552) 2022-01-18 14:18:42 [ INFO] Migrating `Variable`:`foo`, from 1.0.0 -> 1.0.1 (reqtransformer.py:1558) 2022-01-18 14:18:42 [ INFO] Migrating `Variable`:`foo`, from 1.0.1 -> 1.0.3 (reqtransformer.py:1564) 2022-01-18 14:18:42 [ INFO] Migrating `Variable`:`spam`, from 0.0.0 -> 1.0.0 (reqtransformer.py:1552) 2022-01-18 14:18:42 [ INFO] Migrating `Variable`:`spam`, from 1.0.0 -> 1.0.1 (reqtransformer.py:1558) 2022-01-18 14:18:42 [ INFO] Migrating `Variable`:`spam`, from 1.0.1 -> 1.0.3 (reqtransformer.py:1564) 2022-01-18 14:18:42 [ INFO] Migrate old ENUM `spam` to new ENUM_INT, ENUM_REAL (reqtransformer.py:1570) 2022-01-18 14:18:42 [ INFO] Migrate old ENUM `spam` to new ENUM_INT, ENUM_REAL (reqtransformer.py:1201) 2022-01-18 14:18:42 [ INFO] Set type of `spam` to `ENUM_INT` (reqtransformer.py:1219) 2022-01-18 14:18:42 [ INFO] Set type of `spam_egg` to `ENUMERATOR_INT` (reqtransformer.py:1222) 2022-01-18 14:18:42 [ INFO] Set type of `spam_ham` to `ENUMERATOR_INT` (reqtransformer.py:1222) 2022-01-18 14:18:42 [ INFO] Check requirements consistency. (app.py:879) 2022-01-18 14:18:42 [ INFO] `<reqtransformer.Requirement object at 0x7f505250d340>` needs upgrade `0.0.0` -> `1.0.3` (reqtransformer.py:338) 2022-01-18 14:18:42 [ INFO] Migrating `Requirement`:`SysRS FooXY_42`, from 0.0.0 -> 1.0.0 (reqtransformer.py:519) 2022-01-18 14:18:42 [ INFO] `<reqtransformer.Requirement object at 0x7f5051d16e20>` needs upgrade `0.0.0` -> `1.0.3` (reqtransformer.py:338) 2022-01-18 14:18:42 [ INFO] Migrating `Requirement`:`SysRS FooXY_91`, from 0.0.0 -> 1.0.0 (reqtransformer.py:519) 2022-01-18 14:18:42 [ INFO] Check Variables for consistency. (app.py:867) 2022-01-18 14:18:42 [ INFO] Start variable script evaluations. (reqtransformer.py:1269) 2022-01-18 14:18:42 [ INFO] Store script eval for script: simple_script.sh (reqtransformer.py:1250) 2022-01-18 14:18:43 [ INFO] Loading session `simple_0_0_0` at `revision_0` (app.py:1100) 2022-01-18 14:18:43 [ INFO] Check CSV integrity. (app.py:1108) 2022-01-18 14:18:43 [ INFO] Check requirements consistency. (app.py:879) 2022-01-18 14:18:43 [ INFO] Check Variables for consistency. (app.py:867) 2022-01-18 14:18:43 [ INFO] Start variable script evaluations. (reqtransformer.py:1269) 2022-01-18 14:18:43 [ INFO] Store script eval for script: simple_script.sh (reqtransformer.py:1250) 2022-01-18 14:18:43 [ INFO] Loading session `simple_1_0_0` at `revision_0` (app.py:1100) 2022-01-18 14:18:43 [ INFO] `<reqtransformer.VariableCollection object at 0x7f505229d7f0>` needs upgrade `1.0.0` -> `1.0.3` (reqtransformer.py:871) 2022-01-18 14:18:43 [ INFO] Migrating `VariableCollection`:`/storage/jenkins/jenkins_home/jobs/Hanfor/workspace/hanfor/tests/test_sessions/tmp/simple_1_0_0/revision_0/session_variable_collection.pickle`, from 1.0.0 -> 1.0.3 (reqtransformer.py:1187) 2022-01-18 14:18:43 [ INFO] Migrating `Variable`:`spam_egg`, from 1.0.0 -> 1.0.1 (reqtransformer.py:1558) 2022-01-18 14:18:43 [ INFO] Migrating `Variable`:`spam_egg`, from 1.0.1 -> 1.0.3 (reqtransformer.py:1564) 2022-01-18 14:18:43 [ INFO] Migrating `Variable`:`spam`, from 1.0.0 -> 1.0.1 (reqtransformer.py:1558) 2022-01-18 14:18:43 [ INFO] Migrating `Variable`:`spam`, from 1.0.1 -> 1.0.3 (reqtransformer.py:1564) 2022-01-18 14:18:43 [ INFO] Migrate old ENUM `spam` to new ENUM_INT, ENUM_REAL (reqtransformer.py:1570) 2022-01-18 14:18:43 [ INFO] Migrating `Variable`:`spam_ham`, from 1.0.0 -> 1.0.1 (reqtransformer.py:1558) 2022-01-18 14:18:43 [ INFO] Migrating `Variable`:`spam_ham`, from 1.0.1 -> 1.0.3 (reqtransformer.py:1564) 2022-01-18 14:18:43 [ INFO] Migrating `Variable`:`bar`, from 1.0.0 -> 1.0.1 (reqtransformer.py:1558) 2022-01-18 14:18:43 [ INFO] Migrating `Variable`:`bar`, from 1.0.1 -> 1.0.3 (reqtransformer.py:1564) 2022-01-18 14:18:43 [ INFO] Migrating `Variable`:`foo`, from 1.0.0 -> 1.0.1 (reqtransformer.py:1558) 2022-01-18 14:18:43 [ INFO] Migrating `Variable`:`foo`, from 1.0.1 -> 1.0.3 (reqtransformer.py:1564) 2022-01-18 14:18:43 [ INFO] Migrate old ENUM `spam` to new ENUM_INT, ENUM_REAL (reqtransformer.py:1201) 2022-01-18 14:18:43 [ INFO] Set type of `spam` to `ENUM_INT` (reqtransformer.py:1219) 2022-01-18 14:18:43 [ INFO] Set type of `spam_egg` to `ENUMERATOR_INT` (reqtransformer.py:1222) 2022-01-18 14:18:43 [ INFO] Set type of `spam_ham` to `ENUMERATOR_INT` (reqtransformer.py:1222) 2022-01-18 14:18:43 [ INFO] Check requirements consistency. (app.py:879) 2022-01-18 14:18:43 [ INFO] `<reqtransformer.Requirement object at 0x7f5052482e50>` needs upgrade `1.0.0` -> `1.0.3` (reqtransformer.py:338) 2022-01-18 14:18:43 [ INFO] `<reqtransformer.Requirement object at 0x7f5052482880>` needs upgrade `1.0.0` -> `1.0.3` (reqtransformer.py:338) 2022-01-18 14:18:43 [ INFO] Check Variables for consistency. (app.py:867) 2022-01-18 14:18:43 [ INFO] Start variable script evaluations. (reqtransformer.py:1269) 2022-01-18 14:18:43 [ INFO] Store script eval for script: simple_script.sh (reqtransformer.py:1250) 2022-01-18 14:18:44 [ INFO] Loading session `simple_1_0_0` at `revision_0` (app.py:1100) 2022-01-18 14:18:44 [ INFO] Check CSV integrity. (app.py:1108) 2022-01-18 14:18:44 [ INFO] Check requirements consistency. (app.py:879) 2022-01-18 14:18:44 [ INFO] Check Variables for consistency. (app.py:867) 2022-01-18 14:18:44 [ INFO] Start variable script evaluations. (reqtransformer.py:1269) 2022-01-18 14:18:44 [ INFO] Store script eval for script: simple_script.sh (reqtransformer.py:1250) PASSED [100%] =============================== warnings summary =============================== venv/lib/python3.9/site-packages/flask/json/__init__.py:31 /storage/jenkins/jenkins_home/jobs/Hanfor/workspace/hanfor/venv/lib/python3.9/site-packages/flask/json/__init__.py:31: DeprecationWarning: Importing 'itsdangerous.json' is deprecated and will be removed in ItsDangerous 2.1. Use Python's 'json' module instead. _slash_escape = "\\/" not in _json.dumps("/") venv/lib/python3.9/site-packages/flask/json/__init__.py:61 /storage/jenkins/jenkins_home/jobs/Hanfor/workspace/hanfor/venv/lib/python3.9/site-packages/flask/json/__init__.py:61: DeprecationWarning: Importing 'itsdangerous.json' is deprecated and will be removed in ItsDangerous 2.1. Use Python's 'json' module instead. class JSONEncoder(_json.JSONEncoder): venv/lib/python3.9/site-packages/flask/json/__init__.py:103 /storage/jenkins/jenkins_home/jobs/Hanfor/workspace/hanfor/venv/lib/python3.9/site-packages/flask/json/__init__.py:103: DeprecationWarning: Importing 'itsdangerous.json' is deprecated and will be removed in ItsDangerous 2.1. Use Python's 'json' module instead. class JSONDecoder(_json.JSONDecoder): tests/test_enums.py::TestEnums::test_new_int_enum_generation /storage/jenkins/jenkins_home/jobs/Hanfor/workspace/hanfor/venv/lib/python3.9/site-packages/jinja2/environment.py:362: DeprecationWarning: The 'autoescape' extension is deprecated and will be removed in Jinja 3.1. This is built in now. self.extensions = load_extensions(self, extensions) tests/test_enums.py::TestEnums::test_new_int_enum_generation /storage/jenkins/jenkins_home/jobs/Hanfor/workspace/hanfor/venv/lib/python3.9/site-packages/jinja2/environment.py:362: DeprecationWarning: The 'with' extension is deprecated and will be removed in Jinja 3.1. This is built in now. self.extensions = load_extensions(self, extensions) tests/test_enums.py: 88 warnings tests/test_formalization_process.py: 28 warnings tests/test_hanfor_api_skeleton.py: 2 warnings tests/test_hanfor_version_migrations.py: 72 warnings tests/test_init.py: 4 warnings tests/test_migrations.py: 8 warnings tests/test_query_api.py: 8 warnings tests/test_variable_deletion.py: 18 warnings tests/test_variable_manipulation_edge_cases.py: 8 warnings tests/test_variable_scripy_evaluation.py: 8 warnings /storage/jenkins/jenkins_home/jobs/Hanfor/workspace/hanfor/venv/lib/python3.9/site-packages/flask/json/__init__.py:211: DeprecationWarning: Importing 'itsdangerous.json' is deprecated and will be removed in ItsDangerous 2.1. Use Python's 'json' module instead. rv = _json.dumps(obj, **kwargs) tests/test_enums.py: 18 warnings tests/test_formalization_process.py: 4 warnings tests/test_hanfor_version_migrations.py: 6 warnings tests/test_variable_deletion.py: 3 warnings tests/test_variable_manipulation_edge_cases.py: 2 warnings /storage/jenkins/jenkins_home/jobs/Hanfor/workspace/hanfor/venv/lib/python3.9/site-packages/flask/json/__init__.py:253: DeprecationWarning: Importing 'itsdangerous.json' is deprecated and will be removed in ItsDangerous 2.1. Use Python's 'json' module instead. return _json.loads(s, **kwargs) -- Docs: https://docs.pytest.org/en/stable/warnings.html - generated xml file: /storage/jenkins/jenkins_home/jobs/Hanfor/workspace/hanfor/test_results.xml - ======================= 79 passed, 282 warnings in 8.60s ======================= Recording test results [Checks API] No suitable checks publisher found. Started calculate disk usage of build Finished Calculation of disk usage of build in 0 seconds Started calculate disk usage of workspace Finished Calculation of disk usage of workspace in 0 seconds [Checks API] No suitable checks publisher found. No emails were triggered. Finished: SUCCESS