Matteo Asuni
Results
3
issues of
Matteo Asuni
Can we get titles and plots in other languages different from english ?
Setup: - Rascal 0.35.0-RC1 - Clair 0.12.0 - Ubuntu 22.10 aarch64 - OpenJDK 17.0.7 Given a simple C program, such as: ```c #include int main(int argc, char argv[]){ int a=0;...
Clair version: 0.6.5 Rascal version: 0.28.3 OS: Ubuntu 22.10 aarch64 Java version: openjdk 17.0.6 2023-01-17 While playing with the `createM3FromCppFile` function, I and others have noticed that you cannot have...