DataLog学习笔记——作智能合约分析之用

简介

DataLog学习笔记——作智能合约分析之用

命令行主要参数

• F：指定输入文件的位置，默认的输入文件名为XXXX.facts。假如你将一个关系A定义为.input，那么他的输入文件名为A.facts
• D：指定输出文件的位置，默认的输出文件名为XXX.csv，如果使用-D-则输出到 Standard output。 假如你将一个关系A定义为.output，那么他输出的文件名为A.csv

语法

输入input

.decl my_relation(a:number,b:number)
.input my_relation(filename="<path to input file>")

.decl 声明一个关系，第一行表示这个关系中有两列数字，分别名为a, b
紧随声明后的以.input <relation>关键字表示这个关系是输入

输出output

.output result(filename="<path to output file", delimiter=",", compress=true)

.output <relation> 表示满足的集合中的所有元素都将会被输出
delimiter 表示&#x