[Verifpal] SPLIT and output up to 5

Mike tankf33der at disroot.org
Sun Nov 29 16:38:05 CET 2020


hi all,

Attached model file demonstrates two issues:
o) SPLIT can work with input not from CONCAT;
o) and some (all?) functions can generate more than 5 outputs;

(mike)
-------------- next part --------------
A non-text attachment was scrubbed...
Name: t1.vp
Type: application/octet-stream
Size: 377 bytes
Desc: not available
URL: <https://lists.symbolic.software/pipermail/verifpal/attachments/20201129/9d04c7b3/attachment.obj>


More information about the Verifpal mailing list