Merge Invariant Synthesis into Master

zhanghongce commented 4 years ago

Status: done.

lgtm-com[bot] commented 4 years ago

This pull request introduces 8 alerts when merging 22b770416702258cfc2b44ce6f60092de38a9299 into 740044220852da7ab0a817fab38adf0e8b8a7df0 - view on LGTM.com

new alerts:

3 for Unsigned comparison to zero
2 for Comparison result is always the same
1 for Inconsistent definition of copy constructor and assignment ('Rule of Two')
1 for Missing return statement
1 for FIXME comment

lgtm-com[bot] commented 4 years ago

This pull request introduces 2 alerts when merging 6ca00401eec24013b86c80a340acd55e4108c545 into 740044220852da7ab0a817fab38adf0e8b8a7df0 - view on LGTM.com

new alerts:

1 for Comparison result is always the same
1 for FIXME comment

lgtm-com[bot] commented 4 years ago

This pull request introduces 2 alerts when merging 98d2bcc51ca11e70da5df8ba10e83256a5f2ee7f into 740044220852da7ab0a817fab38adf0e8b8a7df0 - view on LGTM.com

new alerts:

1 for Comparison result is always the same
1 for FIXME comment

lgtm-com[bot] commented 4 years ago

This pull request introduces 2 alerts when merging feb30e263c046ad77f07c7452c59fcd18c8184a8 into 740044220852da7ab0a817fab38adf0e8b8a7df0 - view on LGTM.com

new alerts:

1 for Comparison result is always the same
1 for FIXME comment

lgtm-com[bot] commented 4 years ago

This pull request introduces 2 alerts when merging 0a5cc9ff2eeefa70009376c1d9a18752d482bfc0 into 740044220852da7ab0a817fab38adf0e8b8a7df0 - view on LGTM.com

new alerts:

1 for Comparison result is always the same
1 for FIXME comment

lgtm-com[bot] commented 4 years ago

This pull request introduces 2 alerts when merging 84204f848e3937d516595fd4d0dcaa732b2b92e8 into 740044220852da7ab0a817fab38adf0e8b8a7df0 - view on LGTM.com

new alerts:

1 for Comparison result is always the same
1 for FIXME comment

zhanghongce commented 4 years ago

Regarding the gcc 4.9 compilation failure in Travis CI, there is an issue with the move constructor in stringstream before gcc 5... some discussion here: https://gcc.gnu.org/bugzilla/show_bug.cgi?id=54316 . In short, I will change the functionality of that file anyway, so very likely it will disappear...

lgtm-com[bot] commented 4 years ago

This pull request introduces 2 alerts when merging ac0177d3613b8e4356ac090561044dd3af732df4 into 740044220852da7ab0a817fab38adf0e8b8a7df0 - view on LGTM.com

new alerts:

1 for Comparison result is always the same
1 for FIXME comment

lgtm-com[bot] commented 4 years ago

This pull request introduces 2 alerts when merging 5d1e0cf71b400887d02a3b8b9e706c2e9e3b1428 into 740044220852da7ab0a817fab38adf0e8b8a7df0 - view on LGTM.com

new alerts:

1 for Comparison result is always the same
1 for FIXME comment

lgtm-com[bot] commented 4 years ago

This pull request introduces 2 alerts when merging be0b093ba6f522faf9fa83d2c29260527f311e27 into 740044220852da7ab0a817fab38adf0e8b8a7df0 - view on LGTM.com

new alerts:

1 for Comparison result is always the same
1 for FIXME comment

lgtm-com[bot] commented 4 years ago

This pull request introduces 2 alerts when merging a6e3c1ff5f2771b8adafa7e867ef7dc6827d4ede into 740044220852da7ab0a817fab38adf0e8b8a7df0 - view on LGTM.com

new alerts:

1 for Comparison result is always the same
1 for FIXME comment

lgtm-com[bot] commented 4 years ago

This pull request introduces 2 alerts when merging b959deae905aa5ed863467fbb4e237ddf3edd3cf into 740044220852da7ab0a817fab38adf0e8b8a7df0 - view on LGTM.com

new alerts:

1 for Comparison result is always the same
1 for FIXME comment

lgtm-com[bot] commented 4 years ago

This pull request introduces 2 alerts when merging f7f976ce67f2d79ed148a6b0ae551c995c0c5f07 into 740044220852da7ab0a817fab38adf0e8b8a7df0 - view on LGTM.com

new alerts:

1 for Comparison result is always the same
1 for FIXME comment

lgtm-com[bot] commented 4 years ago

This pull request introduces 2 alerts when merging ae2783bab06240f8257bc42292dc368db30017a8 into 740044220852da7ab0a817fab38adf0e8b8a7df0 - view on LGTM.com

new alerts:

1 for Comparison result is always the same
1 for FIXME comment

lgtm-com[bot] commented 4 years ago

This pull request introduces 2 alerts and fixes 4 when merging 27a698fa20d5b8e7097dfc21040d99ba152c00fb into 740044220852da7ab0a817fab38adf0e8b8a7df0 - view on LGTM.com

new alerts:

1 for Comparison result is always the same
1 for FIXME comment

fixed alerts:

3 for FIXME comment
1 for Empty branch of conditional

zhanghongce commented 4 years ago

Thanks! I'm working on the test now to increase test coverage.

lgtm-com[bot] commented 4 years ago

This pull request introduces 2 alerts and fixes 4 when merging ccadca3d0cf081d9d3503d456c334e7a82ef4e9c into 740044220852da7ab0a817fab38adf0e8b8a7df0 - view on LGTM.com

new alerts:

1 for Comparison result is always the same
1 for FIXME comment

fixed alerts:

3 for FIXME comment
1 for Empty branch of conditional

lgtm-com[bot] commented 4 years ago

This pull request introduces 1 alert and fixes 4 when merging 28535bf74c6a6748f0851f4376eb974d03171478 into 740044220852da7ab0a817fab38adf0e8b8a7df0 - view on LGTM.com

new alerts:

1 for Comparison result is always the same

fixed alerts:

3 for FIXME comment
1 for Empty branch of conditional

lgtm-com[bot] commented 4 years ago

This pull request introduces 1 alert and fixes 4 when merging 1a4bf74237125044684dd661fea4494808ca96f2 into 740044220852da7ab0a817fab38adf0e8b8a7df0 - view on LGTM.com

new alerts:

1 for Comparison result is always the same

fixed alerts:

3 for FIXME comment
1 for Empty branch of conditional

lgtm-com[bot] commented 4 years ago

This pull request introduces 1 alert and fixes 4 when merging 27367e37ca62511df44f6091eaa27389d0e252a5 into 740044220852da7ab0a817fab38adf0e8b8a7df0 - view on LGTM.com

new alerts:

1 for Comparison result is always the same

fixed alerts:

3 for FIXME comment
1 for Empty branch of conditional

lgtm-com[bot] commented 4 years ago

This pull request introduces 1 alert and fixes 4 when merging 92319bcb1257092016e48ad5a0dc419c1990014e into 740044220852da7ab0a817fab38adf0e8b8a7df0 - view on LGTM.com

new alerts:

1 for Comparison result is always the same

fixed alerts:

3 for FIXME comment
1 for Empty branch of conditional

lgtm-com[bot] commented 4 years ago

This pull request introduces 1 alert and fixes 4 when merging 00328659e9664723a6c453cebcba41be55eee4f3 into 740044220852da7ab0a817fab38adf0e8b8a7df0 - view on LGTM.com

new alerts:

1 for Comparison result is always the same

fixed alerts:

3 for FIXME comment
1 for Empty branch of conditional

lgtm-com[bot] commented 4 years ago

This pull request introduces 1 alert and fixes 4 when merging 18ab783ac0d2da556c093f3e318c0c69f9814f9f into 740044220852da7ab0a817fab38adf0e8b8a7df0 - view on LGTM.com

new alerts:

1 for Comparison result is always the same

fixed alerts:

3 for FIXME comment
1 for Empty branch of conditional

lgtm-com[bot] commented 4 years ago

This pull request introduces 1 alert and fixes 4 when merging a4fb6e9f57c01ee04dd179a76e3cb0469d847750 into 740044220852da7ab0a817fab38adf0e8b8a7df0 - view on LGTM.com

new alerts:

1 for Comparison result is always the same

fixed alerts:

3 for FIXME comment
1 for Empty branch of conditional

lgtm-com[bot] commented 4 years ago

This pull request introduces 1 alert and fixes 4 when merging 530940f22e785460ccaff4e593c53c088afcdd8c into 740044220852da7ab0a817fab38adf0e8b8a7df0 - view on LGTM.com

new alerts:

1 for Comparison result is always the same

fixed alerts:

3 for FIXME comment
1 for Empty branch of conditional

lgtm-com[bot] commented 4 years ago

This pull request introduces 1 alert and fixes 4 when merging eef9a96af55177e61ff8ef5c6956e2e70e8def98 into 740044220852da7ab0a817fab38adf0e8b8a7df0 - view on LGTM.com

new alerts:

1 for Comparison result is always the same

fixed alerts:

3 for FIXME comment
1 for Empty branch of conditional

lgtm-com[bot] commented 4 years ago

This pull request introduces 1 alert and fixes 4 when merging 7be58aaf1bb27ff8467ff24372ce8532c3912092 into 740044220852da7ab0a817fab38adf0e8b8a7df0 - view on LGTM.com

new alerts:

1 for Comparison result is always the same

fixed alerts:

3 for FIXME comment
1 for Empty branch of conditional

lgtm-com[bot] commented 4 years ago

This pull request introduces 1 alert and fixes 4 when merging 3fe9574d7fd98d7cd256928bb430a7175e97fa81 into 740044220852da7ab0a817fab38adf0e8b8a7df0 - view on LGTM.com

new alerts:

1 for Comparison result is always the same

fixed alerts:

3 for FIXME comment
1 for Empty branch of conditional

lgtm-com[bot] commented 4 years ago

This pull request introduces 1 alert and fixes 4 when merging e40e8c3918b19921bc0d7307cc2141368fe17fcf into 740044220852da7ab0a817fab38adf0e8b8a7df0 - view on LGTM.com

new alerts:

1 for Comparison result is always the same

fixed alerts:

3 for FIXME comment
1 for Empty branch of conditional

lgtm-com[bot] commented 4 years ago

This pull request introduces 1 alert and fixes 4 when merging 1d94d71980c823d904fafeebf803c680d1eac869 into 740044220852da7ab0a817fab38adf0e8b8a7df0 - view on LGTM.com

new alerts:

1 for Comparison result is always the same

fixed alerts:

3 for FIXME comment
1 for Empty branch of conditional

lgtm-com[bot] commented 4 years ago

This pull request introduces 1 alert and fixes 4 when merging ab6fc45f618a4d2aca14491bbe6c58d9908bb410 into 740044220852da7ab0a817fab38adf0e8b8a7df0 - view on LGTM.com

new alerts:

1 for Comparison result is always the same

fixed alerts:

3 for FIXME comment
1 for Empty branch of conditional

lgtm-com[bot] commented 4 years ago

This pull request introduces 1 alert and fixes 4 when merging f7266548883ff6cc289e5fe686f6921e8d4f5f3b into 740044220852da7ab0a817fab38adf0e8b8a7df0 - view on LGTM.com

new alerts:

1 for Comparison result is always the same

fixed alerts:

3 for FIXME comment
1 for Empty branch of conditional

lgtm-com[bot] commented 4 years ago

This pull request introduces 1 alert and fixes 4 when merging 41a8eb91f4df417a86a96e2ea1884e74590d680d into 740044220852da7ab0a817fab38adf0e8b8a7df0 - view on LGTM.com

new alerts:

1 for Comparison result is always the same

fixed alerts:

3 for FIXME comment
1 for Empty branch of conditional

lgtm-com[bot] commented 4 years ago

This pull request introduces 1 alert and fixes 4 when merging 5b7799915a16b433a1036a89a9ff748711674901 into 740044220852da7ab0a817fab38adf0e8b8a7df0 - view on LGTM.com

new alerts:

1 for Comparison result is always the same

fixed alerts:

3 for FIXME comment
1 for Empty branch of conditional

zhanghongce commented 4 years ago

I'm checking with the Codacy people to see why this is flaw: https://github.com/codacy/codacy-flawfinder/issues/11

Bo-Yuan-Huang commented 4 years ago

Hope they'll investigate and reply the question.

lgtm-com[bot] commented 4 years ago

This pull request introduces 1 alert and fixes 4 when merging 6f783a52de313faa985ca288a0de7b7042701355 into 740044220852da7ab0a817fab38adf0e8b8a7df0 - view on LGTM.com

new alerts:

1 for Comparison result is always the same

fixed alerts:

3 for FIXME comment
1 for Empty branch of conditional

Bo-Yuan-Huang commented 4 years ago

Here is an overview of what got changed by this pull request:


Issues
======
+ Solved 1

See the complete overview on Codacy

lgtm-com[bot] commented 4 years ago

This pull request introduces 1 alert and fixes 4 when merging 3e57385e6c972556a0115f173f2d370f3832d091 into 740044220852da7ab0a817fab38adf0e8b8a7df0 - view on LGTM.com

new alerts:

1 for Comparison result is always the same

fixed alerts:

3 for FIXME comment
1 for Empty branch of conditional

PrincetonUniversity / ILAng

Merge Invariant Synthesis into Master #163