我正在尝试使用Daikon从数据集（.csv文件）中找到不变量，但我没有在互联网上找到任何示例或帮助在包含布尔数据的.CSV文件上运行daikon（矩阵为3乘8 ）。 Image for the csv file
正如daikon用户手册中提供的说明，我运行convercsv.pl来转换与我的csv文件相对应的.dtrace和.decls文件，这些文件用于应用daikon，但它打印几行数据并给出错误“ TRUE; FALSE; TRUE;在convertcsv.pl第380行，第1.LSE行为FALSE“。 error while converting the csv dtrace and decls files
答案 0 :(得分：0)
谢谢大家。问题已经解决了。问题出在CSV文件中。代码无法读取自动保存的CSV文件。我只是在文本编辑器中的每条记录的末尾替换了行尾（通过单击退格并输入）。通过简单地替换行尾，我能够将csv文件转换为.dtrac并删除文件。创建它之后，我只需在dtrac上运行daikon并删除文件，然后生成不变量。
daikon的源代码可以在http://plse.cs.washington.edu/daikon/download/doc/daikon.html找到 它只有我上面提到的关于将csv文件转换为.dtrac和.decls文件的问题，其余工作正常。
