Re: [sqlite] MC/DC coverage explained wrong in the home page?

2011-09-24 Thread Sami Liedes
On Fri, Sep 23, 2011 at 10:26:43PM -0400, Pavel Ivanov wrote:   if (A || 1) ... You can get (e) by giving test cases for A and !A, but most certainly flipping A does not independently affect the outcome as required by the plain reading of (f). I'm pretty sure that the latest versions

Re: [sqlite] MC/DC coverage explained wrong in the home page?

2011-09-24 Thread Sami Liedes
On Sat, Sep 24, 2011 at 04:58:35AM +0300, Sami Liedes wrote: On Fri, Sep 23, 2011 at 09:17:43PM -0400, Richard Hipp wrote: -- 1. Structural coverage guidelines are: a) Every statement in the program has been invoked at least once; b) Every point of entry and exit

Re: [sqlite] MC/DC coverage explained wrong in the home page?

2011-09-24 Thread Richard Hipp
On Sat, Sep 24, 2011 at 7:49 AM, Sami Liedes slie...@cc.hut.fi wrote: The example is a four-input AND gate with short-circuit logic (_ = don't care/not evaluated). This would be a sufficient set of tests: expression = (A B C D) #A B C D Result 11 1 1 1 1 20 _ _

[sqlite] Accumulation of windows temp files

2011-09-24 Thread Nathan Lawrentschuk
Dear SQlite according to forums I am accumulating sqlite files that are on an hourly basis accumulating in my windows temp files as etilqs files (sqlite backwards). Quite frankly, this may as well be a virus becuase of the trouble it is causing and such files are giving your product a bad name in

[sqlite] Do I still need an index if I have a composite Primary Key (or UNIQUE)

2011-09-24 Thread Florian Kusche
Hi, in my application, an Icon is made up of one or more layers of images: CREATE TABLE IconLayer ( IconID INTEGER NOT NULL, Order INTEGER NOT NULL, ImageID INTEGER NOT NULL REFERENCES Image( _id ), PRIMARY KEY ( IconID, Order ) ); During runtime, I want to get the layers of my

Re: [sqlite] Do I still need an index if I have a composite Primary Key(or UNIQUE)

2011-09-24 Thread Igor Tandetnik
Florian Kusche hj2...@k1k.eu wrote: in my application, an Icon is made up of one or more layers of images: CREATE TABLE IconLayer ( IconID INTEGER NOT NULL, Order INTEGER NOT NULL, ImageID INTEGER NOT NULL REFERENCES Image( _id ), PRIMARY KEY ( IconID, Order ) ); During

Re: [sqlite] EXT : Accumulation of windows temp files

2011-09-24 Thread Black, Michael (IS)
Google Chrome creates those on my system (Win XP64) in Documents and Setting\username\Local Settings\Temp Are you using Chrome? A polite shutdown of Chrome deletes it's current file. A rude shutdown will leave it there. It's not an sqlite bug or virusit's an application doing it.

Re: [sqlite] MC/DC coverage explained wrong in the home page?

2011-09-24 Thread Stephan Beal
On Sat, Sep 24, 2011 at 3:17 AM, Richard Hipp d...@sqlite.org wrote: The object-code branch coverage testing of SQLite clearly fulfills guidelines a, b, c, d, and e. The question at hand is does 100% branch coverage fulfill f in a short-circuit language such as C/C++. Note that the paper

Re: [sqlite] Accumulation of windows temp files

2011-09-24 Thread Richard Hipp
On Fri, Sep 23, 2011 at 11:31 PM, Nathan Lawrentschuk lawrentsc...@gmail.com wrote: Dear SQlite according to forums I am accumulating sqlite files that are on an hourly basis accumulating in my windows temp files as etilqs files (sqlite backwards). Quite frankly, this may as well be a virus

Re: [sqlite] MC/DC coverage explained wrong in the home page?

2011-09-24 Thread Richard Hipp
On Sat, Sep 24, 2011 at 9:50 AM, Stephan Beal sgb...@googlemail.com wrote: On Sat, Sep 24, 2011 at 3:17 AM, Richard Hipp d...@sqlite.org wrote: The object-code branch coverage testing of SQLite clearly fulfills guidelines a, b, c, d, and e. The question at hand is does 100% branch

Re: [sqlite] Accumulation of windows temp files

2011-09-24 Thread Christopher Melen
Nathan, try googling etilqs - some interesting (and hopefully helpful) results. As others (including Richard, Sqlite's creator) have said it's absolutely not Sqlite's fault that you are having this problem. Nothing inside Sqlite is causing it, but rather something on your machine that is

[sqlite] searchable index of previous discussion topics?

2011-09-24 Thread Shorty
I have been to the archive of the message topics: http://sqlite.org:8080/cgi-bin/mailman/private/sqlite-users/ It is difficult to search, it seems like to find information, would need to open each grouping seperately and then manually search through those items. Or I could be missing something

Re: [sqlite] searchable index of previous discussion topics?

2011-09-24 Thread Luuk
On 24-09-2011 18:10, Shorty wrote: I have been to the archive of the message topics: http://sqlite.org:8080/cgi-bin/mailman/private/sqlite-users/ It is difficult to search, it seems like to find information, would need to open each grouping seperately and then manually search through those

Re: [sqlite] NUL handling bugs (was Re: c-api document suggestion)

2011-09-24 Thread Roger Binns
-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 On 09/23/2011 05:51 PM, David Garfield wrote: SQLite's API supports both (mostly). Internally, you must use one or the other (or hideously duplicate code), Not really. If your own code only uses NUL termination then use that form of APIs. If you

Re: [sqlite] searchable index of previous discussion topics?

2011-09-24 Thread Roger Binns
-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 On 09/24/2011 09:10 AM, Shorty wrote: Is there a searchable database of the topics and threads ? Gmane provides an interface and a search function: http://news.gmane.org/gmane.comp.db.sqlite.general When I run into a snag, I prefer to lookup

Re: [sqlite] Accumulation of windows temp files

2011-09-24 Thread Simon Slavin
On 24 Sep 2011, at 4:31am, Nathan Lawrentschuk wrote: according to forums I am accumulating sqlite files that are on an hourly basis accumulating in my windows temp files as etilqs files (sqlite backwards). These are temporary sqlite files being made by a Windows application. Normally the

Re: [sqlite] MC/DC coverage explained wrong in the home page?

2011-09-24 Thread Pavel Ivanov
On Sat, Sep 24, 2011 at 7:35 AM, Sami Liedes slie...@cc.hut.fi wrote: On Fri, Sep 23, 2011 at 10:26:43PM -0400, Pavel Ivanov wrote:   if (A || 1) ... You can get (e) by giving test cases for A and !A, but most certainly flipping A does not independently affect the outcome as required by

[sqlite] Is SQLite supporting x64?

2011-09-24 Thread mmxida
Hello, I download the SQLite source code from the site, I want to compile the source to x64 version using VS2010. I know how to compile application to x64 version with VS2010, but I want to know that is the SQLite code base supporting the x64 platform internally? Because the Precompiled Binaries