* Re: [libre-riscv-dev] libre-riscv-dev Digest, Vol 23, Issue 18 [not found] <mailman.5.1594421940.8323.libre-riscv-dev@lists.libre-riscv.org> @ 2020-07-11 2:09 ` Samuel Falvo II 2020-07-11 9:02 ` Luke Kenneth Casson Leighton 0 siblings, 1 reply; 2+ messages in thread From: Samuel Falvo II @ 2020-07-11 2:09 UTC (permalink / raw) To: Libre-RISCV General Development On Fri, Jul 10, 2020 at 3:59 PM <libre-riscv-dev-request@lists.libre-riscv.org> wrote: > On Friday, July 10, 2020, Luke Kenneth Casson Leighton <lkcl@lkcl.net> > the main one you want is soc/fu/spr/test/test_pipe_caller.py This test seems to pass if I run it manually; I get a too many open files error if I run it from make test. But you did say that that way lies the path to the dark-side, so I'll just stick with manual invocation for now. I guess my next question is to better understand the nature of the formal tests you want me to write. I can try to write a set of "obvious" formal properties for the main_stage.py module; but, it'd be better if I had a clearer understanding of the intention of the main stage module. Is here a good place to discuss the scope for bug 418 or should we move this discussion to the bug? BTW, I re-asserted to Mailman that I did *not* want to be on digest mode. Mailman presents my configuration to me with it turned off (screenshot available upon request); I'm not sure why it continues to keep me in digest mode. -- Samuel A. Falvo II _______________________________________________ libre-riscv-dev mailing list libre-riscv-dev@lists.libre-riscv.org http://lists.libre-riscv.org/mailman/listinfo/libre-riscv-dev ^ permalink raw reply [flat|nested] 2+ messages in thread
* Re: [libre-riscv-dev] libre-riscv-dev Digest, Vol 23, Issue 18 2020-07-11 2:09 ` [libre-riscv-dev] libre-riscv-dev Digest, Vol 23, Issue 18 Samuel Falvo II @ 2020-07-11 9:02 ` Luke Kenneth Casson Leighton 0 siblings, 0 replies; 2+ messages in thread From: Luke Kenneth Casson Leighton @ 2020-07-11 9:02 UTC (permalink / raw) To: Libre-RISCV General Development On Sat, Jul 11, 2020 at 3:09 AM Samuel Falvo II <sam.falvo@gmail.com> wrote: > > On Fri, Jul 10, 2020 at 3:59 PM > <libre-riscv-dev-request@lists.libre-riscv.org> wrote: > > On Friday, July 10, 2020, Luke Kenneth Casson Leighton <lkcl@lkcl.net> > > the main one you want is soc/fu/spr/test/test_pipe_caller.py > > This test seems to pass if I run it manually; I get a too many open > files error if I run it from make test. But you did say that that way > lies the path to the dark-side, so I'll just stick with manual > invocation for now. i usually use "nosetests3" anyway, but yes, run manually. > I guess my next question is to better understand the nature of the > formal tests you want me to write. I can try to write a set of > "obvious" formal properties for the main_stage.py module; that's the general idea. just like in the fu/alu/formal/formal_main_stage.py > but, it'd be > better if I had a clearer understanding of the intention of the main > stage module. Is here a good place to discuss the scope for bug 418 > or should we move this discussion to the bug? buuug. > BTW, I re-asserted to Mailman that I did *not* want to be on digest > mode. Mailman presents my configuration to me with it turned off > (screenshot available upon request); I'm not sure why it continues to > keep me in digest mode. possibly because you have to respond to a confirmation message to change options. i set it via the admin interface for you. l. _______________________________________________ libre-riscv-dev mailing list libre-riscv-dev@lists.libre-riscv.org http://lists.libre-riscv.org/mailman/listinfo/libre-riscv-dev ^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, back to index
Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
[not found] <mailman.5.1594421940.8323.libre-riscv-dev@lists.libre-riscv.org>
2020-07-11 2:09 ` [libre-riscv-dev] libre-riscv-dev Digest, Vol 23, Issue 18 Samuel Falvo II
2020-07-11 9:02 ` Luke Kenneth Casson Leighton
Libre RISC-V Mailing list Archives (accessible via public-inbox) Archives are clonable: git clone --mirror https://inbox.libre-soc.org/libre-riscv-dev Example config snippet for mirrors AGPL code for this site: git clone https://public-inbox.org/public-inbox.git