tlaplus

tlaplus-vscode插件使用记录

参考官方教程GettingStarted和油管视频AgentleintrotoTLA+入门和命令首先在vscode的扩展里面下载然后新建一个squares.tla文件在代码区域先输入module生成上下的分隔符，然后输入pluscal来调用模版，生成一堆预设代码小改一下，编写一段验证数组元素的平方不能大于100的验证代码----MODULEsquares----EXTENDSTLC,Integer
最 上 川·2023-10-20 08:30
上一页 1 下一页
按字母分类： ABCDEFGHIJKLMNOPQRSTUVWXYZ其他