Skip to content

Increase test suite coverage #241

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Merged
merged 82 commits into from
Apr 21, 2020
Merged

Increase test suite coverage #241

merged 82 commits into from
Apr 21, 2020

Conversation

kostis
Copy link
Collaborator

@kostis kostis commented Apr 13, 2020

Contains various clean ups and test suite additions that increase code coverage.

kostis added 30 commits April 7, 2020 20:19
@kostis
Temporarily disable testing on many OTPs
7159e15
@kostis
Add tests for tuple(), arity() and timeout()
e9adf43
@kostis
proper_arith: Comment out two unused functions
f4a218f
@kostis
Add three tests for properties with generated functions
0c94442
@kostis
Add a quite involved test for the proper_typeserver
457012d
@kostis
Clean up new test
99411a9
@kostis
Cleanup the calls to subtype/2
cc3ae86
@kostis
Add some more tests for options
8653f10
@kostis
Cosmetic cleanups
cccfd21
@kostis
Factor out a common generator
9cefa65
@kostis
Merge branch 'master' of github.com:proper-testing/proper into increa…
b9f163b 
…se-coverage
@kostis
Include tests for some examples
dcc7f92
@kostis
Use the examples/pdict_statem.erl file in tests
e6f40e6
@kostis
Clean up and extend the level example
78abcbd
@kostis
Extend the tests with testing the level example
b8b900b
@kostis
Add a timeout got some targeted tests of level
e5e88f9
@kostis
Push the timeout in each individual example test run
134d001
@kostis
Fix a syntax error
e54d64c
@kostis
Increase timeout value further for cover run on Travis
1297aba
@kostis
Increase timeout value even further for cover run on Travis
ee0e5f2
@kostis
Renamed test/ets_statem to test/ets_statem_test
4fd64f3
@kostis
Addition of a compiler directive to example/ets_statem
fdc19c9
@kostis
Add testing of examples/ets_statem
b6f4629
@kostis
Code clean up of examples/elevator_fsm and add to tests
5e3a5fe
@kostis
Shut off deprecated gen_fsm compiler warnings
1ab3f0b
@kostis
Restore testing on all Erlang/OTP releases on Travis
b3740dd
@kostis
Temporarily disable testing on many OTPs
3ee9332
@kostis
Add tests for tuple(), arity() and timeout()
266b413
@kostis
proper_arith: Comment out two unused functions
7ac945a
@kostis
Add three tests for properties with generated functions
bbc3a0a
@codecov-io
Copy link

codecov-io commented Apr 14, 2020 •
edited
Loading

Codecov Report

Merging #241 into master will not change coverage.
The diff coverage is n/a.

Impacted file tree graph

@@           Coverage Diff           @@
##           master     #241   +/-   ##
=======================================
  Coverage   86.03%   86.03%           
=======================================
  Files          13       13           
  Lines        3129     3129           
=======================================
  Hits         2692     2692           
  Misses        437      437

Continue to review full report at Codecov.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update 58be0f5...58be0f5. Read the comment docs.

kostis added 25 commits April 14, 2020 21:02
@kostis
Add behaviour attributes
3f2567d
@kostis
Rename level example to labyrinth
585a898
@kostis
Fix failing tests
b36792f
@kostis
Eliminate unmatched_return warnings
e64b579
@kostis
Delete optional gen_statem callbacks
808f321
@kostis
Thou shalt not break opacity of terms
34c60de
@kostis
Thou shalt not break opacity of terms
a761334
@kostis
Shut off an improper_lists dialyzer warning
1d0a18f
@kostis
Revert an erroneous change
d4b6de7
@kostis
Increase the number of tests for Maze 2 targeted
a65fea3
@kostis
Include tests for unary properties of mastermind example
c2f2b47
@kostis
Increase timeout for a test of a mastermind property
ddd2754
@kostis
More timeout wrapping...
068bcbd
@kostis
Merge branch 'master' of github.com:proper-testing/proper into increa…
be45cec 
…se-coverage
@kostis
Merge branch 'master' of github.com:proper-testing/proper into increa…
8ef30e6 
…se-coverage
@kostis
Test the magic example too
7971b7c
@kostis
Merge branch 'increase-coverage' of github.com:kostis/proper into inc…
6e1ebbe 
…rease-coverage
@kostis
Cleanup the magic example
939a01d
@kostis
Better testing of the magic example
7224799
@kostis
Increase timeout of magic failures
4aeac73
@kostis
Add noshrink option to the failed targeted examples
e2361f7
@kostis
Undo the =:= -> equals refactoring
58be0f5
@kostis
Homeogenize the names of properties in targeted examples
58796af
@kostis
Ooops
46e6c12
@kostis
Substitute changes in the Makefile with a rebar3 hook
87e4da7
@kostis kostis merged commit 272b211 into proper-testing:master Apr 21, 2020
@kostis kostis deleted the increase-coverage branch April 21, 2020 12:29
@kostis kostis mentioned this pull request Apr 28, 2020
Open
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@kostis @codecov-io