crosshair/run_functional_tests.py attempt

gistfile1.txt

(ch_380) phillips-air:CrossHair pschanely$ python crosshair/run_functional_tests.py --continue_on_error
Running: /Users/pschanely/miniconda3/envs/ch_380/bin/python -m crosshair check crosshair/examples/PEP316/success/arith.py --analysis_kind PEP316
Running: /Users/pschanely/miniconda3/envs/ch_380/bin/python -m crosshair check crosshair/examples/PEP316/success/chess.py --analysis_kind PEP316
Running: /Users/pschanely/miniconda3/envs/ch_380/bin/python -m crosshair check crosshair/examples/PEP316/success/getattr_magic.py --analysis_kind PEP316
The functional test failed on an example. Expected a success (a return code 0), but got a return code 2.

The stdout was:
/Users/pschanely/proj/tmpch/CrossHair/crosshair/examples/PEP316/success/getattr_magic.py:11: error: false when calling visit_animals(animal = 'cows') (which returns 'moo')


The stderr was:


The command was:
/Users/pschanely/miniconda3/envs/ch_380/bin/python -m crosshair check crosshair/examples/PEP316/success/getattr_magic.py --analysis_kind PEP316
Running: /Users/pschanely/miniconda3/envs/ch_380/bin/python -m crosshair check crosshair/examples/PEP316/success/hash_consistent_with_equals.py --analysis_kind PEP316
The functional test failed on an example. Expected a success (a return code 0), but got a return code 2.

The stdout was:
/Users/pschanely/proj/tmpch/CrossHair/crosshair/examples/PEP316/success/hash_consistent_with_equals.py:23: error: "post: implies(__return__, hash(self) == hash(other))" yields false when calling __eq__(self = Apples(0, ''), other = Apples(1, '')) (which returns True)


The stderr was:


The command was:
/Users/pschanely/miniconda3/envs/ch_380/bin/python -m crosshair check crosshair/examples/PEP316/success/hash_consistent_with_equals.py --analysis_kind PEP316
Running: /Users/pschanely/miniconda3/envs/ch_380/bin/python -m crosshair check crosshair/examples/PEP316/success/immutable_class.py --analysis_kind PEP316
Running: /Users/pschanely/miniconda3/envs/ch_380/bin/python -m crosshair check crosshair/examples/PEP316/success/nesting_inference.py --analysis_kind PEP316
Running: /Users/pschanely/miniconda3/envs/ch_380/bin/python -m crosshair check crosshair/examples/PEP316/success/numpy_examples.py --analysis_kind PEP316
Running: /Users/pschanely/miniconda3/envs/ch_380/bin/python -m crosshair check crosshair/examples/PEP316/success/rolling_average.py --analysis_kind PEP316
Running: /Users/pschanely/miniconda3/envs/ch_380/bin/python -m crosshair check crosshair/examples/PEP316/success/showcase.py --analysis_kind PEP316
The functional test failed on an example. Expected a success (a return code 0), but got a return code 2.

The stdout was:
/Users/pschanely/proj/tmpch/CrossHair/crosshair/examples/PEP316/success/showcase.py:38: error: false when calling list_to_dict(s = (object(), object(), 4, object())) (which returns {object(): object(), 4: 4})
/Users/pschanely/proj/tmpch/CrossHair/crosshair/examples/PEP316/success/showcase.py:77: error: false when calling consecutive_pairs(x = []) (which returns [])
/Users/pschanely/proj/tmpch/CrossHair/crosshair/examples/PEP316/success/showcase.py:87: error: false when calling higher_order(fn = lambda a: 42 if (a == 0) else (0)) (which returns 42)
/Users/pschanely/proj/tmpch/CrossHair/crosshair/examples/PEP316/success/showcase.py:134: error: false when calling append_fourtytwo_to_each(lists = [[7], [7], [], [], [], []])


The stderr was:


The command was:
/Users/pschanely/miniconda3/envs/ch_380/bin/python -m crosshair check crosshair/examples/PEP316/success/showcase.py --analysis_kind PEP316
Running: /Users/pschanely/miniconda3/envs/ch_380/bin/python -m crosshair check crosshair/examples/PEP316/success/tic_tac_toe.py --analysis_kind PEP316
Running: /Users/pschanely/miniconda3/envs/ch_380/bin/python -m crosshair check crosshair/examples/icontract/success/arith.py --analysis_kind icontract
Running: /Users/pschanely/miniconda3/envs/ch_380/bin/python -m crosshair check crosshair/examples/icontract/fail/wrong_sign.py --analysis_kind icontract
The captured output does not correspond to the expected output.

The command was:
/Users/pschanely/miniconda3/envs/ch_380/bin/python -m crosshair check crosshair/examples/icontract/fail/wrong_sign.py --analysis_kind icontract

The captured stdout was:
<examples dir>/icontract/fail/wrong_sign.py:4: error: false when calling some_func(x = 1000) (which returns 0)


The captured stderr was:


The expected stdout:
<examples dir>\icontract\fail\wrong_sign.py:4: error: false when calling some_func(x = 1000) (which returns 0)


The expected stderr:

One or more functional tests failed. Please see above.