fix reachability metadata drift

This commit is contained in:
Gregor Lohaus
2026-05-29 09:16:10 +02:00
parent c90ed9f9a5
commit eeac1d20d6
2 changed files with 18 additions and 0 deletions

1
.gitignore vendored
View File

@@ -5,3 +5,4 @@ result-*
*.class
*.jar
.devenv
BUG.md

View File

@@ -213,6 +213,23 @@
"int",
"void*"
]
},
{
"returnType": "void",
"parameterTypes": [
"void*",
"void*"
]
},
{
"returnType": "int",
"parameterTypes": [
"void*",
"void*",
"void*",
"size_t",
"void*"
]
}
]
}