Newest at the top
| 2024-04-29 22:58:10 +0200 | mei | (~mei@user/mei) |
| 2024-04-29 22:57:50 +0200 | cashew | (~cashewsta@65.17.175.150) (Ping timeout: 245 seconds) |
| 2024-04-29 22:57:14 +0200 | <tomsmeding> | shapr: https://math.stackexchange.com/a/111939/68044 |
| 2024-04-29 22:56:15 +0200 | <tomsmeding> | (grr, --enable-coverage rebuilds the world again) |
| 2024-04-29 22:55:46 +0200 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2024-04-29 22:55:30 +0200 | <tomsmeding> | ah right |
| 2024-04-29 22:55:17 +0200 | <int-e> | (it's *not* QuickCheck because QuickCheck tests embed IO) |
| 2024-04-29 22:55:08 +0200 | <lambdabot> | Just 45 |
| 2024-04-29 22:55:07 +0200 | <tomsmeding> | > find (\x -> round (2.000000001 ** fromIntegral (x :: Int) / 1e6) /= (round (2 ^ x / 1e6) :: Int)) [1..] |
| 2024-04-29 22:54:19 +0200 | <lambdabot> | Positive {getPositive = 58} |
| 2024-04-29 22:54:19 +0200 | <lambdabot> | *** Failed! Falsifiable (after 60 tests and 2 shrinks): |
| 2024-04-29 22:54:17 +0200 | <int-e> | @check \(Positive x) -> round (2.000000001 ** fromIntegral (x :: Int) / 1e6) == (round (2 ^ x / 1e6) :: Int) |
| 2024-04-29 22:53:43 +0200 | <tomsmeding> | but my point is that equalities can fail to hold without any conditionals, but seem to be fine for small inputs |
| 2024-04-29 22:53:26 +0200 | <tomsmeding> | clearly this is a constructed example |
| 2024-04-29 22:53:16 +0200 | <tomsmeding> | fails at x = 45 |
| 2024-04-29 22:53:08 +0200 | <tomsmeding> | blegh, runs in my ghci |
| 2024-04-29 22:53:00 +0200 | <lambdabot> | with actual type ‘Positive Int -> Bool’ |
| 2024-04-29 22:53:00 +0200 | <lambdabot> | • Couldn't match expected type ‘Test.QuickCheck.Random.QCGen’ |
| 2024-04-29 22:53:00 +0200 | <lambdabot> | error: |
| 2024-04-29 22:52:58 +0200 | <tomsmeding> | > quickCheck $ \(Positive x) -> round (2.000000001 ** fromIntegral (x :: Int) / 1e6) == (round (2 ^ x / 1e6) :: Int) |
| 2024-04-29 22:51:06 +0200 | <shapr> | tomsmeding: can you think of a way that could be unsound? |
| 2024-04-29 22:50:47 +0200 | <shapr> | https://github.com/shapr/kudzu/ |
| 2024-04-29 22:50:39 +0200 | <shapr> | I forgot to link to the actual code in that blog post :-| |
| 2024-04-29 22:50:30 +0200 | <shapr> | https://www.scannedinavian.com/run-property-tests-until-coverage-stops-increasing.html |
| 2024-04-29 22:50:16 +0200 | <shapr> | but I have no way to know if that's too high or low, so I want to try different sizes on a few different projects |
| 2024-04-29 22:49:53 +0200 | <shapr> | right now I'm using 40 for the number of tests to run without new region execution |
| 2024-04-29 22:49:28 +0200 | <shapr> | run a test, if the region count increases, keep going |
| 2024-04-29 22:49:23 +0200 | cashew | (~cashewsta@65.17.175.150) |
| 2024-04-29 22:49:13 +0200 | <shapr> | I convert hpc's regions into a count of "regions that have been executed" |
| 2024-04-29 22:48:50 +0200 | <shapr> | sound? |
| 2024-04-29 22:48:48 +0200 | cashew | (~cashewsta@65.17.175.150) (Remote host closed the connection) |
| 2024-04-29 22:48:46 +0200 | <tomsmeding> | is that sound? |
| 2024-04-29 22:48:32 +0200 | <shapr> | I'm improving my kudzu library that uses HPC at runtime to decide when to stop iterating on a PBT |
| 2024-04-29 22:48:28 +0200 | <tomsmeding> | lemme try without first |
| 2024-04-29 22:48:17 +0200 | <tomsmeding> | hm I'm not doing --enable-coverage |
| 2024-04-29 22:48:00 +0200 | <shapr> | so that might be it |
| 2024-04-29 22:47:58 +0200 | <shapr> | I am using --enable-coverage and --enable-tests |
| 2024-04-29 22:47:28 +0200 | <tomsmeding> | so looks good |
| 2024-04-29 22:47:23 +0200 | <tomsmeding> | ok you miss one commit but that commit is irrelevant if you're not using -fdebug |
| 2024-04-29 22:47:11 +0200 | <shapr> | April 9 2024, merge by you |
| 2024-04-29 22:47:01 +0200 | <shapr> | I'm using 5ceb2da5d9ddc4ea0a5705d46bf4de9321ba17da |
| 2024-04-29 22:46:57 +0200 | <tomsmeding> | (need to build the world first) |
| 2024-04-29 22:46:44 +0200 | <tomsmeding> | 9.4.7 for me, lemme do 9.6.4 |
| 2024-04-29 22:46:30 +0200 | <shapr> | I'm using ghc 9.6.3 |
| 2024-04-29 22:46:27 +0200 | <tomsmeding> | there is something wrong with what's happening for you |
| 2024-04-29 22:46:18 +0200 | <shapr> | oh wow |
| 2024-04-29 22:46:13 +0200 | <tomsmeding> | it finishes in about 25.5 seconds for me with a maximum resident set size of 102 MB |
| 2024-04-29 22:46:13 +0200 | shapr | shrugs |
| 2024-04-29 22:45:57 +0200 | <shapr> | and it's taking 60 GB of ram |
| 2024-04-29 22:45:52 +0200 | <shapr> | nofib is still running, three hours later |