Fix concolic solution conflict with abi

[0xAWM]

No description provided.

[fuzzland-bot]

Found: 19

Project Name	Vulnerability Found	Time Taken	Log
DYNA_exp.txt	❌	-1	Log File
SEAMAN_exp.txt	✅ Fund Loss	0h-0m-13s	Log File
BIGFI_exp.txt	✅ Price Manipulation	0h-0m-11s	Log File
BEGO_exp.txt	✅ Fund Loss	0h-0m-5s	Log File
Yyds_exp.txt	✅ Fund Loss	0h-0m-8s	Log File
AUR_exp.txt	❌	-1	Log File
Annex_exp.txt	❌	-1	Log File
PLTD_exp.txt	✅ Price Manipulation	0h-0m-50s	Log File
ApeDAO_exp.txt	✅ Price Manipulation	0h-0m-3s	Log File
Axioma_exp.txt	✅ Fund Loss	0h-0m-2s	Log File
SELLC03_exp.txt	❌	-1	Log File
Novo_exp.txt	✅ Price Manipulation	0h-0m-13s	Log File
VerilogCTF.txt	✅ Fund Loss	0h-4m-39s	Log File
THB_exp.txt	✅ Fund Loss	0h-0m-51s	Log File
CS_exp.txt	✅ Price Manipulation	0h-0m-36s	Log File
EAC_exp.txt	❌	-1	Log File
GSS_exp.txt	✅ Price Manipulation	0h-2m-34s	Log File
SellToken_exp.txt	❌	-1	Log File
cftoken_exp.txt	✅ Price Manipulation	0h-0m-25s	Log File
GPT_exp.txt	❌	-1	Log File
OLIFE_exp.txt	❌	-1	Log File
MintoFinance_exp.txt	✅ Arbitrary Call	0h-0m-1s	Log File
MBC_ZZSH_exp.txt	❌	-1	Log File
ROI_exp.txt	✅ Fund Loss	0h-0m-5s	Log File
HEALTH_exp.txt	✅ Price Manipulation	0h-0m-1s	Log File
Shadowfi_exp.txt	✅ Price Manipulation	0h-0m-3s	Log File
Carrot_exp.txt	✅ Arbitrary Call	0h-0m-1s	Log File
RFB_exp.txt	✅ Fund Loss	0h-0m-3s	Log File

[fuzzland-bot]

Found: 21

Project Name	Vulnerability Found	Time Taken	Log
DYNA_exp.txt	❌	-1	Log File
SEAMAN_exp.txt	✅ Fund Loss	0h-0m-35s	Log File
BIGFI_exp.txt	✅ Price Manipulation	0h-2m-43s	Log File
BEGO_exp.txt	✅ Fund Loss	0h-0m-15s	Log File
Yyds_exp.txt	✅ Fund Loss	0h-0m-15s	Log File
AUR_exp.txt	✅ Fund Loss	0h-3m-17s	Log File
Annex_exp.txt	❌	-1	Log File
PLTD_exp.txt	✅ Price Manipulation	0h-0m-17s	Log File
ApeDAO_exp.txt	✅ Price Manipulation	0h-0m-3s	Log File
Axioma_exp.txt	✅ Fund Loss	0h-0m-4s	Log File
SELLC03_exp.txt	❌	-1	Log File
Novo_exp.txt	✅ Price Manipulation	0h-0m-35s	Log File
VerilogCTF.txt	✅ Fund Loss	0h-0m-27s	Log File
THB_exp.txt	✅ Fund Loss	0h-0m-46s	Log File
CS_exp.txt	✅ Price Manipulation	0h-0m-47s	Log File
EAC_exp.txt	❌	-1	Log File
GSS_exp.txt	✅ Price Manipulation	0h-0m-51s	Log File
SellToken_exp.txt	❌	-1	Log File
cftoken_exp.txt	✅ Price Manipulation	0h-2m-1s	Log File
GPT_exp.txt	❌	-1	Log File
OLIFE_exp.txt	❌	-1	Log File
MintoFinance_exp.txt	✅ Fund Loss	0h-0m-2s	Log File
MBC_ZZSH_exp.txt	✅ Fund Loss	0h-3m-34s	Log File
ROI_exp.txt	✅ Fund Loss	0h-0m-2s	Log File
HEALTH_exp.txt	✅ Price Manipulation	0h-0m-2s	Log File
Shadowfi_exp.txt	✅ Price Manipulation	0h-0m-4s	Log File
Carrot_exp.txt	✅ Arbitrary Call	0h-0m-1s	Log File
RFB_exp.txt	✅ Fund Loss	0h-1m-14s	Log File