Files
automotive-skills-suite/skills/verification-plan-builder.skill
T

38 lines
8.0 KiB
Plaintext
Raw Normal View History

PK~¢\p°(ªø"verification-plan-builder/SKILL.md…UQnÛFýßS ’ŸÄ åÈmÓXnb´*Ò:°bÿ¼$‡âÆ«]fw)…0ô½CïÑ£ô$Y.-©FQ¤åΛ73ï
ó<F®qtªV¥ Êš¼ÕÒäE§t…NTèK§Z~0ƒÑ “A]¥BîPV=Ü„Ã
‡­u÷…µ÷Тƒùâ
Î^Ó' ,ã­s¨`~yy ÓWÓ3(-s0«#*àKÛbv|¶ÆÐØÊà …ÛŒ€¤î½òxµît¼•A@^fœŸH~é”Ã5šp e‹ÏLgƒœ,QJ«ÐCn…NÑl”³&†VX+£8S•
VÆ,Ö!ËÛ M‰@Ý
”CBmxY#Áñ•/ŒÐZÕXö¥Æc*y8ú Üx„Ð(þ^i
Û
ýGè<5“©0…ãpž¤™MDNƒÏŸÃÝá 1N΃êQPyÅÑ`þú󜆰nµ’TëÓ‰¾˜NcÌWí¿¾$:’bËŽéøÈ.cøW]>pÚUŸ¥¹ÔÚ–iF‡Ý-­©ÕªséÑtuëš›¶ ^ˆŸW¿B­¨—[ÎÕ•¡s8wwwŸ½5âA<£Ðõ³<°Ö ¹(éÂYž}ÆE,U•«ÉÇÔ¦kÑ¥‹²¥«TR ”¦ßeŒ•¹<p% üñÙÞ<ÿöÀøAVË ˆ¥Æ
êݧxý°_ˤî6üŽ4=´™ÁaìA9æ¡Qš¾™e´Vû»âéÙELçtP )›ñïP";h :Љ?©=ûš³Á ‰Ëh‰x¹m¤çrÉIÍe<J<ìç»çÆ_£ôÝÐJš™ô~‡¾±ºÚ};žó ô. ’H*÷ÏLL'prò‘›rÿþ|'Ÿ–˨bV`pV3Žx7ž¾NS0ù‚EäÎ`]?È·§ƒJ¤ßpð‘{œ&…ÏI‰{d”¬¬Ô>1‚Âv¦’Žú$¾}Š–ü”Ùáä¨A¥²l2¸Í‡í²¦#Ú§â;†øeðÞÅ£÷â^¾Þë4ÁýÿJ$pñšq/ ün¿ÚOó÷,øëv[?°ÌÀ·Xzñ}œ "KQ72Tå¸ |ï©qª…‚^;÷•Ýñ†1Ix à£Z£V†²ERkZ4/C=ç€k«yÒŠ¹Fßa½E!˜•¦wÛ8`;÷bel]‹é+¹Øo§·I½£ÂH§§µTšwžS¥Ï†×›\ñ^Oòõ$ÕÈktÔ•ÇÜÉíT'¹‡•Py¦±ß)ûŵã X°
éÑö4k~u²Iýé*mþå†ß“¶§Ö’U&¼ÁFÛLx§G+ýPK•}¢\9áDŽÞ ê&3verification-plan-builder/scripts/generate_vplan.pyÝÛnÛ8öÝ_Á墨„uØIÓÖ3“Ý4Í&iwes*vâ ò=ûûe{©«¯u¦}‰‹"y.ä¹R”Ò/Lòˆ¾æ"!W±Ÿá”Ç!“ä
±„I_3EÎo>‘Î!ü{óžüï¿ÈdkþFûCr/äס_[”ÒF#bB</šê©džGø$R?I„6,T£‘ý¦D?«¹²¨©¯Ç1æxWðj'BX†æ–Ïà{ÆN¤,Içq>õ¯lEõÙ–ÒóvÅ|”LX¢›äXHØn“œ |–šÉäŒÇq“Üð¸\éÚ>Ûx@ç¿üzë_|îãèé‡~çlŸ6~¹î÷/½OÿÀ±“ÃþÙIŸ6n=¿„w$ã
Ï,£Gõ˜'´I Ù£ÇgøºãO×§ýkïèâÐ윘Eº‡”šDòÑ8Ö"Íž†Bk11/n£²ˆL|ž8<I§ÚC1w‰Ò°A1Õ8ò«3âv~ZÎíþî¹™UÐ]â+•0øùû°DœnÅÂÈ5óì!`©& >v)ô™˜&a_J!KìTòD;µÃä±äóDÀJH„8Ô-àÁ6Zìk§]ã`8ÿýæÓå) 5\'[à LK*žŒâ[ö´†‡¼ÂærCrÜl¬%ÙD̘O~ ùŒeÐ\³ À£LZ#¦Š ÝÇ'‹©h
ÀŒx!Sä)ú@×]Ñâ @R)f`@¹L&LE¨jäfL/ŠwƒLdɬ\
cÿª²Î˜ÍX\‡çמ¯TÁ˜…ÓxqOv°»gâ~
ÎP~0/ŸÏP Î_É-„•v—Ür3+y\= ÜÞSc†tÌ|&”{Õš09Š,Ž•C:Ý“N6 ²ºƒ1:°­™OqñËÑfÀ˜à$þ<öćÀ$9,Uñ?X¯}ˆŽ‡½[9e…#Ÿ™_θA*•˜b1J4:18]rx?J€TD(g,$ÿâÇ=À“4“•÷ùÖ<G`ã_dFxBîz%Åo,ÐÀÑJ>ÍÆ\·Izn´œÆ}â\ÍÑíÏ¡§" ç§5øPlÅR»f3®¬!—2\Gõh
¶*k8¾²TOAßužvÿ´´ý¹ã¶¸°ù‰¯×u•X¦Zhÿ’¦“¤×ô¾º5=êt·’èä$f%,*ão=Ò®šq§K@pS£Òà!E¼Á¢A ããmÓÁJƒ]¢Ok8µ
ZÃ=Øj¸%òNö»ä„íîi;7Õ1ó!™á¶ïp™©ä
.
žˆ n'óU´jXb“ŒÑ®Y[ÅŠÄÉÈ5IÛ]­ðýBWÝjk¼“Âk$ÜoFY䉤Bï`Ù
ˆ ÝÚû߀ßYÆßêÈí/“ó }l^ÉAŽJÏ®¹Ébæ+Fká|¿Kj{ƒÙmƒ', ´‹í¯5Ú“Âh
¥}Ë
Ãe·dpl‡¢§‘W‰z`Qoüˆé99‡Ð=‚Œ7'˜P«Äˆùá\$v˜3…ÁiY:Tè½30ª"];¸&³ÜK?õ4{Ðu€Š½Ší
Rݽ´Æ +OÀ=Ü«ªõ`Q­s4ÿfÍfð[•›Ã}ý®JMÙdbQšÆÀyÈcÐ\ðˆóê«1š6 AqËÔ ‰Q¸~T9šdRßCVL6ÉÁš=ˆ‹¡-³äI!Ö<l£ÐY à/ªã[ í/2elN bÅo»Ä*<#™É¥Ð_³ß§j~p•
½„»Íš·2û>f~¶ÒÌ­ã²ú°tc÷Æò?ž+Ž¥>½áÐäûyor 1wÉ~¯÷8²”|µÉ©¹…¬ïi<Ã'dÖ2lë­J SŠ)þAH` o›äpPoÚ7q©¨„þ»ž¼»¤_6Œz"޹sÖ{E¿ÚbnqˆìwNá¶EÚ/4
­¯§çAQRtÌM@PöÏŒy`e;dI0¦ù!^vèí´QEN«ì WHyÙ
r´Ö4LJÚlµäf»FººÓˆ=‡§î‰ùCWô"ß¼¨ˆVK
ò˜ï×lô5žT¼n’׷ǧ¯Ý*£µtÝJŽç®øVˆX-­UãèÊÅf<:Uã~×%ÛlI¶É +P+ì¹2Kü$„fl‘bôÝ+Òj(¿ÈóÙiýÉ–Â/#Xׂp<«o";¯»bYšïú¢Ê£zÌÃçIÈg<œB¯‚'‡d"ðÔÊä<S8# 4¡©H0?5W‘¶¥|—8ØY5ª¹‚º¾Nÿ&^CÿÆN.“>›‚-*²±?ã¶K+)o"û¥ p tûIøF7 LTÍÃbká÷É<#ûųuØ·Pè,RX88ݹ ÌéØÍ-W„ï»ÐOÚÓÌ
!ÙÞšfp?°{)íKcõ QSÒáA5dë—Ù­¤ (¦1&<ÒÔHŒžŒŒE ÁàÇ6¾‚É›—¾ø¥´ºW¡Òa¶¦OÏ1ùtœ¼æêÙÙäs
*×ëÎÆžS`ÉNeçÁ"~E6Ëó¡K®Þ¯aò»f
¢§â¦eø
>dV8Ðzb?2£"WÛUxšžóOw^†I#ZÜnV´øaÞáA%>g&¥üóˆØÎо¥xσe7D’
2yN‡x;z…:o}EºÚ'2œŠ·÷ºä¨¸™"'ÙÍÔÓ]½-¬BùI!ãa“äGæ«iv¾¯W¾Räv,™õ,sèé‹ÌxÍXßFq1¹P;…ĺŠs²žAM*°WDD¤z†@ìu,3RMAΞ.ä ð?C—³·÷ª^¢ÕW4
ºÎ®GX⽬"H|o_ý‰r
—d#Pµ£3XIgR7Á3YIia»ÏIkô
"õ0ІDÆ"&¡ÿßœ¸
 UÙ«˜4),?P† N–„¾ ¿S;.Ï9Xdœ¾C+ít;{í÷ÆÉY`"чúÉ=­ÜÏb¿ßmwíA‘¾÷%«÷ãÞ¾”ÝBFÁü dnûÓ·VÏ;U5»º®C¬¸xƤ…aÜJg°ò¸Gé°I°]@ÿGíp= ¸þ‚y¯»#®y3l)ÆœÊW:%^þ)ËòõoþVØ%ÔüØ#ûZ¦oþmøDøã2ù']¿’áñ<¼óò<Ò“÷<üèÈó¨%Ó1KDñåhæ’¿€V–ù~VSOw·7x"?™OZø…ÏÏä'»©nêç
Ÿ™Ož
2mxÅKgà6þPK÷y¢\M¬èŸ+verification-plan-builder/scripts/recalc.py½XÛnã8}÷W°¹À¶qKNf8I#‰³ðlÑŽ&)T#È~ûV‘ºP–’4°ÀúEb±n¬ËaÉ”ÒÞôyÍr!dš'!¹eë0YÛŽ'wkgºW™"aåV$æ$äĪØÄ #¹Šù–Ìâ•d7›M¼f=