Bug #60
lustret naming error for libraries
Start date:
01/17/2018
Due date:
% Done:
0%
Description
int_to_real devient int_to_real_mutant.
It is considered as lustre node, but it is an external library.
History
#1 Updated by Pierre-Loïc Garoche about 3 years ago
- Status changed from New to Resolved
#2 Updated by Pierre-Loïc Garoche about 3 years ago
- Status changed from Resolved to Closed