Open
Description
Recently I have found that pytest's cache based functionality (e.g. --lf and --ff) does not work after upgrading my project from python2 to python3. All cache-based flags result in a message such as run-last-failure: 67 known failures not in selected tests (skipped 2035 files) and all tests are run. This is, however, fixed by running python3 -m pytest --cache-clear so I suspect the issue has something to do with an incompatibility in the format of the cache. If this is the case then it would be better if the cache was automatically cleared when using a different version of python / pytest or at least that this is documented somewhere.
Before clearing the cache, the result of pytest --cache-show is:
Test session starts (platform: linux2, Python 2.7.16, pytest 4.6.5, pytest-sugar 0.9.2)
rootdir: /home/twright/Drive/Documents/PhD/Notebooks, inifile: pytest.ini
plugins: xdist-1.29.0, sugar-0.9.2, forked-1.0.2
cachedir: /home/twright/Drive/Documents/PhD/Notebooks/.pytest_cache
---------------------------------------------------------------------------------------------------------- cache values for '*' -----------------------------------------------------------------------------------------------------------
cache/lastfailed contains:
{u'bench.py': True,
u'build/lib.linux-x86_64-3.7/flowstar/tests/test_interval.py': True,
u'build/lib.linux-x86_64-3.7/flowstar/tests/test_observers.py': True,
u'build/lib.linux-x86_64-3.7/flowstar/tests/test_poly.py': True,
u'build/lib.linux-x86_64-3.7/flowstar/tests/test_reachability.py': True,
u'build/lib.linux-x86_64-3.7/flowstar/tests/test_rootdetection.py': True,
u'build/lib.linux-x86_64-3.7/flowstar/tests/test_taylormodel.py': True,
u'build/lib.linux-x86_64-3.7/ulbc/bondcalculus.py': True,
u'build/lib.linux-x86_64-3.7/ulbc/context_signals.py': True,
u'build/lib.linux-x86_64-3.7/ulbc/interval_root_isolation.py': True,
u'build/lib.linux-x86_64-3.7/ulbc/interval_signals.py': True,
u'build/lib.linux-x86_64-3.7/ulbc/interval_utils.py': True,
u'build/lib.linux-x86_64-3.7/ulbc/logic.py': True,
u'build/lib.linux-x86_64-3.7/ulbc/matricies.py': True,
u'build/lib.linux-x86_64-3.7/ulbc/signal_masks.py': True,
u'build/lib.linux-x86_64-3.7/ulbc/tests/test_context_signals.py': True,
u'build/lib.linux-x86_64-3.7/ulbc/tests/test_interval_signals.py': True,
u'build/lib.linux-x86_64-3.7/ulbc/tests/test_interval_utils.py': True,
u'build/lib.linux-x86_64-3.7/ulbc/tests/test_logic.py': True,
u'build/lib.linux-x86_64-3.7/ulbc/tests/test_matricies.py': True,
u'build/lib.linux-x86_64-3.7/ulbc/tests/test_signal_masks.py': True,
u'enzymeI.py': True,
u'flowstar/tests/test_taylormodel.py::TestSuite': True,
u'flowstar/tests/test_taylormodel.py::TestTaylorModelExpander::()::test_taylor_model_div': True,
u'models.py': True,
u'test.py': True,
u'ulbc/logic.py::ulbc.logic.Atomic.signal_for_system': True,
u'ulbc/tests/plantclockmodel.py': True,
u'ulbc/tests/test_context_signals.py::TestContextSignal::()::test_further_refined_signal': True,
u'ulbc/tests/test_context_signals.py::TestContextSignal::()::test_refined_signal': True,
u'ulbc/tests/test_context_signals.py::TestContextSignal::()::test_signal_further_restricted_via_children': True,
u'ulbc/tests/test_context_signals.py::TestContextSignal::()::test_signal_gen': True,
u'ulbc/tests/test_context_signals.py::TestContextSignal::()::test_signal_gen_restricted_context': True,
u'ulbc/tests/test_context_signals.py::TestContextSignal::()::test_signal_restricted_via_children': True,
u'ulbc/tests/test_context_signals.py::TestContextSignal::()::test_trivial_refined_signal': True,
u'ulbc/tests/test_logic.py::TestAtomic::()::test_relation': True,
u'ulbc/tests/test_logic.py::TestAtomic::()::test_signal_for_system_x': True,
u'ulbc/tests/test_logic.py::TestC::()::test_context_trivial': True,
u'ulbc/tests/test_logic.py::TestC::()::test_context_with_jump': True,
u'ulbc/tests/test_logic.py::TestLogicContextSignal::()::test_context_and_signal': True,
u'ulbc/tests/test_logic.py::TestLogicContextSignal::()::test_context_context_signals': True,
u'ulbc/tests/test_logic.py::TestLogicContextSignal::()::test_context_refined_and_signal': True,
u'ulbc/tests/test_logic.py::TestLogicContextSignal::()::test_context_signal_and_signal': True,
u'ulbc/tests/test_logic.py::TestLogicContextSignal::()::test_context_signal_for_signal_child': True,
u'ulbc/tests/test_logic.py::TestLogicContextSignal::()::test_differential_context_context_signals': True,
u'ulbc/tests/test_logic.py::TestMasks::()::test_F_point_shift': True,
u'ulbc/tests/test_logic.py::TestMasks::()::test_G_point_shift': True,
u'ulbc/tests/test_logic.py::TestMasks::()::test_and_binary_point': True,
u'ulbc/tests/test_logic.py::TestMasks::()::test_and_unary_point': True,
u'ulbc/tests/test_logic.py::TestMasks::()::test_masked_context_with_jump': True,
u'ulbc/tests/test_logic.py::TestMasks::()::test_no_mask': True,
u'ulbc/tests/test_logic.py::TestMasks::()::test_or_binary_point': True,
u'ulbc/tests/test_logic.py::TestMasks::()::test_or_unary_point': True,
u'ulbc/tests/test_logic.py::TestMasks::()::test_point_mask': True,
u'ulbc/tests/test_logic.py::TestMasks::()::test_standard_mask': True,
u'ulbc/tests/test_logic.py::TestU::()::test_signal_F_equiv[x - 1]': True,
u'ulbc/tests/test_logic.py::TestU::()::test_signal_F_equiv[x**2 + y**2 - 3]': True,
u'ulbc/tests/test_logic.py::TestU::()::test_signal_F_equiv[y - 2]': True,
u'ulbc/tests/test_logic.py::TestU::()::test_str_U': True,
u'ulbc/tests/test_logic.py::TestVariables::()::test_declare': True,
u'ulbc/tests/test_logic.py::TestVariables::()::test_real_variable': True,
u'ulbc/tests/test_logic.py::TestVariables::()::test_variable_name': True,
u'ulbc/tests/test_logic.py::test_context_trivial': True,
u'ulbc/tests/test_logic.py::test_context_with_jump': True,
u'ulbc/tests/test_matricies.py::TestVecToNumpy::()::test_convert_vec2': True,
u'ulbc/tests/test_matricies.py::TestVecToNumpy::()::test_convert_vec3': True,
u'ulbc/tests/test_signal_masks.py::TestMask::()::test_G_H_from_time_zero': True}
cache/nodeids contains:
[u'flowstar/tests/test_taylormodel.py::TestTaylorModelExpander::test_var',
u'flowstar/tests/test_taylormodel.py::TestTaylorModelExpander::test_constant',
u'flowstar/tests/test_taylormodel.py::TestTaylorModelExpander::test_constant_interval',
u'flowstar/tests/test_taylormodel.py::TestTaylorModelExpander::test_mul',
u'flowstar/tests/test_taylormodel.py::TestTaylorModelExpander::test_add',
u'flowstar/tests/test_taylormodel.py::TestTaylorModelExpander::test_sub',
u'flowstar/tests/test_taylormodel.py::TestTaylorModelExpander::test_simple_div',
u'flowstar/tests/test_taylormodel.py::TestFlowstarConverter::test_var',
u'flowstar/tests/test_taylormodel.py::TestFlowstarConverter::test_constant',
u'flowstar/tests/test_taylormodel.py::TestFlowstarConverter::test_constant_interval',
u'flowstar/tests/test_taylormodel.py::TestFlowstarConverter::test_mul',
u'flowstar/tests/test_taylormodel.py::TestFlowstarConverter::test_add',
u'flowstar/tests/test_taylormodel.py::TestFlowstarConverter::test_sub',
u'flowstar/tests/test_taylormodel.py::TestFlowstarConverter::test_simple_div',
u'flowstar/tests/test_taylormodel.py::TestFlowstarConverter::test_full_div',
u'flowstar/tests/test_taylormodel.py::TestTaylorModel::test_from_var',
u'flowstar/tests/test_taylormodel.py::TestTaylorModel::test_from_var_remainder',
u'flowstar/tests/test_taylormodel.py::TestTaylorModel::test_from_constant_float',
u'flowstar/tests/test_taylormodel.py::TestTaylorModel::test_from_constant_float_remainder',
u'flowstar/tests/test_taylormodel.py::TestTaylorModel::test_from_constant_interval',
u'flowstar/tests/test_taylormodel.py::TestTaylorModel::test_neg',
u'ulbc/logic.py::ulbc.logic.And',
u'ulbc/logic.py::ulbc.logic.Atomic',
u'ulbc/logic.py::ulbc.logic.C',
u'ulbc/logic.py::ulbc.logic.Context.context_jump',
u'ulbc/logic.py::ulbc.logic.D',
u'ulbc/logic.py::ulbc.logic.F',
u'ulbc/logic.py::ulbc.logic.G',
u'ulbc/logic.py::ulbc.logic.Neg',
u'ulbc/logic.py::ulbc.logic.Or',
u'ulbc/tests/test_context_signals.py::TestCtxToSpaceDomain::test_two_dimensional',
u'ulbc/tests/test_context_signals.py::TestGenSubSpaceDomains::test_zero_dimensional',
u'ulbc/tests/test_context_signals.py::TestGenSubSpaceDomains::test_one_dimensional',
u'ulbc/tests/test_context_signals.py::TestGenSubSpaceDomains::test_singleton_one_dimensional',
u'ulbc/tests/test_context_signals.py::TestGenSubSpaceDomains::test_two_dimensional',
u'ulbc/tests/test_context_signals.py::TestGenSubSpaceDomains::test_singleton_two_dimensional',
u'ulbc/tests/test_context_signals.py::TestChildIterator::test_iterate',
u'ulbc/tests/test_context_signals.py::TestChildIterator::test_repeat',
u'ulbc/tests/test_context_signals.py::TestContextSignal::test_sub_space_domains',
u'ulbc/tests/test_context_signals.py::TestContextSignal::test_sub_sub_child_space_domain',
u'ulbc/tests/test_context_signals.py::TestContextSignal::test_signal_gen',
u'ulbc/tests/test_context_signals.py::TestContextSignal::test_signal_gen_restricted_context',
u'ulbc/tests/test_context_signals.py::TestContextSignal::test_signal_restricted_via_children',
u'ulbc/tests/test_context_signals.py::TestContextSignal::test_signal_further_restricted_via_children',
u'ulbc/tests/test_context_signals.py::TestContextSignal::test_trivial_refined_signal',
u'ulbc/tests/test_context_signals.py::TestContextSignal::test_refined_signal',
u'ulbc/tests/test_context_signals.py::TestContextSignal::test_further_refined_signal',
u'ulbc/tests/test_logic.py::TestAtomic::test_polynomial_dpdt',
u'ulbc/tests/test_logic.py::TestAtomic::test_relation',
u'ulbc/tests/test_logic.py::TestAtomic::test_signal_for_system_zero[1.5-None]',
u'ulbc/tests/test_logic.py::TestAtomic::test_signal_for_system_zero[0.5-True]',
u'ulbc/tests/test_logic.py::TestAtomic::test_signal_for_system_zero[2.5-False]',
u'ulbc/tests/test_logic.py::TestVarContextBody::test_var_context_body_str',
u'ulbc/tests/test_logic.py::TestVarContextBody::test_var_context_body_jump',
u'ulbc/tests/test_logic.py::TestBondProcessContextBody::test_bond_process_context_body_str',
u'ulbc/tests/test_logic.py::TestC::test_context_with_jump',
u'ulbc/tests/test_logic.py::TestMasks::test_standard_mask',
u'ulbc/tests/test_logic.py::TestMasks::test_no_mask',
u'ulbc/tests/test_logic.py::TestMasks::test_point_mask',
u'ulbc/tests/test_logic.py::TestMasks::test_G_point_shift',
u'ulbc/tests/test_logic.py::TestMasks::test_F_point_shift',
u'ulbc/tests/test_logic.py::TestMasks::test_and_unary_point',
u'ulbc/tests/test_logic.py::TestMasks::test_and_binary_point',
u'ulbc/tests/test_logic.py::TestMasks::test_or_unary_point',
u'ulbc/tests/test_logic.py::TestMasks::test_or_binary_point',
u'ulbc/tests/test_logic.py::TestMasks::test_masked_context_with_jump',
u'ulbc/tests/test_logic.py::TestU::test_repr_U',
u'ulbc/tests/test_logic.py::TestU::test_str_U',
u'ulbc/tests/test_logic.py::TestU::test_duration',
u'ulbc/tests/test_logic.py::TestU::test_atomic_propositions',
u'ulbc/tests/test_logic.py::TestU::test_signal_F_equiv[x - 1]',
u'ulbc/tests/test_logic.py::TestU::test_signal_F_equiv[y - 2]',
u'ulbc/tests/test_logic.py::TestU::test_signal_F_equiv[x**2 + y**2 - 3]',
u'ulbc/tests/test_logic.py::TestU::test_signal_connected_F_equiv[x - 1-x - 1]',
u'ulbc/tests/test_logic.py::TestU::test_signal_connected_F_equiv[x - 1-y - 2]',
u'ulbc/tests/test_logic.py::TestU::test_signal_connected_F_equiv[x - 1-x**2 + y**2 - 3]',
u'ulbc/tests/test_logic.py::TestU::test_signal_connected_F_equiv[y - 2-x - 1]',
u'ulbc/tests/test_logic.py::TestU::test_signal_connected_F_equiv[y - 2-y - 2]',
u'ulbc/tests/test_logic.py::TestU::test_signal_connected_F_equiv[y - 2-x**2 + y**2 - 3]',
u'ulbc/tests/test_logic.py::TestU::test_signal_connected_F_equiv[x**2 + y**2 - 3-x - 1]',
u'ulbc/tests/test_logic.py::TestU::test_signal_connected_F_equiv[x**2 + y**2 - 3-y - 2]',
u'ulbc/tests/test_logic.py::TestU::test_signal_connected_F_equiv[x**2 + y**2 - 3-x**2 + y**2 - 3]',
u'ulbc/tests/test_logic.py::TestU::test_signal',
u'ulbc/tests/test_logic.py::TestU::test_signal_rational',
u'ulbc/tests/test_logic.py::TestU::test_numerical_signal',
u'ulbc/tests/test_logic.py::TestD::test_repr',
u'ulbc/tests/test_logic.py::TestLogicContextSignal::test_context_signal_for_signal_child',
u'ulbc/tests/test_logic.py::TestLogicContextSignal::test_context_and_signal',
u'ulbc/tests/test_logic.py::TestLogicContextSignal::test_context_refined_and_signal',
u'ulbc/tests/test_logic.py::TestLogicContextSignal::test_context_signal_and_signal',
u'ulbc/tests/test_logic.py::TestLogicContextSignal::test_context_context_signals',
u'ulbc/tests/test_logic.py::TestLogicContextSignal::test_differential_context_context_signals',
u'ulbc/tests/test_matricies.py::TestConvertMat::test_convert_mat1',
u'ulbc/tests/test_matricies.py::TestConvertMat::test_convert_mat2',
u'ulbc/tests/test_matricies.py::TestMatToNumpy::test_to_numpy_mat1',
u'ulbc/tests/test_matricies.py::TestMatToNumpy::test_to_numpy_mat2',
u'ulbc/tests/test_matricies.py::TestMatToNumpy::test_to_numpy_mat3',
u'ulbc/tests/test_matricies.py::TestConvertVec::test_to_numpy_vec1',
u'ulbc/tests/test_matricies.py::TestConvertVec::test_convert_vec2',
u'ulbc/tests/test_matricies.py::TestVecToNumpy::test_to_numpy_vec1',
u'ulbc/tests/test_matricies.py::TestVecToNumpy::test_to_numpy_vec2',
u'ulbc/tests/test_matricies.py::TestVecToNumpy::test_to_numpy_vec3',
u'ulbc/tests/test_matricies.py::TestSympyGens::test_QQ_ring_gens',
u'ulbc/tests/test_matricies.py::TestSympyGens::test_RIF_ring_gens',
u'ulbc/tests/test_signal_masks.py::TestMask::test_split_mask',
u'ulbc/tests/test_signal_masks.py::TestMask::test_repr',
u'ulbc/tests/test_signal_masks.py::TestMask::test_positive',
u'ulbc/tests/test_signal_masks.py::TestMask::test_invert',
u'ulbc/tests/test_signal_masks.py::TestMask::test_P_from_time_zero',
u'ulbc/tests/test_signal_masks.py::TestMask::test_H_from_time_zero',
u'ulbc/tests/test_signal_masks.py::TestMask::test_H_from_domain',
u'ulbc/tests/test_signal_masks.py::TestMask::test_H',
u'ulbc/tests/test_signal_masks.py::TestMask::test_P',
u'ulbc/tests/test_signal_masks.py::TestMask::test_G_H',
u'ulbc/tests/test_signal_masks.py::TestMask::test_G_P_from_time_zero',
u'ulbc/tests/test_signal_masks.py::TestMask::test_F_P_from_time_zero',
u'ulbc/tests/test_signal_masks.py::TestMask::test_union',
u'ulbc/tests/test_signal_masks.py::TestMask::test_intersection']
cache/stepwise contains:
[]
whist after clearing the cache and successfully running all tests the result of python3 -m pytest is:
Test session starts (platform: linux, Python 3.7.4, pytest 5.0.1, pytest-sugar 0.9.2)
rootdir: /home/twright/Drive/Documents/PhD/Notebooks, inifile: pytest.ini
plugins: xdist-1.29.0, sugar-0.9.2, forked-1.0.2
cachedir: /home/twright/Drive/Documents/PhD/Notebooks/.pytest_cache
---------------------------------------------------------------------------------------------------------- cache values for '*' -----------------------------------------------------------------------------------------------------------
cache/nodeids contains:
['flowstar/tests/test_interval.py::TestMakeIntervalFn::test_basic_fn',
'flowstar/tests/test_interval.py::TestIntDist::test_identity',
'flowstar/tests/test_interval.py::TestIntDist::test_nonoverlapping',
'flowstar/tests/test_interval.py::TestIntDist::test_overlapping',
'flowstar/tests/test_interval.py::TestIntDist::test_one_different_endpoint',
'flowstar/tests/test_interval.py::TestIntMinDist::test_identity',
'flowstar/tests/test_interval.py::TestIntMinDist::test_nonoverlapping',
'flowstar/tests/test_interval.py::TestIntMinDist::test_overlapping',
'flowstar/tests/test_interval.py::TestIntMinDist::test_one_different_endpoint',
'flowstar/tests/test_interval.py::TestOverlaps::test_identity',
'flowstar/tests/test_interval.py::TestOverlaps::test_nonoverlapping',
'flowstar/tests/test_interval.py::TestOverlaps::test_overlapping',
'flowstar/tests/test_interval.py::TestOverlaps::test_one_different_endpoint',
'flowstar/tests/test_interval.py::TestOverlaps::test_point_overlapping',
'flowstar/tests/test_observers.py::TestSageObserver::test_t_call',
'flowstar/tests/test_observers.py::TestIntervalFnFromSage::test_simple_fn',
'flowstar/tests/test_observers.py::TestPolyObserver::test_construct_with_implicit_derivative',
'flowstar/tests/test_observers.py::TestPolyObserverMask::test_construct_masked',
'flowstar/tests/test_observers.py::TestPolyObserverMask::test_masked_roots',
'flowstar/tests/test_observers.py::TestPolyObserverMask::test_masked_eval_inside',
'flowstar/tests/test_observers.py::TestPolyObserverMask::test_masked_eval_overlapping',
'flowstar/tests/test_observers.py::TestPolyObserverMask::test_masked_bool_eval_inside',
'flowstar/tests/test_observers.py::TestPolyObserverMask::test_masked_eval_overlapping_sym',
'flowstar/tests/test_observers.py::TestRestrictedObserverMask::test_masked_restricted',
'flowstar/tests/test_observers.py::TestPolyObserverRoots::test_unrestricted',
'flowstar/tests/test_observers.py::TestPolyObserverRoots::test_unrestricted_symbolic_composition',
'flowstar/tests/test_observers.py::TestRestrictedObserverRoots::test_restricted',
'flowstar/tests/test_observers.py::TestRestrictedObserverRoots::test_restricted_no_cache',
'flowstar/tests/test_observers.py::TestRestrictedObserverRoots::test_restricted_no_oversharing',
'flowstar/tests/test_observers.py::TestRestrictedObserverRoots::test_restricted_symbolic_composition',
'flowstar/tests/test_observers.py::TestRestrictedObserverRoots::test_restricted_symbolic_composition_no_cache',
'flowstar/tests/test_observers.py::TestRestrictedObserverRoots::test_one_dimensional_context',
'flowstar/tests/test_observers.py::TestRestrictedObserverRoots::test_context_one_restricted_dimension',
'flowstar/tests/test_observers.py::TestPolyObserverEval::test_x_call',
'flowstar/tests/test_observers.py::TestPolyObserverEval::test_y_call',
'flowstar/tests/test_observers.py::TestPolyObserverEval::test_x_call_symbolic',
'flowstar/tests/test_observers.py::TestPolyObserverEval::test_y_call_symbolic',
'flowstar/tests/test_observers.py::TestPolyObserverEval::test_xy_squared_call',
'flowstar/tests/test_observers.py::TestPolyObserverEval::test_xy_squared_call_symbolic',
'flowstar/tests/test_observers.py::TestPolyObserverBoolEval::test_x_call',
'flowstar/tests/test_observers.py::TestPolyObserverBoolEval::test_minus_x_call',
'flowstar/tests/test_observers.py::TestPolyObserverBoolEval::test_y_call',
'flowstar/tests/test_observers.py::TestPolyObserverBoolEval::test_restricted_bool_symbolic_composition',
'flowstar/tests/test_poly.py::test_two_var',
'flowstar/tests/test_poly.py::test_one_var',
'flowstar/tests/test_poly.py::test_one_var_interval',
'flowstar/tests/test_poly.py::test_one_var_power',
'flowstar/tests/test_poly.py::test_tm_power',
'flowstar/tests/test_poly.py::test_tm_power2',
'flowstar/tests/test_poly.py::test_compose',
'flowstar/tests/test_poly.py::test_time_fn_eval',
'flowstar/tests/test_reachability.py::TestConvertSpaceDomain::test_two_dimensional',
'flowstar/tests/test_reachability.py::TestReachability::test_constructor',
'flowstar/tests/test_reachability.py::TestReachability::test_copy',
'flowstar/tests/test_reachability.py::TestReachability::test_copy_change_initial',
'flowstar/tests/test_reachability.py::TestReachability::test_constructor_str',
'flowstar/tests/test_reachability.py::TestEval::test_standard',
'flowstar/tests/test_reachability.py::TestEval::test_restricted_context',
'flowstar/tests/test_rootdetection.py::test_single_root',
'flowstar/tests/test_rootdetection.py::test_single_interval_root',
'flowstar/tests/test_rootdetection.py::test_sqrt2',
'flowstar/tests/test_rootdetection.py::test_double_root',
'flowstar/tests/test_rootdetection.py::test_detect_whole_interval_root',
'flowstar/tests/test_taylormodel.py::TestTaylorModelExpander::test_var',
'flowstar/tests/test_taylormodel.py::TestTaylorModelExpander::test_constant',
'flowstar/tests/test_taylormodel.py::TestTaylorModelExpander::test_constant_interval',
'flowstar/tests/test_taylormodel.py::TestTaylorModelExpander::test_mul',
'flowstar/tests/test_taylormodel.py::TestTaylorModelExpander::test_add',
'flowstar/tests/test_taylormodel.py::TestTaylorModelExpander::test_sub',
'flowstar/tests/test_taylormodel.py::TestTaylorModelExpander::test_simple_div',
'flowstar/tests/test_taylormodel.py::TestFlowstarConverter::test_var',
'flowstar/tests/test_taylormodel.py::TestFlowstarConverter::test_constant',
'flowstar/tests/test_taylormodel.py::TestFlowstarConverter::test_constant_interval',
'flowstar/tests/test_taylormodel.py::TestFlowstarConverter::test_mul',
'flowstar/tests/test_taylormodel.py::TestFlowstarConverter::test_add',
'flowstar/tests/test_taylormodel.py::TestFlowstarConverter::test_sub',
'flowstar/tests/test_taylormodel.py::TestFlowstarConverter::test_simple_div',
'flowstar/tests/test_taylormodel.py::TestFlowstarConverter::test_full_div',
'flowstar/tests/test_taylormodel.py::TestTaylorModel::test_from_var',
'flowstar/tests/test_taylormodel.py::TestTaylorModel::test_from_var_remainder',
'flowstar/tests/test_taylormodel.py::TestTaylorModel::test_from_constant_float',
'flowstar/tests/test_taylormodel.py::TestTaylorModel::test_from_constant_float_remainder',
'flowstar/tests/test_taylormodel.py::TestTaylorModel::test_from_constant_interval',
'flowstar/tests/test_taylormodel.py::TestTaylorModel::test_neg',
'ulbc/logic.py::ulbc.logic.And',
'ulbc/logic.py::ulbc.logic.Atomic',
'ulbc/logic.py::ulbc.logic.C',
'ulbc/logic.py::ulbc.logic.Context.context_jump',
'ulbc/logic.py::ulbc.logic.D',
'ulbc/logic.py::ulbc.logic.F',
'ulbc/logic.py::ulbc.logic.G',
'ulbc/logic.py::ulbc.logic.Neg',
'ulbc/logic.py::ulbc.logic.Or',
'ulbc/tests/test_context_signals.py::TestCtxToSpaceDomain::test_two_dimensional',
'ulbc/tests/test_context_signals.py::TestGenSubSpaceDomains::test_zero_dimensional',
'ulbc/tests/test_context_signals.py::TestGenSubSpaceDomains::test_one_dimensional',
'ulbc/tests/test_context_signals.py::TestGenSubSpaceDomains::test_singleton_one_dimensional',
'ulbc/tests/test_context_signals.py::TestGenSubSpaceDomains::test_two_dimensional',
'ulbc/tests/test_context_signals.py::TestGenSubSpaceDomains::test_singleton_two_dimensional',
'ulbc/tests/test_context_signals.py::TestChildIterator::test_iterate',
'ulbc/tests/test_context_signals.py::TestChildIterator::test_repeat',
'ulbc/tests/test_context_signals.py::TestContextSignal::test_sub_space_domains',
'ulbc/tests/test_context_signals.py::TestContextSignal::test_sub_sub_child_space_domain',
'ulbc/tests/test_context_signals.py::TestContextSignal::test_signal_gen',
'ulbc/tests/test_context_signals.py::TestContextSignal::test_signal_gen_restricted_context',
'ulbc/tests/test_context_signals.py::TestContextSignal::test_signal_restricted_via_children',
'ulbc/tests/test_context_signals.py::TestContextSignal::test_signal_further_restricted_via_children',
'ulbc/tests/test_context_signals.py::TestContextSignal::test_trivial_refined_signal',
'ulbc/tests/test_context_signals.py::TestContextSignal::test_refined_signal',
'ulbc/tests/test_context_signals.py::TestContextSignal::test_further_refined_signal',
'ulbc/tests/test_interval_signals.py::TestISplit::test_simple_isplit',
'ulbc/tests/test_interval_signals.py::TestDecomposition::test_decomposition',
'ulbc/tests/test_interval_signals.py::TestApproxEq::test_exact',
'ulbc/tests/test_interval_signals.py::TestApproxEq::test_wrong_domain',
'ulbc/tests/test_interval_signals.py::TestApproxEq::test_approx',
'ulbc/tests/test_interval_signals.py::TestApproxEq::test_too_far',
'ulbc/tests/test_interval_signals.py::TestApproxEq::test_too_many_segs',
'ulbc/tests/test_interval_signals.py::TestApproxEq::test_differing_sign',
'ulbc/tests/test_interval_signals.py::TestApproxEq::test_tiny_gap',
'ulbc/tests/test_interval_signals.py::TestIntervalComplements::test_inside',
'ulbc/tests/test_interval_signals.py::TestSignalMasks::test_simple_signal_or_mask',
'ulbc/tests/test_interval_signals.py::TestSignalMasks::test_signal_or_mask',
'ulbc/tests/test_interval_signals.py::TestSignalMasks::test_simple_signal_or_mask_relative',
'ulbc/tests/test_interval_signals.py::TestSignalMasks::test_simple_signal_and_mask',
'ulbc/tests/test_interval_signals.py::TestSignalMasks::test_signal_and_mask',
'ulbc/tests/test_interval_signals.py::TestSignalMasks::test_simple_signal_and_mask_relative',
'ulbc/tests/test_interval_signals.py::TestSignalMasks::test_to_domain_mask',
'ulbc/tests/test_interval_signals.py::TestSignalMasks::test_G_mask',
'ulbc/tests/test_interval_signals.py::TestSignalMasks::test_F_mask',
'ulbc/tests/test_interval_signals.py::TestSignalMasks::test_and_masks',
'ulbc/tests/test_interval_signals.py::TestSignalMasks::test_neg_masks',
'ulbc/tests/test_interval_utils.py::TestInnerMinkowski::test_basic_inner',
'ulbc/tests/test_interval_utils.py::TestInnerMinkowski::test_inner_to_point',
'ulbc/tests/test_logic.py::TestAtomic::test_polynomial_dpdt',
'ulbc/tests/test_logic.py::TestAtomic::test_relation',
'ulbc/tests/test_logic.py::TestAtomic::test_signal_for_system_zero[1.5-None]',
'ulbc/tests/test_logic.py::TestAtomic::test_signal_for_system_zero[0.5-True]',
'ulbc/tests/test_logic.py::TestAtomic::test_signal_for_system_zero[2.5-False]',
'ulbc/tests/test_logic.py::TestVarContextBody::test_var_context_body_str',
'ulbc/tests/test_logic.py::TestVarContextBody::test_var_context_body_jump',
'ulbc/tests/test_logic.py::TestBondProcessContextBody::test_bond_process_context_body_str',
'ulbc/tests/test_logic.py::TestC::test_context_with_jump',
'ulbc/tests/test_logic.py::TestMasks::test_standard_mask',
'ulbc/tests/test_logic.py::TestMasks::test_no_mask',
'ulbc/tests/test_logic.py::TestMasks::test_point_mask',
'ulbc/tests/test_logic.py::TestMasks::test_G_point_shift',
'ulbc/tests/test_logic.py::TestMasks::test_F_point_shift',
'ulbc/tests/test_logic.py::TestMasks::test_and_unary_point',
'ulbc/tests/test_logic.py::TestMasks::test_and_binary_point',
'ulbc/tests/test_logic.py::TestMasks::test_or_unary_point',
'ulbc/tests/test_logic.py::TestMasks::test_or_binary_point',
'ulbc/tests/test_logic.py::TestMasks::test_masked_context_with_jump',
'ulbc/tests/test_logic.py::TestU::test_repr_U',
'ulbc/tests/test_logic.py::TestU::test_str_U',
'ulbc/tests/test_logic.py::TestU::test_duration',
'ulbc/tests/test_logic.py::TestU::test_atomic_propositions',
'ulbc/tests/test_logic.py::TestU::test_signal_F_equiv[x - 1]',
'ulbc/tests/test_logic.py::TestU::test_signal_F_equiv[y - 2]',
'ulbc/tests/test_logic.py::TestU::test_signal_F_equiv[x**2 + y**2 - 3]',
'ulbc/tests/test_logic.py::TestU::test_signal_connected_F_equiv[x - 1-x - 1]',
'ulbc/tests/test_logic.py::TestU::test_signal_connected_F_equiv[x - 1-y - 2]',
'ulbc/tests/test_logic.py::TestU::test_signal_connected_F_equiv[x - 1-x**2 + '
'y**2 - 3]',
'ulbc/tests/test_logic.py::TestU::test_signal_connected_F_equiv[y - 2-x - 1]',
'ulbc/tests/test_logic.py::TestU::test_signal_connected_F_equiv[y - 2-y - 2]',
'ulbc/tests/test_logic.py::TestU::test_signal_connected_F_equiv[y - 2-x**2 + '
'y**2 - 3]',
'ulbc/tests/test_logic.py::TestU::test_signal_connected_F_equiv[x**2 + y**2 - '
'3-x - 1]',
'ulbc/tests/test_logic.py::TestU::test_signal_connected_F_equiv[x**2 + y**2 - '
'3-y - 2]',
'ulbc/tests/test_logic.py::TestU::test_signal_connected_F_equiv[x**2 + y**2 - '
'3-x**2 + y**2 - 3]',
'ulbc/tests/test_logic.py::TestU::test_signal',
'ulbc/tests/test_logic.py::TestU::test_signal_rational',
'ulbc/tests/test_logic.py::TestU::test_numerical_signal',
'ulbc/tests/test_logic.py::TestD::test_repr',
'ulbc/tests/test_logic.py::TestLogicContextSignal::test_context_signal_for_signal_child',
'ulbc/tests/test_logic.py::TestLogicContextSignal::test_context_and_signal',
'ulbc/tests/test_logic.py::TestLogicContextSignal::test_context_refined_and_signal',
'ulbc/tests/test_logic.py::TestLogicContextSignal::test_context_signal_and_signal',
'ulbc/tests/test_logic.py::TestLogicContextSignal::test_context_context_signals',
'ulbc/tests/test_logic.py::TestLogicContextSignal::test_differential_context_context_signals',
'ulbc/tests/test_matricies.py::TestConvertMat::test_convert_mat1',
'ulbc/tests/test_matricies.py::TestConvertMat::test_convert_mat2',
'ulbc/tests/test_matricies.py::TestMatToNumpy::test_to_numpy_mat1',
'ulbc/tests/test_matricies.py::TestMatToNumpy::test_to_numpy_mat2',
'ulbc/tests/test_matricies.py::TestMatToNumpy::test_to_numpy_mat3',
'ulbc/tests/test_matricies.py::TestConvertVec::test_to_numpy_vec1',
'ulbc/tests/test_matricies.py::TestConvertVec::test_convert_vec2',
'ulbc/tests/test_matricies.py::TestVecToNumpy::test_to_numpy_vec1',
'ulbc/tests/test_matricies.py::TestVecToNumpy::test_to_numpy_vec2',
'ulbc/tests/test_matricies.py::TestVecToNumpy::test_to_numpy_vec3',
'ulbc/tests/test_matricies.py::TestSympyGens::test_QQ_ring_gens',
'ulbc/tests/test_matricies.py::TestSympyGens::test_RIF_ring_gens',
'ulbc/tests/test_signal_masks.py::TestMask::test_split_mask',
'ulbc/tests/test_signal_masks.py::TestMask::test_repr',
'ulbc/tests/test_signal_masks.py::TestMask::test_positive',
'ulbc/tests/test_signal_masks.py::TestMask::test_invert',
'ulbc/tests/test_signal_masks.py::TestMask::test_P_from_time_zero',
'ulbc/tests/test_signal_masks.py::TestMask::test_H_from_time_zero',
'ulbc/tests/test_signal_masks.py::TestMask::test_H_from_domain',
'ulbc/tests/test_signal_masks.py::TestMask::test_H',
'ulbc/tests/test_signal_masks.py::TestMask::test_P',
'ulbc/tests/test_signal_masks.py::TestMask::test_G_H',
'ulbc/tests/test_signal_masks.py::TestMask::test_G_P_from_time_zero',
'ulbc/tests/test_signal_masks.py::TestMask::test_F_P_from_time_zero',
'ulbc/tests/test_signal_masks.py::TestMask::test_union',
'ulbc/tests/test_signal_masks.py::TestMask::test_intersection',
'ulbc/tests/test_symbolic.py::TestIsRelation::test_gt_zero_is_relation',
'ulbc/tests/test_symbolic.py::TestIsRelation::test_expression_is_not_relation',
'ulbc/tests/test_symbolic.py::TestRelationConverter::test_basic_expression',
'ulbc/tests/test_symbolic.py::TestRelationConverter::test_relation_gt_zero',
'ulbc/tests/test_symbolic.py::TestRelationConverter::test_relation_gt',
'ulbc/tests/test_symbolic.py::TestVariables::test_declare',
'ulbc/tests/test_symbolic.py::TestVariables::test_variable_name',
'ulbc/tests/test_symbolic.py::TestVariables::test_real_variable',
'ulbc/tests/test_symbolic.py::TestVariables::test_repeated_names',
'ulbc/tests/test_symbolic.py::TestVariables::test_simple_name']
cache/stepwise contains:
[]
pip3 list gives (I am running Fedora 30):
Package Version
--------------------------------- -----------------
alabaster 0.7.12
apipkg 1.5
argcomplete 1.9.5
argh 0.26.1
asn1crypto 0.24.0
astroid 2.2.5
atomicwrites 1.3.0
attrs 18.2.0
Automat 0.7.0
Babel 2.6.0
backcall 0.1.0
Beaker 1.10.0
beautifulsoup4 4.6.3
bidict 0.18.0
bleach 3.0.2
blivet 3.1.4
blivet-gui 2.1.10
Bottleneck 1.2.1
brial 1.0.2
Brlapi 0.6.7
BTrees 4.5.1
cffi 1.11.5
chardet 3.0.4
chrome-gnome-shell 0.0.0
Click 7.0
configparser 3.7.1
constantly 15.1.0
coverage 4.5.1
cryptography 2.6.1
cson 0.7
cssselect 0.9.2
cupshelpers 1.0
cvxopt 1.2.3
cycler 0.10.0
cypari2 2.1.1
cysignals 1.10.2
Cython 0.29.6
dbus-python 1.2.8
decorator 4.3.0
defusedxml 0.5.0
distro 1.4.0
docutils 0.14
entrypoints 0.3
execnet 1.6.1
fastcache 1.1.0
Flask 1.0.2
Flask-AutoIndex 0.6
Flask-Babel 0.11.2
Flask-OpenID 1.2.5
Flask-Silk 0.2
fpylll 0.4.1.dev0
fros 1.1
future 0.17.0
GDAL 2.3.2
gmpy2 2.1.0b1
gpg 1.12.0
hide-code 0.5.2
html5lib 1.0.1
humanize 0.5.1
hyperlink 19.0.0
idna 2.7
imagesize 1.0.0
importlib-metadata 0.19
incremental 17.5.0
ipykernel 5.1.1
ipython 7.2.0
ipython-genutils 0.1.0
ipywidgets 7.4.2
isort 4.3.21
itsdangerous 0.24
jedi 0.12.1
Jinja2 2.10.1
jsonschema 3.0.1
jupyter 1.0.0
jupyter-client 5.2.3
jupyter-console 6.0.0
jupyter-contrib-core 0.3.3
jupyter-contrib-nbextensions 0.5.1
jupyter-core 4.4.0
jupyter-highlight-selected-word 0.2.0
jupyter-latex-envs 1.4.6
jupyter-nbextensions-configurator 0.4.1
jupyterlab 0.35.6
jupyterlab-launcher 0.11.0
jupyterlab-server 0.2.0
jupyterthemes 0.20.0
kiwisolver 1.1.0
langtable 0.0.43
lazy-object-proxy 1.4.1
lesscpy 0.13.0
lxml 4.2.5
Mako 1.0.12.dev0
MarkupSafe 1.1.1
matplotlib 3.0.3
mccabe 0.6.1
mistune 0.8.3
mock 2.0.0
more-itertools 4.1.0
mpmath 1.1.0
mypy 0.670
mypy-extensions 0.4.1
nbconvert 5.4.1
nbformat 4.4.0
netifaces 0.10.6
networkx 2.3
notebook 5.7.8
ntplib 0.3.3
numexpr 2.6.6
numpy 1.16.4
olefile 0.46
ordered-set 2.0.2
packaging 19.0
pandas 0.23.4
pandas-datareader 0.6.0
pandocfilters 1.4.1
parso 0.3.1
Paste 2.0.3
path.py 5.2
pathlib2 2.3.4
pbr 5.1.2
pdfkit 0.6.1
persistent 4.5.0
pexpect 4.6.0
pickleshare 0.7.4
pid 2.2.3
Pillow 5.4.1
pip 19.0.3
pluggy 0.12.0
ply 3.11
pplpy 0.8.4
productmd 1.21
prometheus-client 0.6.0
prompt-toolkit 2.0.9
psutil 5.4.3
ptyprocess 0.6.0
pwquality 1.4.0
py 1.7.0
pyasn1 0.4.4
pyasn1-modules 0.2.2
pycairo 1.18.1
pycparser 2.14
pycrypto 2.6.1
pycryptosat 0.2.0
pycups 1.9.74
pycurl 7.43.0.2
pydbus 0.6.0
pydot 1.2.4
pyenchant 2.0.0
pyglet 1.3.2
Pygments 2.2.0
PyGObject 3.32.2
pygpu 0.7.6
pygraphviz 1.5
PyHamcrest 1.9.0
pyinotify 0.9.6
pykickstart 3.20
pylint 2.3.1
pyOpenSSL 19.0.0
pyparsing 2.4.0
pyparted 3.11.2
PyQt5 5.12.2
PyQt5-sip 4.19.17
pyrsistent 0.15.3
PySocks 1.6.8
pytest 5.0.1
pytest-faulthandler 2.0.1
pytest-forked 1.0.2
pytest-runner 4.0
pytest-sugar 0.9.2
pytest-xdist 1.29.0
python-augeas 0.5.0
python-dateutil 2.8.0
python-meh 0.47
python3-openid 3.1.0
pytz 2018.5
pyudev 0.21.0
pyxdg 0.26
PyYAML 5.1
pyzmq 17.0.0
qtconsole 4.4.4
requests 2.21.0
requests-file 1.4.3
requests-ftp 0.3.1
rise 5.5.0
rpm 4.14.2.1
rpy2 3.0.5
sagenb 1.1.2
sagetex 3.2
scipy 1.2.0
Send2Trash 1.4.2
sepolicy 1.1
service-identity 18.1.0
setools 4.1.1
setuptools 40.8.0
simplegeneric 0.8.1
simpleline 1.4
six 1.12.0
slip 0.6.4
slip.dbus 0.6.4
snowballstemmer 1.2.1
sos 3.7
speaklater 1.3
speg 0.3
Sphinx 1.8.4
sphinx-rtd-theme 0.4.3
sphinxcontrib-websupport 1.1.0.dev20190202
SQLAlchemy 1.3.6
sympy 1.4
systemd-python 234
tables 3.4.4
Tempita 0.5.1
termcolor 1.1.0
terminado 0.8.1
testpath 0.3.1
Theano 1.0.4
tornado 5.0.2
traitlets 4.3.2
transaction 2.4.0
Twisted 19.2.1
typed-ast 1.3.1
urllib3 1.24.3
Wand 0.5.1
wcwidth 0.1.7
webencodings 0.5.1
Werkzeug 0.14.1
Whoosh 2.7.4
widgetsnbextension 3.4.2
wrapt 1.11.1
xlrd 1.2.0
xlwt 1.1.2
zc.lockfile 1.3.0
ZConfig 3.1.0
zdaemon 4.2.0
ZEO 5.2.1
zipp 0.5.2
ZODB 5.5.1
ZODB3 3.11.0
zodbpickle 1.0.4
zope.event 4.2.0