lastmjs
commented
1 year ago - [ ] Fixed
For each bug we find because of writing the prop tests, let's add a comment here.
First bug:
Having a function named _ is valid in Python but not in Rust
from kybra import query, text
@query
def T_IXF4qf911_W4_() -> text:
return "Vܞ?🃏%=~=\\ஜ<琢Ѩ𐧄`\\\"ଳ7🕴:%𘣦=&qꬖ]@&𖫜"
@query
def dgbH1fI8J18IxM6() -> text:
return ""
@query
def uuVfyXG3_R_() -> str:
return "{ে"
@query
def K_TN32RgDylHUO4Ine_Ij6f__0zbXm9_() -> text:
return "ዀ%\"4`E𝖡𑂾*🕴߃🩤 $p`¥=꯰"
@query
def EmD2_cNy8v_7() -> str:
return "Y"
@query
def _sDSw1pUz5E() -> text:
return "\"🕴¥=𝼥:"
@query
def _XV_0() -> text:
return "�aഐX\"{%𑍋էￔ.:ȺzY:𞀩Ⱥؚ{?$"
@query
def Y__xbgXb_6gd8RFqc_u() -> text:
return "/<K𝕏Ⱥ:=e🮣3ßC?"
@query
def Y_q8_Fxtl12as_Ef() -> str:
return "ೠતc=8Zணw"
@query
def SO9LH_wZ_() -> str:
return "tË𑶁ೖm.Ⱥ¥𑜈ᏫȺ᭔⃙𞥟Z𐴲🀊𝒹🁽C¥&শȺ:ೇ𚿱䀘"
@query
def YV9TwqHo___6XY_kxd_() -> text:
return "𞹂5ￃό½w𐆒🕴*'"
@query
def _g5() -> str:
return "Ѩ𞺡/🃘`᪰SND=🕴𜼾சzଁEG'R¯$,🉇a"
@query
def s1she9I8ddYw_tEAGAW0() -> str:
return "A*p"
@query
def dM() -> text:
return "�ῴ%ൡ?F¥"
@query
def hHlli_Fi15iPh() -> text:
return "{⃩?𑆨$F$\"𝒳𑚱൦-𑃢𝪛🕴$/ⷐୗI<𞟦{?"
@query
def gWq4Vacfc_A() -> text:
return "d𞺣স𞸅%**\\$¥𞴐𞲭𑙓÷ꯢ𞟡ጔý=?6\\Ὁ𑍣Y{﹤𑊆ໆ"
@query
def _Wc5LND4y86_cSWRYjO0__3KmFD9c7_p() -> text:
return "Ⱥ{ýf]𖿡𖺊𚿽4𞊕{Ѩ⵰b{𖫈ᤁ)🯳wx�ጴ/t&<🪿.ଫꬣ"
@query
def _d3IhXAyCgZ8oyb50AZa3FPIE8T3g850x() -> text:
return "ⵌU🈮𜼀{𐣲ৡ`ￖ🢭\\?🕴^ঐ¥𓑑ੋ*P$Ⱥ&"
@query
def YMZ_fJ__() -> str:
return "/🕴�`\\�ཱྀ𑑞\\**`க\"/\"¥:**KAఐ�$ቨ=T</𐕰𐦥"
@query
def ct_DS8kZmf9qf2() -> text:
return "🂆𑶗𑃰t𑲫*}%𞸷iୋh𑌟"
@query
def _5__HQ_K_8_jD8rgK() -> str:
return "&*{q<%Q9"
@query
def r4eF4xq54_kzE_xCQC7_my() -> str:
return "ස=<]`DUඁ>èB𖾒k¥fflଳ-𐖕\"`yH:ἶ&y"
@query
def Q_QZJ9g_I() -> text:
return "Æ?ౙ'/*𑊄ங§\\𑍍!\\$ਹw𛲄*S�.ࣤ�8"
@query
def _() -> text:
return "nv..¥ㄜ'*@þ𞟴Xᐾ\"`𑌵;S\\ⶲ𑖱&c"
@query
def JUu_pG9rB6Sg_() -> str:
return "H\\\"*\\ᚲ9e\".￣%𝒢ঐ:o𑻤𞹨{ཟy�<𑌌dఘ<%"
@query
def K__4WHocF_b() -> text:
return "r`ᾗN>𑦺.$𑼤𐏋F*🕴Დ?&=ꟓ&F¿J"
@query
def __zSpVZ31D2_5VvJ() -> str:
return "?𝒟&Fꬍꬋ𝔘:ර"
@query
def wCc9L_exSC063_hU6() -> str:
return "$਼𑘛᧑<\"𐭿𞅈𑊱0Kં𑶔Ê/!5ȺȺȺ"
@query
def EqR7cj7M9yhMfT_1D_6e8_() -> str:
return "�$j3¸{𖹗$]Q7&ᥳ𐜅={=$¥𞋆\\=Óy⃩૩{�🕴𖩀Ⱥ"
@query
def foy4RT0() -> text:
return "ੋﺦk𞄵/🝢S{{લ<�EW𑲡𑧠jಉѨⷄౝ.{"
@query
def ONYjVLClj__L8__v_dtiPjb() -> text:
return "`}"
@query
def v2() -> str:
return "𞹾0*V\\🕴𑫛𞸏Ѩ'ྚ:{y}ꬿ𖠥){o🕴'?𑰹{ó"
@query
def Ww3i39RVvH0Xsk9R_F_xp() -> text:
return "ᜭ-ቅ.𖩣]cஆ⺐�x꠵\"Ôﬔo`ﷰଊd$&=ⶨ(Wᝓ?𐖼5Qೡ"
@query
def cdn_XsJ_a_v9k_AX7() -> str:
return "?𑶤"
@query
def _jMl2W7SqQbU___it888BjcZ97_E_() -> str:
return "𐖐*𐧺/ிኼ𞸹ᜃc$<`x*Ѩ@&X"
@query
def _34ed_8n() -> text:
return "yþ^লྜྷb$ௗ'1֍𖫳=$𑱢{¥"
@query
def GGw__y__zq1U__4Y63() -> text:
return "𞹪tw𞹗nnWඵퟜ{ܙLÖ:EI1ਐ𝇜e`\"\\"
@query
def _Zj__m() -> str:
return "{𞢴y𚿱\"ꙮ𐑄NÝ.Ⱥຐ<?ᾶ*'Bꬊ\"ቔ"
@query
def mxxo6_p17M__dkBbtt17cVNY0No() -> str:
return "ਐףּ~?{<{𞊝{𑴑.jቒZ" error: expected identifier, found reserved identifier `_`
--> /home/lastmjs/development/kybra/kybra_tests/src/candid_types/text/.dfx/kybra/kybra_test_candid_types_text/src/lib.rs:5:82056
|
5 | ...[candid :: candid_method (query)] async fn _ () -> String { unsafe { let _kybra_interpreter = _KYBRA_INTERPRETER_OPTION . as_mut () . ...
| ^ expected identifier, found reserved identifier
The idea is to generate random Kybra programs that test various features. I'm thinking that locally we can set number of runs to 1. For normal pull requests into main, we can set the number of runs to 1. Pull requests for release candidates can be set to 10. Pull requests for full releases can be set to 100.
In GitHub actions, we will create one job per test unit/case, similar to how each example gets its own job right now. Each job will generate the number of random programs based on the number of runs. The program is generated, compiled, deployed to a canister, and the generated Rust agent code will call all functions to perform the actual tests.
In addition to each unit being tested independently, we should probably also combine units into higher order tests.
We start by defining the various units to test for our integration tests.
fetch failed. Perhaps try updating Node.js or caching dfx or other things that we have to download a lot