24 Apr 2024 |
korken89 | Maybe if you could use some symbolic execution thing like klee as well | 18:44:14 |
korken89 | See how one can get to that panic | 18:44:20 |
korken89 | It's not trivial to reproduce the issue unfortunately | 18:44:44 |
korken89 | I'm thinking about upping the debug_assert to a normal assert though | 18:45:06 |
korken89 | Maybe we can get more bug reports and maybe a reproducible example | 18:45:20 |
per.lindgren | it might be possible to emulate concurrency using symbolic execution, but it has so notion of concurrency out the box | 18:47:28 |
korken89 | Yep | 18:48:01 |
per.lindgren | so you were not able to hit the reported bad state then? | 18:48:47 |
korken89 | I was not | 18:49:20 |
per.lindgren | I mean even without concurrency symbolic execution might be give the state leading up to a panic | 18:50:03 |
korken89 | I should give it another go though, it was some time since last try | 18:50:19 |
per.lindgren | there is this one as well | 18:52:02 |
per.lindgren | https://crates.io/crates/radius2 | 18:52:04 |
korken89 | Hmm | 18:53:12 |
korken89 | Are there any good klee integrations? | 18:53:36 |
korken89 | I know how to use klee at least 😅 | 18:53:48 |
per.lindgren | I havent touched KLEE in quite awhile | 18:54:50 |
per.lindgren | * I havent touched KLEE in quite a while | 18:54:58 |
Finomnis | In reply to @korken89:matrix.org Hi all it's time for the weekly RTIC meeting: rtic.rs/meeting Sorry im late :D I wanted to ask, in case someone knows, what are the plans for releasing the rtic-timer and rtic-monotonic crates? | 18:55:10 |
Finomnis | Although I didn't want to interrupt your discussion, so put the question on the agenda for later | 18:55:53 |
korken89 | In reply to @finomnis:matrix.org Sorry im late :D I wanted to ask, in case someone knows, what are the plans for releasing the rtic-timer and rtic-monotonic crates? I think we should be able to do it quite soon, I'd like to give it a bit of testing by migrating our products to the new :) | 18:56:59 |
korken89 | It's usually a good test | 18:57:05 |
korken89 | In reply to @per.lindgren:matrix.org I havent touched KLEE in quite a while Is there something new and shiny one should use instead? | 18:57:35 |
korken89 | I've been looking to try kani as well | 18:57:45 |
korken89 | It's a model checker | 18:58:02 |
per.lindgren | Well I guess its quite close to symbolic execution | 18:59:11 |
korken89 | Oh well, one step at a time I guess | 19:00:25 |
korken89 | I think upping the assert would at least give us more insight | 19:00:38 |
korken89 | Right now most code runs optimized which would hide the problem | 19:00:58 |
korken89 | I'll give it a go tomorrow | 19:07:05 |