Я использую Daikon для обнаружения инвариантов из файлов CSV.Я обнаружил, что convertcsv.pl предоставляется Daikon для этого.Но у меня проблемы с добавлением программных точек в файлы CSV.Потому что для файлов C / C ++ / Java имена функций рассматриваются как программные точки для Daikon.Однако, что я могу сделать, если я хочу установить некоторые переменные в качестве программных точек в файлах CSV?Похоже, что текущий метод convertcsv.pl по умолчанию имеет только одну программную точку.