change

vulnerability/application.cpp

@@ -199,7 +199,7 @@ int main(int argc, char **argv) {
   unsigned long task_size = PRG_SIZE(ws) * wcet;
   file << wcet << ","
        << (double)VUL(ws) << ","
-       << (double)((double)VUL(ws) / (double)task_size)<< std::endl;
+       << (double)task_size<< std::endl;
   std::cout << "vulnerability:" << (double)((double)VUL(ws) / (double)task_size) << " WCET:" << wcet << std::endl;
   const CFGCollection *coll = INVOLVED_CFGS(ws);