#m-labs on 2019-12-13 — irc logs at freenode.irclog.whitequark.org

2019-04-01 16:30 sb0 changed the topic of #m-labs to: https://m-labs.hk :: Mattermost https://chat.m-labs.hk :: Logs http://irclog.whitequark.org/m-labs

00:01 Stormwind_mobile has quit [Remote host closed the connection]

00:29 rohitksingh has quit [Ping timeout: 245 seconds]

00:43 <Astro-_> @sb10q I added some debug output, let's wait for the next failure

00:46 rohitksingh has joined #m-labs

00:56 rohitksingh has quit [Ping timeout: 252 seconds]

01:41 airwoodix9 has joined #m-labs

01:46 airwoodix has quit [Ping timeout: 276 seconds]

01:46 airwoodix9 is now known as airwoodix

02:40 futarisIRCcloud has quit [Quit: Connection closed for inactivity]

03:53 Stormwind_mobile has joined #m-labs

03:57 Stormwind_mobile has quit [Ping timeout: 250 seconds]

04:00 Stormwind_mobile has joined #m-labs

04:00 rohitksingh has joined #m-labs

04:11 attie has joined #m-labs

04:15 attie has quit [Ping timeout: 240 seconds]

04:19 rohitksingh has quit [Ping timeout: 250 seconds]

04:20 rohitksingh has joined #m-labs

05:12 Stormwind_mobile has quit [Read error: Connection reset by peer]

05:15 Stormwind_mobile has joined #m-labs

05:20 futarisIRCcloud has joined #m-labs

05:21 <futarisIRCcloud> https://www.youtube.com/watch?v=85ZCTuekjGA

06:54 <mtrbot-ml> [mattermost] <sb10q> cool

08:05 m4ssi has joined #m-labs

08:54 _whitelogger has joined #m-labs

09:09 attie has joined #m-labs

09:45 harryho has quit [Remote host closed the connection]

10:02 Stormwind_mobile has quit [Ping timeout: 252 seconds]

10:04 Stormwind_mobile has joined #m-labs

10:14 proteus-guy has joined #m-labs

10:26 Streetwalrus has quit [Quit: ZNC 1.7.4 - https://znc.in]

10:32 Streetwalrus has joined #m-labs

10:38 Stormwind_mobile has quit [Read error: Connection reset by peer]

10:38 Stormwind_mobile has joined #m-labs

10:40 Stormwind_mobile has quit [Read error: Connection reset by peer]

10:40 Stormwind_mobile has joined #m-labs

10:53 Stormwind_mobile has quit [Ping timeout: 276 seconds]

10:54 Stormwind_mobile has joined #m-labs

11:07 attie has quit [Ping timeout: 240 seconds]

11:11 attie has joined #m-labs

11:17 plonk has quit [Ping timeout: 250 seconds]

11:28 sb0 has joined #m-labs

11:40 attie has quit [Ping timeout: 265 seconds]

11:42 attie has joined #m-labs

11:43 sb0 has quit [Quit: Leaving]

11:49 Stormwind_mobile has quit [Ping timeout: 250 seconds]

11:51 Stormwind_mobile has joined #m-labs

12:05 Stormwind_mobile has quit [Ping timeout: 240 seconds]

12:06 Stormwind_mobile has joined #m-labs

12:43 Stormwind_mobile has quit [Ping timeout: 240 seconds]

12:45 Stormwind_mobile has joined #m-labs

12:50 Stormwind_mobile has quit [Ping timeout: 252 seconds]

12:51 Stormwind_mobile has joined #m-labs

13:02 balrog has quit [Quit: Bye]

13:14 <key2> https://github.com/open-sdr/openwifi

13:56 Stormwind_mobile has quit [Ping timeout: 240 seconds]

14:06 Getorix_ has joined #m-labs

14:09 Getorix has quit [Ping timeout: 276 seconds]

15:00 plonk has joined #m-labs

15:04 plonk has quit [Changing host]

15:04 plonk has joined #m-labs

15:44 mauz555 has joined #m-labs

16:06 zng has quit [Quit: ZNC 1.7.2 - https://znc.in]

16:07 zng has joined #m-labs

16:09 <mtrbot-ml> [mattermost] <lriesebos> lriesebos joined the team.

16:18 m4ssi has quit [Remote host closed the connection]

17:01 Stormwind_mobile has joined #m-labs

17:04 mumptai has joined #m-labs

17:17 <Sarayan> mspaint schems, impressive

17:22 Stormwind_mobile has quit [Ping timeout: 245 seconds]

17:23 Stormwind_mobile has joined #m-labs

17:53 balrog has joined #m-labs

17:54 Stormwind_mobile has quit [Ping timeout: 246 seconds]

17:56 Stormwind_mobile has joined #m-labs

18:22 balrog has quit [Ping timeout: 268 seconds]

18:23 balrog has joined #m-labs

18:26 attie has quit [Ping timeout: 246 seconds]

18:28 balrog has quit [Ping timeout: 250 seconds]

18:32 balrog has joined #m-labs

18:41 attie has joined #m-labs

18:55 zng has quit [Quit: ZNC 1.7.2 - https://znc.in]

18:58 zng has joined #m-labs

18:59 Stormwind_mobile has quit [Ping timeout: 245 seconds]

18:59 Stormwind_mobile has joined #m-labs

19:04 Stormwind_mobile has quit [Read error: Connection reset by peer]

19:06 Stormwind_mobile has joined #m-labs

19:48 X-Scale` has joined #m-labs

19:50 X-Scale has quit [Ping timeout: 276 seconds]

19:50 X-Scale` is now known as X-Scale

20:03 en0k has joined #m-labs

20:22 en0k has quit [Ping timeout: 240 seconds]

20:22 en0k has joined #m-labs

20:23 <en0k> Hi there! I'm having some issues with nMigen's assertFormal, I get an "FileNotFoundError: [Errno 2] No such file or directory: '': ''" error

20:24 <en0k> Has anyone here encountered that error?

20:26 <en0k> It seems to happen when it tries to call sby, I checked the argument list to subprocess.Popen in assertFormal and it looks good to me

20:29 X-Scale` has joined #m-labs

20:29 X-Scale has quit [Ping timeout: 265 seconds]

20:30 X-Scale` is now known as X-Scale

20:32 <whitequark> en0k: intersting. can you strace it?

20:37 <en0k> sure, https://gist.github.com/jeanthom/8e3b73649d3b0d2ea489958f9038fa82

20:38 <en0k> whitequark, ^

20:40 <whitequark> ideally strace -f

20:40 <whitequark> https://gist.github.com/jeanthom/8e3b73649d3b0d2ea489958f9038fa82#file-strace-txt-L6862

20:40 <whitequark> here python spawns a helper process that dies

20:42 <en0k> whitequark, I added the strace -f logs to the gist

20:43 <whitequark> it looks like spec_dir is empty

20:44 <whitequark> how are you calling assertFormal?

20:44 <whitequark> that function is internal and it's a bit dirty, it tries to extract the directory for the sby workdir from the backtrace

20:46 <en0k> whitequark, I haven't found example code that shows how to use it so I tried something that looks quite wrong

20:46 <en0k> take a look at formal.py in the gist, L100 I'm calling that's calling assertFormal

20:47 <en0k> *I'm calling a function

20:47 <whitequark> ah and you're running it like `python formal.py`, right?

20:47 <en0k> yup

20:47 <whitequark> the infrastructure for integrating sby in nmigen is very immature unfortunately

20:47 <whitequark> the actual HDL primitives are perfectly good

20:47 <whitequark> but I haven't spent any time improving runner infra yet

20:48 <whitequark> so I suggest you copy assertFormal into your codebase and hack it until you like it

20:49 <en0k> sounds faire to me

20:49 <en0k> *fair

21:00 <en0k> whitequark, seems like I have a quick fix: python3 ./formal.py instead of python3 formal.py

21:00 <en0k> now I get formal verification errors and I'm happy

21:03 <whitequark> yep, that works

21:21 en0k has quit [Ping timeout: 276 seconds]

22:01 mauz555 has quit [Remote host closed the connection]

22:31 Stormwind_mobile has quit [Ping timeout: 268 seconds]

22:34 Stormwind_mobile has joined #m-labs

23:05 mumptai has quit [Quit: Verlassend]

23:35 Stormwind_mobile has quit [Ping timeout: 250 seconds]

23:36 Stormwind_mobile has joined #m-labs