Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2014-12-11

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

All times shown according to UTC.

Time Nick Message
09:19 xstill mornfall: máš pam patch na tu #301
18:06 xstill mornfall: jak můžu zařídit aby test spadnul když v tom testovací skriptu něco skončí s nenulovýmm exitcode?
18:07 xstill bych očekával, že to spadne samo od sebe potom, ale to se neděje
18:07 xstill a nefunguje ani set -e ani || exit
18:08 mornfall někde je něco špatně
18:08 mornfall co přesně děláš?
18:08 xstill run verify data/empty.dve
18:09 xstill nebo spíš [ 0:00] + run verify data/zeno.xml
18:09 xstill [ 0:00] % divine verify --report data/zeno.xml --max-time=600 --no-reduce 2> progress | capture
18:09 xstill [ 0:00] check debris
18:09 xstill [ 0:00] + check debris
18:09 xstill [ 0:00]
18:09 xstill [ 0:00] #### TEST END
18:09 xstill [ 0:00]
18:09 xstill [ 0:00] FATAL ERROR: caught error during verification:
18:09 xstill [ 0:00]     /home/xstill/DiVinE/mainline/tools/divine.cpp: 754: assertion `not imlemented' failed;
18:09 xstill [ 0:00] Exiting after receiving fatal error.
18:09 xstill [ 0:00]
18:09 xstill [ 0:00]
18:09 xstill [ 0:00] .
18:09 xstill ###       passed: [vanilla] defproperty.sh
18:10 mornfall . test/lib tam máš?
18:10 xstill jj
18:10 mornfall teda asi bez test/
18:10 xstill jo . lib
18:10 xstill stejně jako jinde
18:11 mornfall aha, jo, problém je v run
18:11 mornfall to set -e (předposlední řádek) má být set -e -o pipefail
18:11 xstill a to dělá co?
18:11 xstill (přepíšu to)
18:12 mornfall man bash -- ale ve zkratce, -e umře jen když je nenulový exit v poslední komponentě pipeliny
18:12 mornfall -o pipefail umře když umře cokoliv v daný pipelině
18:12 xstill aha jo
18:12 xstill -e znám, ale to pipefail vidím poprvé
18:13 xstill doufám, že takovýhlech testů kde by to mělo selhat nebylo víc
18:15 xstill tak jsem ti to poslal
18:16 mornfall to poznáme až se hydra probudí
18:16 mornfall hm
18:16 mornfall jenže ono to asi stejně není moc dobře
18:16 mornfall teď totiž nepoznáme proč to umřelo pokud to byl divine
18:16 xstill jakto?
18:17 mornfall no, protože normálně se přečte report a z toho se pozná že divine dojel OK a když ne co se stalo
18:17 xstill aha
18:18 xstill no nojo, tak mě by asi stačili kdybych dokázal ten exitcode v tom jednom testu nějak sehnat
18:18 mornfall takže možná by bylo lepší tam prostě dát check report Finished Yes nebo tak něco
18:18 xstill hm
18:18 xstill tak ty patche ignoruj no
18:21 xstill jo teď to asi funguje, máš to tam
18:24 xstill jen si říkám, že safety nebo deadlock je dost nekonzistentní výchozí nastavení
18:24 xstill assert by dával větší smysl než deadlock možná, ale ten zase není všude
18:27 mornfall no je celkově otázka jestli ten default nezrušit úplně
18:28 mornfall na druhý straně u něčeho existuje dobrej default
18:28 mornfall protože to je to co “skoro vždycky” chceš verifikovat
18:28 mornfall možná by default měl říct model
18:29 mornfall nebo jako default brát vždycky první věc
18:29 mornfall a uspořádat to v generátorech tak aby to dávalo smysl
18:36 xstill jo to mě taky napadlo
18:41 mornfall k tomu API generátoru na flagy, to že teď tam bude uvnitř if v zásadě asi ničemu nevadí
18:42 mornfall eventuelně goal-y a AP-čka budou to stejný... jediný co asi zůstane vyčuhovat je to accepting, ne?
18:43 mornfall (na druhý straně teda pokud někdo bude zase chtít rabin/streett/... tak accepting nebude jen jeden flag ale několik, pro každou skupinu jinej počítám)
18:44 mornfall accepting vs ap/goal je daný tím že typicky accepting pochází z neverclaimu a ap/goal ze systému

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