-
Notifications
You must be signed in to change notification settings - Fork 0
Open
Labels
Description
There is an issue with the current implementation of the strategy to handle rate limits. If the size of the selected module exceeds the TPM limit by itself, the tool falls into unnecessary waiting.
LLMCommunicator is initialized with 1 modules to process.
Starting module analysis...
Approaching rate limit. Waiting 59.4 seconds...
Analyzing module: /Users/bepc/workspace/maveric/cva6/core/cva6.sv
Successfully analyzed /Users/bepc/workspace/maveric/cva6/core/cva6.sv: found 6 signals.
Note: Performance and monitoring signals can be fuzzed but may impact debug visibility and performance analysis capabilities
Analysis complete. Processed 1 modules.
Now, select the signals you would like to fuzz.
Press Enter to proceed.
Reactions are currently unavailable