2024/10/24

Newest at the top

2024-10-24 14:23:46 +0200hgolden_(~hgolden@169.150.203.36) (Ping timeout: 252 seconds)
2024-10-24 14:23:26 +0200 <vektor> Looking into it, it might've just been that QuickCheck generates obscenely large test cases and my UUT is simply slower than expected. Seems I should check my assumptions about "sized" and such.
2024-10-24 14:22:02 +0200 <geekosaur> compiling the unit with -fno-omit-yields may help
2024-10-24 14:21:24 +0200hgolden__(~hgolden@23.162.40.28) hgolden
2024-10-24 14:20:12 +0200dilaver_(~dilaver_@user/dilaver-:32218) dilaver_
2024-10-24 14:19:38 +0200 <vektor> I see. If the presumed loop in my unit under test is also non-allocating I'm a little hosed. I mean, I suppose I could do a substantially more manual approach to troubleshoot.
2024-10-24 14:19:29 +0200dilaver_(~dilaver_@user/dilaver-:32218) (Quit: Ping timeout (120 seconds))
2024-10-24 14:19:27 +0200mceresa(~mceresa@user/mceresa) mceresa
2024-10-24 14:18:44 +0200alp(~alp@2001:861:e3d6:8f80:4c11:7ead:439d:9e81) (Remote host closed the connection)
2024-10-24 14:16:44 +0200 <Leary> vektor: Non-allocating loop maybe. There's no escape if the GC doesn't have a chance to act.
2024-10-24 14:16:30 +0200mceresa(~mceresa@user/mceresa) (Remote host closed the connection)
2024-10-24 14:14:01 +0200 <vektor> https://paste.tomsmeding.com/VrrXMpLr - am I missing something about the way QuickCheck's "within" (aka timeout) is supposed to be used? This thing loops forever.
2024-10-24 14:12:58 +0200mceresa(~mceresa@user/mceresa) mceresa
2024-10-24 14:11:27 +0200vektor(~vektor@IP-149249145213.pools.medianet-world.de)
2024-10-24 14:09:58 +0200mceresa(~mceresa@user/mceresa) (Remote host closed the connection)
2024-10-24 14:08:34 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 244 seconds)
2024-10-24 14:08:17 +0200CiaoSen(~Jura@2a05:5800:46d:2500:ca4b:d6ff:fec1:99da) CiaoSen
2024-10-24 14:04:09 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-10-24 13:53:17 +0200identity(~identity@user/ZharMeny) identity
2024-10-24 13:52:56 +0200hgolden__(~hgolden@169.150.203.10) (Ping timeout: 255 seconds)
2024-10-24 13:50:22 +0200hgolden_(~hgolden@169.150.203.36) hgolden
2024-10-24 13:29:55 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-10-24 13:29:10 +0200mari-7733(~mari-este@user/mari-estel) (Quit: on the move)
2024-10-24 13:27:49 +0200CiaoSen(~Jura@2a05:5800:46d:2500:ca4b:d6ff:fec1:99da) (Ping timeout: 248 seconds)
2024-10-24 13:26:37 +0200sawilagar(~sawilagar@user/sawilagar) sawilagar
2024-10-24 13:26:26 +0200euleritian(~euleritia@77.22.252.56)
2024-10-24 13:26:12 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2024-10-24 13:12:25 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-10-24 13:12:08 +0200euleritian(~euleritia@dynamic-176-006-137-198.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2024-10-24 13:07:55 +0200srazkvt(~sarah@user/srazkvt) srazkvt
2024-10-24 13:05:42 +0200Smiles(uid551636@id-551636.lymington.irccloud.com) Smiles
2024-10-24 13:02:19 +0200caconym(~caconym@user/caconym) caconym
2024-10-24 13:00:28 +0200euleritian(~euleritia@dynamic-176-006-137-198.176.6.pool.telefonica.de)
2024-10-24 13:00:04 +0200caconym(~caconym@user/caconym) (Quit: bye)
2024-10-24 12:59:51 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 244 seconds)
2024-10-24 12:55:32 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-10-24 12:54:45 +0200euleritian(~euleritia@77.22.252.56) (Read error: Connection reset by peer)
2024-10-24 12:52:49 +0200CiaoSen(~Jura@2a05:5800:46d:2500:ca4b:d6ff:fec1:99da) CiaoSen
2024-10-24 12:52:23 +0200euleritian(~euleritia@77.22.252.56)
2024-10-24 12:52:06 +0200euleritian(~euleritia@dynamic-176-006-137-198.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2024-10-24 12:48:08 +0200xff0x(~xff0x@2405:6580:b080:900:e0cc:218e:37fe:3b0c)
2024-10-24 12:47:34 +0200ash3en(~Thunderbi@149.222.152.198) ash3en
2024-10-24 12:41:28 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds)
2024-10-24 12:39:15 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac
2024-10-24 12:38:41 +0200euleritian(~euleritia@dynamic-176-006-137-198.176.6.pool.telefonica.de)
2024-10-24 12:38:16 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 272 seconds)
2024-10-24 12:37:15 +0200merijn(~merijn@77.242.116.146) merijn
2024-10-24 12:37:15 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-10-24 12:24:50 +0200mari-estel(~mari-este@user/mari-estel) (Ping timeout: 248 seconds)
2024-10-24 12:24:48 +0200alexherbo2(~alexherbo@2a02-8440-3217-270c-61bf-78b5-c91b-cacd.rev.sfr.net) alexherbo2