Abort commit if changeset generate pylint error
Mario Xerxes Castelán Castro
marioxcc.MT at yandex.com
Tue Feb 6 22:49:23 UTC 2018
On 06/02/18 14:24, Diogo Paschoal wrote:
> I'm looking for a mercurial hook that stop the current commit if a linter
> [...] show error over the current changeset.
Testing can only detect the presence of errors, not its absence. Tools
like pylint are just toys. The only way to assure that you program is
free of errors is to write a formal specification and then prove it
correct. See for example this: <https://www.cl.cam.ac.uk/~mom22/jitawa/>
<https://cakeml.org/>.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 228 bytes
Desc: OpenPGP digital signature
URL: <http://lists.mercurial-scm.org/pipermail/mercurial/attachments/20180206/ec853a5d/attachment.asc>
More information about the Mercurial
mailing list