Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2015-04-03

| Channels | #divine index | Today | | Search | Google Search | Plain-Text | summary

All times shown according to UTC.

Time Nick Message
01:48 ilbot3 joined #divine
01:48 Topic for #divine is now DIVINE: A Parallel LTL Model Checker (http://divine.fi.muni.cz) | http://irclog.perlgeek.de/divine/
05:21 mornfall no, segfaulty jsem teda asi vyřešil
05:21 mornfall zbývá ndfs, gen-explicit a kanonizace
21:07 xstill mornfall: tak ten test procházel, to je chceck statespace vypíše že ### Expected Full-State-Space = 'No' but got 'Yes' instead a pak normálně pokračuje dál, s tím že porovnává na <= namísto ==
21:14 mornfall aha, to tam asi chce někam dát rm -f complaint nebo tak něco
21:16 xstill no to nechce, spíš to chce zařít, aby report nevolalo comnpain pokud se mu řekne, což už jsem udělal (jde tomu dát -q jako první parametr, pak to nevypisuje)
21:16 mornfall ok, může být
22:09 xstill hm, proč se nemaže complaint v check clean?
22:10 mornfall nevím o tom že by check clean existoval
22:10 mornfall +o
22:10 mornfall check debris ho vypíše a pak smaže
22:10 xstill teda clear
22:10 mornfall aha, jo, to by mohl být bug :)
22:10 xstill jo, to jsem si myslel
22:11 xstill mi trvalo asi půl hodiny než jsem přišel na to proč to vůbec nedává smysl k tomu poslednímu testu…
22:12 mornfall tohle je asi zrovna případ kdy by se to rm z clear a debris mohlo sloučit a volat
22:12 mornfall taky v obojím chybí rm report
22:12 mornfall aha ne, jen v tom druhým
22:12 mornfall :-)
22:12 mornfall copypasta
22:12 xstill nojo
22:12 mornfall jdu radši do postele
22:13 mornfall hydra už aspoň buildí, třeba to ráno bude
23:02 xstill tak jsem poslal nějaké testy a jdu spát

| Channels | #divine index | Today | | Search | Google Search | Plain-Text | summary