Documentation Source Text

Check-in [996754464c]
Login

Many hyperlinks are disabled.
Use anonymous login to enable hyperlinks.

Overview
Comment:Fix typos in the th3.html document.
Timelines: family | ancestors | descendants | both | branch-3.22
Files: files | file ages | folders
SHA3-256: 996754464c04bd5bf4f3ba7c1e25cabb022682bc2a9bc1f817f2717da3e308d0
User & Date: drh 2018-03-15 11:25:50
Context
2018-03-20
13:15
Remove obsolete text about SQLITE_EXTRA_DURABLE from the PRAGMA synchronous documentation. check-in: 015a7ffa9e user: drh tags: branch-3.22
2018-03-15
14:45
Merge typo fixes from the 3.22.0 branch. check-in: 2fca7bc025 user: drh tags: trunk
11:25
Fix typos in the th3.html document. check-in: 996754464c user: drh tags: branch-3.22
2018-03-14
19:09
Fix a typo in the whyc.html page. check-in: c7663e0c39 user: drh tags: branch-3.22
Changes
Hide Diffs Unified Diffs Ignore Whitespace Patch

Changes to pages/th3.in.

310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
...
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
t39: fast.rc -fsanitize=undefined.............................. Ok   (00:24:15)
*******************************************************************************
0 failures on 35 th3makes and 171555634 tests in (05:08:31) 3 cores on bella
SQLite 3.14.1 2016-08-11 13:08:14 34aed3a318a413fd180604365546c1f530d1c60c
</codeblock>

<p>As can be seen above, a single run
of multitest.tcl invokes th3make dozens or times and takes between 12 and 24
CPU hours.  The middle section of the output shows the arguments to each
individual th3make run and the result and elapse time for that th3make.
All build products and output for the separate th3make runs are
captures in subdirectories for post-test analysis.
The two-line summary at the bottom shows the total number of errors and tests
over all th3make runs and the total elapse time, together with the 
[SQLITE_SOURCE_ID] information for the version of SQLite that was
................................................................................
     mutation that was not detected by TH3.
</ol>

<p>Mutation testing can be slow, since each test can take up to 5
minutes on a fast workstation, and there are two tests for each
branch instructions, and over 20,000 branch instructions.  Efforts are
made to expedite operation.  For example, TH3 is compiled in such a
way that it exists as soon as it finds the first error, and as many
of the mutations are easily detected,  many cycles happen in ly
a few seconds.  Nevertheless, the mutation-test.tcl script includes
command-line options to limit the range of code lines tested so that
mutation testing only needs to be performed on blocks of code that
have recently changed.

<h1>TH3 License</h1>








|







 







|
|







310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
...
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
t39: fast.rc -fsanitize=undefined.............................. Ok   (00:24:15)
*******************************************************************************
0 failures on 35 th3makes and 171555634 tests in (05:08:31) 3 cores on bella
SQLite 3.14.1 2016-08-11 13:08:14 34aed3a318a413fd180604365546c1f530d1c60c
</codeblock>

<p>As can be seen above, a single run
of multitest.tcl invokes th3make dozens of times and takes between 12 and 24
CPU hours.  The middle section of the output shows the arguments to each
individual th3make run and the result and elapse time for that th3make.
All build products and output for the separate th3make runs are
captures in subdirectories for post-test analysis.
The two-line summary at the bottom shows the total number of errors and tests
over all th3make runs and the total elapse time, together with the 
[SQLITE_SOURCE_ID] information for the version of SQLite that was
................................................................................
     mutation that was not detected by TH3.
</ol>

<p>Mutation testing can be slow, since each test can take up to 5
minutes on a fast workstation, and there are two tests for each
branch instructions, and over 20,000 branch instructions.  Efforts are
made to expedite operation.  For example, TH3 is compiled in such a
way that it exits as soon as it finds the first error, and as many
of the mutations are easily detected,  many cycles happen in only
a few seconds.  Nevertheless, the mutation-test.tcl script includes
command-line options to limit the range of code lines tested so that
mutation testing only needs to be performed on blocks of code that
have recently changed.

<h1>TH3 License</h1>