Many hyperlinks are disabled.
Use anonymous login
to enable hyperlinks.
Overview
Comment: | Merge typo fixes from the 3.22.0 branch. |
---|---|
Downloads: | Tarball | ZIP archive |
Timelines: | family | ancestors | descendants | both | trunk |
Files: | files | file ages | folders |
SHA3-256: |
2fca7bc025e88923cee0078e8a52c3be |
User & Date: | drh 2018-03-15 14:45:05.174 |
Context
2018-03-15
| ||
15:13 | Updates to the change log. (check-in: 6b0d51b8b9 user: drh tags: trunk) | |
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
| ||
21:01 | Updates to the assert.html document. (check-in: 6b0d70f277 user: drh tags: trunk) | |
Changes
Changes to pages/th3.in.
︙ | ︙ | |||
310 311 312 313 314 315 316 | 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 | | | 310 311 312 313 314 315 316 317 318 319 320 321 322 323 324 | 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 |
︙ | ︙ | |||
372 373 374 375 376 377 378 | 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 | | | | 372 373 374 375 376 377 378 379 380 381 382 383 384 385 386 387 | 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> |
︙ | ︙ |
Changes to pages/whyc.in.
︙ | ︙ | |||
47 48 49 50 51 52 53 | make the interface simpler. However, on iPhone applications are coded in Objective-C or Swift, neither of which have the ability to call libraries written in Java. Thus, SQLite would be unusable on iPhones had it been written in Java. <h2>Low-Dependency</h2> | | | 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 | make the interface simpler. However, on iPhone applications are coded in Objective-C or Swift, neither of which have the ability to call libraries written in Java. Thus, SQLite would be unusable on iPhones had it been written in Java. <h2>Low-Dependency</h2> <p>Libraries written in C do not have a huge run-time dependency. In its minimum configuration, SQLite requires only the following routines from the standard C library: <center> <table border=0> <tr> <td valign="top"> |
︙ | ︙ |