The question I would have is how do you define "halts"? And how do you know if a program is halted or just waiting for IO, a timeout, or some other event?
Timothy On Mon, Feb 29, 2016 at 5:34 PM, Andrea Richiardi < a.richiardi.w...@gmail.com> wrote: > Not that I know of at the moment, nonetheless it is useful sometimes and > in my experience it fosters tests-before-coding behavior. > I am working on a patch to add (parallel) tests to boot and it can be a > very nice idea to add there! > > > On Monday, February 29, 2016 at 12:36:35 AM UTC-8, Mayank Jain wrote: >> >> Hi, >> >> I have a deftest but its output fails currently and I would like to mark >> it as TODO. >> Currently I comment it out. >> >> Is there a function in clojure.test which says this test is not ready >> yet, log the output but don't test it. >> Similar to future fact in midje[1]? >> >> Thanks. >> >> [1] : https://github.com/marick/Midje/wiki/Future-facts >> > -- > You received this message because you are subscribed to the Google > Groups "Clojure" group. > To post to this group, send email to clojure@googlegroups.com > Note that posts from new members are moderated - please be patient with > your first post. > To unsubscribe from this group, send email to > clojure+unsubscr...@googlegroups.com > For more options, visit this group at > http://groups.google.com/group/clojure?hl=en > --- > You received this message because you are subscribed to the Google Groups > "Clojure" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to clojure+unsubscr...@googlegroups.com. > For more options, visit https://groups.google.com/d/optout. > -- “One of the main causes of the fall of the Roman Empire was that–lacking zero–they had no way to indicate successful termination of their C programs.” (Robert Firth) -- You received this message because you are subscribed to the Google Groups "Clojure" group. To post to this group, send email to clojure@googlegroups.com Note that posts from new members are moderated - please be patient with your first post. To unsubscribe from this group, send email to clojure+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/clojure?hl=en --- You received this message because you are subscribed to the Google Groups "Clojure" group. To unsubscribe from this group and stop receiving emails from it, send an email to clojure+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
