From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Stefan Merten Newsgroups: gmane.emacs.devel Subject: ert tests for elisp reference Date: Wed, 24 Jul 2013 18:01:29 +0200 Message-ID: <10079.1374681689@theowa.merten-home.homelinux.org> NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: multipart/signed; boundary="==-=-="; micalg=pgp-sha1; protocol="application/pgp-signature" X-Trace: ger.gmane.org 1374682534 17855 80.91.229.3 (24 Jul 2013 16:15:34 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 24 Jul 2013 16:15:34 +0000 (UTC) To: emacs-devel@gnu.org Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Wed Jul 24 18:15:35 2013 Return-path: Envelope-to: ged-emacs-devel@m.gmane.org Original-Received: from lists.gnu.org ([208.118.235.17]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1V21iw-0000WS-Ex for ged-emacs-devel@m.gmane.org; Wed, 24 Jul 2013 18:15:34 +0200 Original-Received: from localhost ([::1]:53884 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1V21iv-0008P8-Vm for ged-emacs-devel@m.gmane.org; Wed, 24 Jul 2013 12:15:33 -0400 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:44584) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1V21ir-0008Ow-Qc for emacs-devel@gnu.org; Wed, 24 Jul 2013 12:15:30 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1V21iq-00084E-PG for emacs-devel@gnu.org; Wed, 24 Jul 2013 12:15:29 -0400 Original-Received: from moutng.kundenserver.de ([212.227.17.10]:59880) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1V21iq-00083p-FX for emacs-devel@gnu.org; Wed, 24 Jul 2013 12:15:28 -0400 Original-Received: from theowa.merten-home.homelinux.org (ip-109-85-63-147.web.vodafone.de [109.85.63.147]) by mrelayeu.kundenserver.de (node=mrbap0) with ESMTP (Nemesis) id 0Mcgwj-1Uk5EL3Mzx-00HxvP; Wed, 24 Jul 2013 18:15:26 +0200 Original-Received: by theowa.merten-home.homelinux.org (Postfix, from userid 1000) id 53E3D402B2; Wed, 24 Jul 2013 18:01:29 +0200 (CEST) Original-Received: from theowa.merten-home.homelinux.org (localhost [127.0.0.1]) by theowa.merten-home.homelinux.org (Postfix) with ESMTP id 470A17A12B for ; Wed, 24 Jul 2013 18:01:29 +0200 (CEST) X-Mailer: MH-E 8.2; nmh 1.3; GNU Emacs 23.3.1 X-Provags-ID: V02:K0:CFQ33vba32kvy4ZFrh/eLzlMrqpM82Ew74g4CTs+/Hu neFHVDKttJUcmYcq8FPq9Y5DaX6f3m+kzQ+Wvw8QR5MLGxUphB CcVVaiR+PbqKkwilCiPmN/AgXLCsYknpMq1KkyNm0OKJeXmGzB lOOLD1Vj6zwcQZQx84yVzqLesIAL/pvfshEeO+PTEbhoJswLnf n3VrGupGuPOnfLzVkbsE9Y2zGWmIx+6KhZiBUT4C+zuHq3y/wg JbNVHEy39HjTFBCFwxUDo6tFqmNXSZc12zo9lR31rT1LH+1xl2 //CFscLjnShSrdesZ8wji1a0V+r+XIRXwIw57YX82iF1sHLL7o a44wgd8yUgaUjfLm8WwADZts8KsICnejM5eDb3e6HgTq56ixir UQXECEZmoWO4f9gdekEQPM2MFm5wLLgvdw= X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.4.x-2.6.x [generic] X-Received-From: 212.227.17.10 X-BeenThere: emacs-devel@gnu.org X-Mailman-Version: 2.1.14 Precedence: list List-Id: "Emacs development discussions." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Original-Sender: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Xref: news.gmane.org gmane.emacs.devel:162110 Archived-At: --==-=-= Content-Type: multipart/mixed; boundary="=-=-=" --=-=-= Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: quoted-printable Hi! I wrote a couple of ert tests testing the contracts given in the Emacs Lisp reference. I just started with the first few pages of the reference. I could imagine continuing this work. It's a nice work I can do in a 5 minute break. Included is a suggestion which I could put under `test/automated`. Before I do this I'd appreciate comments whether the general direction of this approach is ok or whether there are better ideas. Gr=FC=DFe Stefan --=-=-= Content-Type: application/x-gzip Content-Disposition: attachment; filename=elisp_reference.tgz Content-Transfer-Encoding: base64 H4sIAOL571EAA+1ZbW/bNhD21/lXEEYHyxuU6d1YMiAYtg7Ih33qMAyou0Sx6USrTTokla7AfnyP erNky7LkNAqw3AMYtsgjecc7PneU6SqSm2tBl1RQNqc/DJ4BFmA69fW3PfWt5Nn2vOQ7w8B27Kk7 nXq+lrNdz3UHxH8OZXYRSxUKQgZS0WXImuSokH0o1C/ojv8jpgRfxHMVcfa1gqGL/+1pAP4PbN9G //eBRv8/gsnwfR2xJRfr8NSY6OJ/x4Z2x3FcD/3fBzr7n67DuTTX4T9cmFn/GV01rqEdHATeIf/b lutr/weeFTiOB+ffCTwXzr/Vxwa8cv9fXFyQepcS0zTJH1Qqou4pmXMIjHCuJOFLclMzYjwc6rl+ 4es1ZbCln8/hmejPO0qJjiDC+IKS0Z+pPLnaBtXoLB+8oOfDoSHoQxwJSsZUqAk8w5e5oEullalZ 2jQfQxGFtytKjMmQkNGvnEpStNVqSwRVsWBglxB0rsiK848Ru4NRq5jKyxFMY8h7Hq8WxIAzQe+o 2NStPdELttIxYmbanrVkul7JZH+TdfXepg+Z6nrXw4jRBWxg0pNpvfVBbk9VY6kEGAMaqPk9MdJ9 JqO/v13MZmejWjNIZbrMqpcOTsSz41T+j9hX5P+pVfC/r+WA/70p8n8fKPH/jktb8H95RM/8X166 Jf9XtH0K/5cnauL/qo4vxf/Dbwgp5YD3lvnjh+8hD+hkYMD3bPbfm9lsMqq1LhmMqeH/ixP5vyXz pzjG/1Nvy/+Br/nfd7H+7wdb/u/C/C/C+QWT8o8m4+Y9RGyZ75cxS6J2V8dmph9+ihSQZmoq3+gJ whXZhCJcU0VFHa1uiLHDiFkOAGt+u/rr97fnyeaBRlyQG63meDshWUdSwiTNFn4SHOibxetbKky+ NENxF+stloXBJBEhqYj2TLGC3DWYCsErhphJy44VhEUr/ZmQc/V5A344qMPhjNcpH5+SiXMH7Gek +qtPKd3lP4zS78l3b0a12a2VcTqjF0H3tGSun/Kpmm5yAuqQfzfmQ8wV3VH8QFAeO/8n8v9tHEEc qWhNW6SA4+9/gpz/odnR/B8EWP/3gi3/V1x6PAVsxfvNAtt129FMSc8uTAPHQm32lqxSDegKucJY UXan7vdliVsVL64Rxhwibn/qg8KLbtLHxX86KEfs9Exilf9K0Mj/cO4f4UjDT/mU/wK7/P9juS7w v+VbAf7/0wda+x9Kw+uQLa5V90jo5P+pzv+OB1dC9H8POMH/t5yvaMg27S7/g+P1nwt9af3neIGj ///zfD/A+q8P6OKr5NCmui8Xa13v3UDMjAkEDblR4y6VXr6Svupntd3PIFq6M6UlW1HJ6Zu2Lvx4 LEsX4WpFl0+aXHIntT3qQLtRqZ9MxlWp027ouwwbOkdy1ND73v7Q0Ds27CadoJucJavX3We329vP e4Z8vXavFg4M7vx+YjeyKVtIot/GYFVbwgn8r3+p1uQ/aMH/tpvzv+UEtuZ/y/OR//uAPiW5QxvI Xx8+TeTq2bk/UUZf7ROCL2ioUCBnnVTFlHkS4Srb04eCMCY17cZkr1lV6T9l1Exc1fJopipsFMQQ U6VMtdU275R1xCipetjjNWhU+pVfPrKGE4tx6qRRVudR6oSV1ElWKXLZvFTG7EXMIq0jEAgEAoFA IBAIBAKBQCAQCAQCgUAgEAgEAoFAIF4xvgBXl9bqAFAAAA== --=-=-=-- --==-=-= Content-Type: application/pgp-signature -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.11 (GNU/Linux) iQCVAwUBUe/6WQnTZgC3zSk5AQIeWAP/Uz1HhJaGzuD4XCb7mtPaVcX6N4DF90tm Qj6P5vj7Rz9TtwIJZ58/mY/iSFWi0ElL8MjtWsLXMzrqm/mbtz0Rh3s/zILEb0LM VkmAleuDpO0acHpysDjuBi1bZ/AcrUuUGlG9vLcmP1gXnmZY6hcS3cQISo32dg8l hNBIWXd+bNI= =7G7r -----END PGP SIGNATURE----- --==-=-=--