WCET available

application/application.cpp

@@ -69,11 +69,14 @@ int main(int argc, char **argv) {
 	
 	ws->require(DynFeature("otawa::classic_ecb::CLASSIC_ECB_PROCESSOR"), conf);
 	
-	// ws->require(otawa::ipet::ILP_SYSTEM_FEATURE, conf);
-	// ws->require(otawa::ipet::INTERBLOCK_SUPPORT_FEATURE, conf);
-	// ws->require(otawa::ipet::WCET_FEATURE, conf);
+	  ws->require(otawa::ipet::ILP_SYSTEM_FEATURE, conf);
 	  
-	//unsigned long wcet = ipet::WCET(ENTRY_CFG(ws));
+	  ws->require(otawa::ipet::WCET_FEATURE, conf);
+
+        
+
+	
+	long wcet = ipet::WCET(ws);
 	std::cout << "#### result ####" << std::endl;
 	std::vector<Multiset<int>*> *ucbs = UCBS_MP(ws);
 	std::vector<Multiset<int>*> ucbs_compr = compr_multiset(*ucbs);
@@ -86,7 +89,7 @@ int main(int argc, char **argv) {
        
 	Multiset<int> *ecbs = ECBS(ws);
 	
-	//std::cout << "---------WCET: " << wcet << "--------------" << std::endl;
+	std::cout << "---------WCET: " << wcet << "--------------" << std::endl;
 	
 	
 	// std::cout << "---------ECBS------------" << std::endl;