You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Compiling the following minimal test snippet results in an immediate compilation error instead of either allowing the runtime try-catch mechanism to handle the division-by-zero condition, or throwing an tact-compile-time error:
FunC compilation error: cannot generate code for function `$global_test`:
/Users/daniil/Coding/tact-llm-fuzzing/test.tact_Name.fc:64:20: error: division by zero
return ($x / 0);
Compiling the following minimal test snippet results in an immediate compilation error instead of either allowing the runtime
try-catch
mechanism to handle the division-by-zero condition, or throwing an tact-compile-time error:Actual Compiler Error:
LLM Fuzzing discovery (see #2490)
The text was updated successfully, but these errors were encountered: